cool-lib.nix

{ lib, buildDunePackage, qcheck, ounit, camlp-streams, cool-generators, ocamlgraph, fetchgit, pgsolver, glibc, zlib, minisat, ocamline, profile ? null, versions, doCheck ? true }:

buildDunePackage ({
  pname = "cool-lib";

  inherit doCheck;

  useDune2 = true;

  src = ../lib;

  buildInputs = [ zlib.dev minisat glibc];
  propagatedBuildInputs = [ ocamlgraph pgsolver ocamline camlp-streams ];

  # buildPhase = ''
  #   runHook preBuild
  #   dune build ${if isNull profile then "" else "--profile=${profile}"} ''${enableParallelBuilding:+-j $NIX_BUILD_CORES}
  #   runHook postBuild
  # '';

  checkInputs = [ ounit qcheck cool-generators ];

  OUNIT_CI = "true";

  postInstall = if doCheck then ''
    mkdir $out/tests
    cp _build/default/tests/testsuite/testsuite.xml $out/tests/
    cp _build/default/tests/unit_tests/unit_tests.xml $out/tests/
  '' else "";

  meta = with lib; {
    homepage = https://www8.cs.fau.de/research/cool-the-coalgebraic-ontology-logic-reasoner/;
    description = "Generic reasoner for modal, hybrid and fixpoint logics";
    license = licenses.gpl3;
    maintainers = with maintainers; [ mgttlinger ];
  };
} // versions)