diff options
author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2018-06-25 13:36:06 +0000 |
---|---|---|
committer | Vincent Laporte <Vincent.Laporte@gmail.com> | 2018-06-25 13:38:55 +0000 |
commit | ec81355c8d9f8ee5a31c1e458b8a141a769a71d1 (patch) | |
tree | a7a1c7dac917116f3294a1cdb7a95008893cf7bd | |
parent | b13fe97f162927c1ee0104a9b05800bfeedbb9fe (diff) |
ocamlPackages.psmt2-frontend: init at 0.1
-rw-r--r-- | pkgs/development/ocaml-modules/psmt2-frontend/default.nix | 35 | ||||
-rw-r--r-- | pkgs/top-level/ocaml-packages.nix | 2 |
2 files changed, 37 insertions, 0 deletions
diff --git a/pkgs/development/ocaml-modules/psmt2-frontend/default.nix b/pkgs/development/ocaml-modules/psmt2-frontend/default.nix new file mode 100644 index 0000000000000..c09cf5a77c1e6 --- /dev/null +++ b/pkgs/development/ocaml-modules/psmt2-frontend/default.nix @@ -0,0 +1,35 @@ +{ stdenv, fetchFromGitHub, autoreconfHook, ocaml, findlib, menhir }: + +if !stdenv.lib.versionAtLeast ocaml.version "4.03" +then throw "psmt2-frontend is not available for OCaml ${ocaml.version}" +else + +stdenv.mkDerivation rec { + version = "0.1"; + name = "ocaml${ocaml.version}-psmt2-frontend-${version}"; + + src = fetchFromGitHub { + owner = "Coquera"; + repo = "psmt2-frontend"; + rev = version; + sha256 = "0k7jlsbkdyg7hafmvynp0ik8xk7mfr00wz27vxn4ncnmp20yz4vn"; + }; + + prefixKey = "-prefix "; + + nativeBuildInputs = [ autoreconfHook ]; + buildInputs = [ ocaml findlib menhir ]; + + createFindlibDestdir = true; + + installFlags = "LIBDIR=$(OCAMLFIND_DESTDIR)"; + + meta = { + description = "A simple parser and type-checker for polomorphic extension of the SMT-LIB 2 language"; + license = stdenv.lib.licenses.asl20; + maintainers = [ stdenv.lib.maintainers.vbgl ]; + inherit (src.meta) homepage; + inherit (ocaml.meta) platforms; + }; + +} diff --git a/pkgs/top-level/ocaml-packages.nix b/pkgs/top-level/ocaml-packages.nix index 3bb84e7e3a0cf..6ca593f349fbd 100644 --- a/pkgs/top-level/ocaml-packages.nix +++ b/pkgs/top-level/ocaml-packages.nix @@ -534,6 +534,8 @@ let piqi = callPackage ../development/ocaml-modules/piqi { }; piqi-ocaml = callPackage ../development/ocaml-modules/piqi-ocaml { }; + psmt2-frontend = callPackage ../development/ocaml-modules/psmt2-frontend { }; + psq = callPackage ../development/ocaml-modules/psq { }; ptime = callPackage ../development/ocaml-modules/ptime { }; |