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";
	};
}