diff options
author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2014-11-22 22:50:31 +0000 |
---|---|---|
committer | Vincent Laporte <Vincent.Laporte@gmail.com> | 2014-11-22 22:51:04 +0000 |
commit | 9f82cc26840ef7b8cab89ac2d18b8ed69d79ea7e (patch) | |
tree | b70bfdac0523c37d6da048a8b4dd58655c2d6785 /pkgs/development/ocaml-modules | |
parent | a76acaae82ca3df054eddfd0b4cb165648366888 (diff) | |
download | nixlib-9f82cc26840ef7b8cab89ac2d18b8ed69d79ea7e.tar nixlib-9f82cc26840ef7b8cab89ac2d18b8ed69d79ea7e.tar.gz nixlib-9f82cc26840ef7b8cab89ac2d18b8ed69d79ea7e.tar.bz2 nixlib-9f82cc26840ef7b8cab89ac2d18b8ed69d79ea7e.tar.lz nixlib-9f82cc26840ef7b8cab89ac2d18b8ed69d79ea7e.tar.xz nixlib-9f82cc26840ef7b8cab89ac2d18b8ed69d79ea7e.tar.zst nixlib-9f82cc26840ef7b8cab89ac2d18b8ed69d79ea7e.zip |
ocaml-cil: update from 1.3.2 to 1.7.3
Diffstat (limited to 'pkgs/development/ocaml-modules')
-rw-r--r-- | pkgs/development/ocaml-modules/cil/default.nix | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/pkgs/development/ocaml-modules/cil/default.nix b/pkgs/development/ocaml-modules/cil/default.nix new file mode 100644 index 000000000000..43522e180b63 --- /dev/null +++ b/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; + }; +} |