diff options
author | Yury G. Kudryashov <urkud.urkud@gmail.com> | 2007-11-14 23:05:11 +0000 |
---|---|---|
committer | Yury G. Kudryashov <urkud.urkud@gmail.com> | 2007-11-14 23:05:11 +0000 |
commit | a29cf805b7a6e088b212a730aa33ab3e6285e294 (patch) | |
tree | 7659c76fc43b07702c04f3f685bf9ae5c04ce236 /pkgs/development/libraries | |
parent | c4257634437072ed30faeb267f0c2675ca4b60b1 (diff) | |
download | nixpkgs-a29cf805b7a6e088b212a730aa33ab3e6285e294.tar nixpkgs-a29cf805b7a6e088b212a730aa33ab3e6285e294.tar.gz nixpkgs-a29cf805b7a6e088b212a730aa33ab3e6285e294.tar.bz2 nixpkgs-a29cf805b7a6e088b212a730aa33ab3e6285e294.tar.lz nixpkgs-a29cf805b7a6e088b212a730aa33ab3e6285e294.tar.xz nixpkgs-a29cf805b7a6e088b212a730aa33ab3e6285e294.tar.zst nixpkgs-a29cf805b7a6e088b212a730aa33ab3e6285e294.zip |
Added facile library
svn path=/nixpkgs/trunk/; revision=9674
Diffstat (limited to 'pkgs/development/libraries')
-rw-r--r-- | pkgs/development/libraries/facile/default.nix | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/pkgs/development/libraries/facile/default.nix b/pkgs/development/libraries/facile/default.nix new file mode 100644 index 00000000000..1890c6d0563 --- /dev/null +++ b/pkgs/development/libraries/facile/default.nix @@ -0,0 +1,19 @@ +args: with args; +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]; + + meta = { + homepage = http://www.recherche.enac.fr/log/facile; + license = "LGPL"; + description = "A Functional Constraint Library"; + }; +} |