ocaml-sat-solvers: init at 0.4 (#66275)

This commit is contained in:
Merlin Göttlinger 2019-08-07 18:48:33 +02:00 committed by Vincent Laporte
parent 0d4c5dceb0
commit 1559a3798a
2 changed files with 26 additions and 0 deletions

View file

@ -0,0 +1,24 @@
{ lib, fetchFromGitHub, buildOasisPackage, minisat }:
buildOasisPackage rec {
pname = "ocaml-sat-solvers";
version = "0.4";
minimumOCamlVersion = "4.03.0";
src = fetchFromGitHub {
owner = "tcsprojects";
repo = "ocaml-sat-solvers";
rev = "v${version}";
sha256 = "1hxr16cyl1p1k1cik848mqrysq95wxmlykpm93a99pn55mp28938";
};
propagatedBuildInputs = [ minisat ];
meta = {
homepage = https://github.com/tcsprojects/ocaml-sat-solvers;
description = "SAT Solvers For OCaml";
license = lib.licenses.bsd3;
maintainers = with lib.maintainers; [ mgttlinger ];
};
}

View file

@ -519,6 +519,8 @@ let
pgocaml = callPackage ../development/ocaml-modules/pgocaml {};
ocaml-sat-solvers = callPackage ../development/ocaml-modules/ocaml-sat-solvers { };
ocamlscript = callPackage ../development/tools/ocaml/ocamlscript { };
ocamlsdl= callPackage ../development/ocaml-modules/ocamlsdl { };