diff options
author | Jörg Thalheim <Mic92@users.noreply.github.com> | 2017-12-09 16:19:52 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-12-09 16:19:52 +0000 |
commit | 82235b388c5a94e5488771f7af13da6d8a50aa42 (patch) | |
tree | 6537b7ae5369b16788599d492fde00dd76ef3b78 /pkgs/development/ocaml-modules | |
parent | 577be65217b98797d5f816817525fc309aeabeb1 (diff) | |
parent | 01f473c8d113a6ea21c0a1b225d44f52938233b0 (diff) | |
download | nixlib-82235b388c5a94e5488771f7af13da6d8a50aa42.tar nixlib-82235b388c5a94e5488771f7af13da6d8a50aa42.tar.gz nixlib-82235b388c5a94e5488771f7af13da6d8a50aa42.tar.bz2 nixlib-82235b388c5a94e5488771f7af13da6d8a50aa42.tar.lz nixlib-82235b388c5a94e5488771f7af13da6d8a50aa42.tar.xz nixlib-82235b388c5a94e5488771f7af13da6d8a50aa42.tar.zst nixlib-82235b388c5a94e5488771f7af13da6d8a50aa42.zip |
Merge pull request #32437 from vbgl/ocaml-facile-1.1.3
facile: 1.1 -> 1.1.3
Diffstat (limited to 'pkgs/development/ocaml-modules')
-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 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; + }; +} |