diff options
Diffstat (limited to 'pkgs/development/libraries/facile/default.nix')
-rw-r--r-- | pkgs/development/libraries/facile/default.nix | 39 |
1 files changed, 23 insertions, 16 deletions
diff --git a/pkgs/development/libraries/facile/default.nix b/pkgs/development/libraries/facile/default.nix index 1890c6d0563..edbe99cd8b0 100644 --- a/pkgs/development/libraries/facile/default.nix +++ b/pkgs/development/libraries/facile/default.nix @@ -1,19 +1,26 @@ -args: with args; +{ stdenv, fetchurl, ocaml }: + stdenv.mkDerivation rec { - name = "facile-1.1"; - src = fetchurl { - url = "${meta.homepage}/distrib/${name}.tar.gz"; - sha256 = "1jp59ankjds8mh4vm0b5h4fd1lcbfn0rd6n151cgh14ihsknnym8"; - }; - dontAddPrefix = 1; - patchPhase = "sed -e 's@mkdir@mkdir -p@' -i Makefile"; - postConfigure = "make -C src .depend"; - makeFlags = "FACILEDIR=\${out}/lib/ocaml/facile"; - buildInputs = [ocaml]; + name = "facile-1.1"; + + src = fetchurl { + url = "${meta.homepage}/distrib/${name}.tar.gz"; + sha256 = "1jp59ankjds8mh4vm0b5h4fd1lcbfn0rd6n151cgh14ihsknnym8"; + }; + + dontAddPrefix = 1; + + patchPhase = "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"; - }; + meta = { + homepage = http://www.recherche.enac.fr/log/facile; + license = "LGPL"; + description = "A Functional Constraint Library"; + }; } |