From c8f3e0f118a300a48e6c480239b4786bec425c24 Mon Sep 17 00:00:00 2001
From: Vincent Laporte <Vincent.Laporte@gmail.com>
Date: Thu, 20 Sep 2018 05:45:31 +0000
Subject: [PATCH] ocamlPackages.elpi: init at 1.0.5

---
 .../ocaml-modules/elpi/default.nix            | 36 +++++++++++++++++++
 pkgs/top-level/ocaml-packages.nix             |  2 ++
 2 files changed, 38 insertions(+)
 create mode 100644 pkgs/development/ocaml-modules/elpi/default.nix

diff --git a/pkgs/development/ocaml-modules/elpi/default.nix b/pkgs/development/ocaml-modules/elpi/default.nix
new file mode 100644
index 00000000000..db188a720b8
--- /dev/null
+++ b/pkgs/development/ocaml-modules/elpi/default.nix
@@ -0,0 +1,36 @@
+{ stdenv, fetchFromGitHub, ocaml, findlib, camlp5_strict
+, ppx_tools_versioned, ppx_deriving, re
+}:
+
+stdenv.mkDerivation rec {
+  name = "ocaml${ocaml.version}-elpi-${version}";
+  version = "1.0.5";
+  src = fetchFromGitHub {
+    owner = "LPCIC";
+    repo = "elpi";
+    rev = "v${version}";
+    sha256 = "1n1m183l4ms949m2l24w0887m1rmvc9b3j8alnbw8ckn6wwnhpmk";
+  };
+
+  buildInputs = [ ocaml findlib ppx_tools_versioned ];
+
+  propagatedBuildInputs = [ camlp5_strict ppx_deriving re ];
+
+  createFindlibDestdir = true;
+
+  preInstall = "make byte";
+
+  postInstall = ''
+    mkdir -p $out/bin
+    make install-bin BIN=$out/bin
+    make install-bin BYTE=1 BIN=$out/bin
+  '';
+
+  meta = {
+    description = "Embeddable λProlog Interpreter";
+    license = stdenv.lib.licenses.lgpl21Plus;
+    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 779a24352bf..9e324257e03 100644
--- a/pkgs/top-level/ocaml-packages.nix
+++ b/pkgs/top-level/ocaml-packages.nix
@@ -240,6 +240,8 @@ let
 
     eliom = callPackage ../development/ocaml-modules/eliom { };
 
+    elpi = callPackage ../development/ocaml-modules/elpi { };
+
     enumerate = callPackage ../development/ocaml-modules/enumerate { };
 
     erm_xml = callPackage ../development/ocaml-modules/erm_xml { };