Skip to content
Snippets Groups Projects
Select Git revision
10 results Searching

cool-lib.nix

Blame
  • cool-lib.nix 1.14 KiB
    { 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)