facile: 1.1 -> 1.1.3
Move to ocamlPackages. Add a META file to use with ocamlfind
This commit is contained in:
parent
f2f524a31c
commit
01f473c8d1
@ -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;
|
||||
};
|
||||
}
|
@ -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 =
|
38
pkgs/development/ocaml-modules/facile/default.nix
Normal file
38
pkgs/development/ocaml-modules/facile/default.nix
Normal file
@ -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;
|
||||
};
|
||||
}
|
@ -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 { };
|
||||
|
@ -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 { };
|
||||
|
Loading…
Reference in New Issue
Block a user