ocaml-cil: update from 1.3.2 to 1.7.3

pkgs/development/libraries/cil/default.nix

@@ -1,8 +0,0 @@
-{stdenv, fetchurl, ocaml, perl}: stdenv.mkDerivation {
-  name = "cil-1.3.2";
-  src = fetchurl {
-    url = http://manju.cs.berkeley.edu/cil/distrib/cil-1.3.2.tar.gz;
-    md5 = "aba80dd700fcb1411598670cc36a9573";
-  };
-  buildInputs = [ocaml perl];
-}

pkgs/development/ocaml-modules/cil/default.nix

@@ -0,0 +1,25 @@
+{ stdenv, fetchurl, perl, ocaml, findlib }:
+stdenv.mkDerivation {
+  name = "ocaml-cil-1.7.3";
+  src = fetchurl {
+    url = mirror://sourceforge/cil/cil-1.7.3.tar.gz;
+    sha256 = "05739da0b0msx6kmdavr3y2bwi92jbh3szc35d7d8pdisa8g5dv9";
+  };
+
+  buildInputs = [ perl ocaml findlib ];
+
+  createFindlibDestdir = true;
+
+  preConfigure = ''
+    export FORCE_PERL_PREFIX=1
+  '';
+  prefixKey = "-prefix=";
+
+  meta = with stdenv.lib; {
+    homepage = http://kerneis.github.io/cil/;
+    description = "A front-end for the C programming language that facilitates program analysis and transformation";
+    license = licenses.bsd3;
+    maintainers = [ maintainers.vbgl ];
+    platforms = ocaml.meta.platforms;
+  };
+}

pkgs/top-level/all-packages.nix

@@ -3577,6 +3577,8 @@ let
 
     ocaml_cairo2 = callPackage ../development/ocaml-modules/ocaml-cairo2 { };
 
+    cil = callPackage ../development/ocaml-modules/cil { };
+
     cmdliner = callPackage ../development/ocaml-modules/cmdliner { };
 
     cppo = callPackage ../development/tools/ocaml/cppo { };
@@ -4910,8 +4912,6 @@ let
 
   chromaprint = callPackage ../development/libraries/chromaprint { };
 
-  cil = callPackage ../development/libraries/cil { };
-
   cilaterm = callPackage ../development/libraries/cil-aterm {
     stdenv = overrideInStdenv stdenv [gnumake380];
   };