Added facile library

svn path=/nixpkgs/trunk/; revision=9674

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

pkgs/top-level/all-packages.nix

@@ -1689,6 +1689,13 @@ rec {
     inherit fetchurl stdenv;
   };
 
+  facile = import ../development/libraries/facile {
+	  inherit fetchurl;
+      # Actually, we don't need this version but we need native-code compilation
+	  ocaml = ocaml.v_3_10_0;
+	  stdenv = stdenvUsingSetupNew2;
+  };
+
   ffmpeg = import ../development/libraries/ffmpeg {
     inherit fetchurl stdenv;
   };