diff --git a/pkgs/development/ocaml-modules/ocaml-sat-solvers/default.nix b/pkgs/development/ocaml-modules/ocaml-sat-solvers/default.nix new file mode 100644 index 00000000000..12f1440118a --- /dev/null +++ b/pkgs/development/ocaml-modules/ocaml-sat-solvers/default.nix @@ -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 ]; + }; +} diff --git a/pkgs/top-level/ocaml-packages.nix b/pkgs/top-level/ocaml-packages.nix index f363d0f1b31..525f417a5b4 100644 --- a/pkgs/top-level/ocaml-packages.nix +++ b/pkgs/top-level/ocaml-packages.nix @@ -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 { };