diff options
| author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2017-12-03 12:15:36 +0000 |
|---|---|---|
| committer | Vincent Laporte <Vincent.Laporte@gmail.com> | 2017-12-08 06:12:26 +0000 |
| commit | 01f473c8d113a6ea21c0a1b225d44f52938233b0 (patch) | |
| tree | 1226014d41788e976027afa1ed74ca160b71a1d5 /pkgs/development/ocaml-modules/facile | |
| parent | f2f524a31c14a516ab84a0819019cdd3a8d7dc07 (diff) | |
| download | nixpkgs-01f473c8d113a6ea21c0a1b225d44f52938233b0.tar nixpkgs-01f473c8d113a6ea21c0a1b225d44f52938233b0.tar.gz nixpkgs-01f473c8d113a6ea21c0a1b225d44f52938233b0.tar.bz2 nixpkgs-01f473c8d113a6ea21c0a1b225d44f52938233b0.tar.lz nixpkgs-01f473c8d113a6ea21c0a1b225d44f52938233b0.tar.xz nixpkgs-01f473c8d113a6ea21c0a1b225d44f52938233b0.tar.zst nixpkgs-01f473c8d113a6ea21c0a1b225d44f52938233b0.zip | |
facile: 1.1 -> 1.1.3
Move to ocamlPackages. Add a META file to use with ocamlfind
Diffstat (limited to 'pkgs/development/ocaml-modules/facile')
| -rw-r--r-- | pkgs/development/ocaml-modules/facile/default.nix | 38 |
1 files changed, 38 insertions, 0 deletions
diff --git a/pkgs/development/ocaml-modules/facile/default.nix b/pkgs/development/ocaml-modules/facile/default.nix new file mode 100644 index 00000000000..e8553ebf812 --- /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; + }; +} |