From ec81355c8d9f8ee5a31c1e458b8a141a769a71d1 Mon Sep 17 00:00:00 2001
From: Vincent Laporte <Vincent.Laporte@gmail.com>
Date: Mon, 25 Jun 2018 13:36:06 +0000
Subject: ocamlPackages.psmt2-frontend: init at 0.1

---
 .../ocaml-modules/psmt2-frontend/default.nix       | 35 ++++++++++++++++++++++
 pkgs/top-level/ocaml-packages.nix                  |  2 ++
 2 files changed, 37 insertions(+)
 create mode 100644 pkgs/development/ocaml-modules/psmt2-frontend/default.nix

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 000000000000..c09cf5a77c1e
--- /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 3bb84e7e3a0c..6ca593f349fb 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 { };
-- 
cgit 1.4.1