2010-07-30 16:47:23 +02:00
|
|
|
{ stdenv, fetchurl, ocaml }:
|
|
|
|
|
2007-11-15 00:05:11 +01:00
|
|
|
stdenv.mkDerivation rec {
|
2010-07-30 16:47:23 +02:00
|
|
|
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 ];
|
2007-11-15 00:05:11 +01:00
|
|
|
|
2010-07-30 16:47:23 +02:00
|
|
|
meta = {
|
|
|
|
homepage = http://www.recherche.enac.fr/log/facile;
|
|
|
|
license = "LGPL";
|
|
|
|
description = "A Functional Constraint Library";
|
|
|
|
};
|
2007-11-15 00:05:11 +01:00
|
|
|
}
|