From 01f473c8d113a6ea21c0a1b225d44f52938233b0 Mon Sep 17 00:00:00 2001
From: Vincent Laporte <Vincent.Laporte@gmail.com>
Date: Sun, 3 Dec 2017 12:15:36 +0000
Subject: [PATCH] facile: 1.1 -> 1.1.3

Move to ocamlPackages.
Add a META file to use with ocamlfind
---
 pkgs/development/libraries/facile/default.nix | 29 --------------
 .../libraries/facile/ocaml_4.xx.patch         | 12 ------
 .../ocaml-modules/facile/default.nix          | 38 +++++++++++++++++++
 pkgs/top-level/all-packages.nix               |  2 -
 pkgs/top-level/ocaml-packages.nix             |  2 +
 5 files changed, 40 insertions(+), 43 deletions(-)
 delete mode 100644 pkgs/development/libraries/facile/default.nix
 delete mode 100644 pkgs/development/libraries/facile/ocaml_4.xx.patch
 create mode 100644 pkgs/development/ocaml-modules/facile/default.nix

diff --git a/pkgs/development/libraries/facile/default.nix b/pkgs/development/libraries/facile/default.nix
deleted file mode 100644
index 4050bdfd9eb0..000000000000
--- a/pkgs/development/libraries/facile/default.nix
+++ /dev/null
@@ -1,29 +0,0 @@
-{ stdenv, fetchurl, ocaml }:
-
-stdenv.mkDerivation rec {
-  name = "facile-1.1";
-  
-  src = fetchurl {
-    url = "${meta.homepage}/distrib/${name}.tar.gz";
-    sha256 = "1jp59ankjds8mh4vm0b5h4fd1lcbfn0rd6n151cgh14ihsknnym8";
-  };
-  
-  dontAddPrefix = 1;
-
-  patches = [ ./ocaml_4.xx.patch ];
-
-  postPatch = "sed -e 's@mkdir@mkdir -p@' -i Makefile";
-
-  postConfigure = "make -C src .depend";
-  
-  makeFlags = "FACILEDIR=\${out}/lib/ocaml/facile";
-  
-  buildInputs = [ ocaml ];
-
-  meta = {
-    homepage = http://www.recherche.enac.fr/log/facile;
-    license = "LGPL";
-    description = "A Functional Constraint Library";
-    platforms = stdenv.lib.platforms.unix;
-  };
-}
diff --git a/pkgs/development/libraries/facile/ocaml_4.xx.patch b/pkgs/development/libraries/facile/ocaml_4.xx.patch
deleted file mode 100644
index 429405fabdaa..000000000000
--- a/pkgs/development/libraries/facile/ocaml_4.xx.patch
+++ /dev/null
@@ -1,12 +0,0 @@
-diff -rupN facile-1.1/src/fcl_data.ml facile-1.1-patched//src/fcl_data.ml
---- facile-1.1/src/fcl_data.ml	2004-09-08 11:51:02.000000000 +0200
-+++ facile-1.1-patched//src/fcl_data.ml	2012-12-16 13:49:36.286722670 +0100
-@@ -16,7 +16,7 @@ end
- 
- module Hashtbl = struct
-   type ('a, 'b) t = ('a, 'b) Hashtbl.t
--  let create = Hashtbl.create
-+  let create x = Hashtbl.create x
-   let get h = h
- 
-   let add h k d =
diff --git a/pkgs/development/ocaml-modules/facile/default.nix b/pkgs/development/ocaml-modules/facile/default.nix
new file mode 100644
index 000000000000..e8553ebf812e
--- /dev/null
+++ b/pkgs/development/ocaml-modules/facile/default.nix
@@ -0,0 +1,38 @@
+{ stdenv, fetchurl, ocaml, findlib }:
+
+stdenv.mkDerivation rec {
+  name = "ocaml${ocaml.version}-facile-${version}";
+
+  version = "1.1.3";
+
+  src = fetchurl {
+    url = "http://opti.recherche.enac.fr/facile/distrib/facile-${version}.tar.gz";
+    sha256 = "1v4apqcw4gm36ph5xwf1wxaaza0ggvihvgsdslnf33fa1pdkvdjw";
+  };
+
+  dontAddPrefix = 1;
+
+  buildInputs = [ ocaml findlib ];
+
+  createFindlibDestdir = true;
+
+  installFlags = [ "FACILEDIR=$(OCAMLFIND_DESTDIR)/facile" ];
+
+  postInstall = ''
+    cat > $OCAMLFIND_DESTDIR/facile/META <<EOF
+    version = "${version}"
+    name = "facile"
+    description = "A Functional Constraint Library"
+    requires = ""
+    archive(byte) = "facile.cma"
+    archive(native) = "facile.cmxa"
+    EOF
+  '';
+
+  meta = {
+    homepage = "http://opti.recherche.enac.fr/facile/";
+    license = stdenv.lib.licenses.lgpl21Plus;
+    description = "A Functional Constraint Library";
+    platforms = stdenv.lib.platforms.unix;
+  };
+}
diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix
index 315837087ed8..6b6acf639ce9 100644
--- a/pkgs/top-level/all-packages.nix
+++ b/pkgs/top-level/all-packages.nix
@@ -8172,8 +8172,6 @@ with pkgs;
 
   eventlog = callPackage ../development/libraries/eventlog { };
 
-  facile = callPackage ../development/libraries/facile { };
-
   faac = callPackage ../development/libraries/faac { };
 
   faad2 = callPackage ../development/libraries/faad2 { };
diff --git a/pkgs/top-level/ocaml-packages.nix b/pkgs/top-level/ocaml-packages.nix
index 04e7b16e56b3..2003f30ef2e2 100644
--- a/pkgs/top-level/ocaml-packages.nix
+++ b/pkgs/top-level/ocaml-packages.nix
@@ -227,6 +227,8 @@ let
       lwt = ocaml_lwt;
     };
 
+    facile = callPackage ../development/ocaml-modules/facile { };
+
     faillib = callPackage ../development/ocaml-modules/faillib { };
 
     fieldslib_p4 = callPackage ../development/ocaml-modules/fieldslib { };