diff options
author | Mateusz Kowalczyk <mk440@bath.ac.uk> | 2014-09-20 23:38:47 +0100 |
---|---|---|
committer | Mateusz Kowalczyk <mk440@bath.ac.uk> | 2014-09-20 23:38:47 +0100 |
commit | 1e5452865b5eff0dca54552129c13b8e96d095b8 (patch) | |
tree | 588824d52abbbb2b590be7c122836397d42074ab /pkgs/development | |
parent | c6f28f988c930329db62cd3054c206d515b2ecb3 (diff) | |
parent | 829c49a686657d5779c83098506e86046db1a174 (diff) | |
download | nixlib-1e5452865b5eff0dca54552129c13b8e96d095b8.tar nixlib-1e5452865b5eff0dca54552129c13b8e96d095b8.tar.gz nixlib-1e5452865b5eff0dca54552129c13b8e96d095b8.tar.bz2 nixlib-1e5452865b5eff0dca54552129c13b8e96d095b8.tar.lz nixlib-1e5452865b5eff0dca54552129c13b8e96d095b8.tar.xz nixlib-1e5452865b5eff0dca54552129c13b8e96d095b8.tar.zst nixlib-1e5452865b5eff0dca54552129c13b8e96d095b8.zip |
Merge pull request #4061 from vbgl/mezzo
Adds mezzo and its dependencies
Diffstat (limited to 'pkgs/development')
-rw-r--r-- | pkgs/development/compilers/mezzo/default.nix | 29 | ||||
-rw-r--r-- | pkgs/development/ocaml-modules/fix/default.nix | 23 | ||||
-rw-r--r-- | pkgs/development/ocaml-modules/functory/default.nix | 26 | ||||
-rw-r--r-- | pkgs/development/ocaml-modules/pprint/default.nix | 27 |
4 files changed, 105 insertions, 0 deletions
diff --git a/pkgs/development/compilers/mezzo/default.nix b/pkgs/development/compilers/mezzo/default.nix new file mode 100644 index 000000000000..183640f5985d --- /dev/null +++ b/pkgs/development/compilers/mezzo/default.nix @@ -0,0 +1,29 @@ +{stdenv, fetchurl, ocaml, findlib, menhir, yojson, ulex, pprint, fix, functory}: + +stdenv.mkDerivation { + + name = "mezzo-0.0.m8"; + + src = fetchurl { + url = https://github.com/protz/mezzo/archive/m8.tar.gz; + sha256 = "17mfapgqp8ssa5x9blv72zg9l561zbiwv3ikwi6nl9dd36lwkkc6"; + }; + + buildInputs = [ ocaml findlib yojson menhir ulex pprint fix functory ]; + + createFindlibDestdir = true; + + postInstall = '' + mkdir $out/bin + cp mezzo $out/bin/ + ''; + + meta = with stdenv.lib; { + homepage = http://protz.github.io/mezzo/; + description = "A programming language in the ML tradition, which places strong emphasis on the control of aliasing and access to mutable memory"; + license = licenses.gpl2; + platforms = ocaml.meta.platforms; + }; +} + + diff --git a/pkgs/development/ocaml-modules/fix/default.nix b/pkgs/development/ocaml-modules/fix/default.nix new file mode 100644 index 000000000000..5ead575d0886 --- /dev/null +++ b/pkgs/development/ocaml-modules/fix/default.nix @@ -0,0 +1,23 @@ +{stdenv, fetchurl, ocaml, findlib}: + +stdenv.mkDerivation { + + name = "ocaml-fix-20130611"; + + src = fetchurl { + url = http://gallium.inria.fr/~fpottier/fix/fix-20130611.tar.gz; + sha256 = "1phlqcs1nb93x9cf0w0hnq2ck4dmn71zm4mxf60w96vb9yb9qzp0"; + }; + + buildInputs = [ ocaml findlib ]; + + createFindlibDestdir = true; + + meta = with stdenv.lib; { + homepage = http://gallium.inria.fr/~fpottier/fix/; + description = "A simple OCaml module for computing the least solution of a system of monotone equations"; + license = licenses.cecill-c; + platforms = ocaml.meta.platforms; + }; +} + diff --git a/pkgs/development/ocaml-modules/functory/default.nix b/pkgs/development/ocaml-modules/functory/default.nix new file mode 100644 index 000000000000..b596272655e4 --- /dev/null +++ b/pkgs/development/ocaml-modules/functory/default.nix @@ -0,0 +1,26 @@ +{stdenv, fetchurl, ocaml, findlib}: + +stdenv.mkDerivation { + + name = "ocaml-functory-0.5"; + + src = fetchurl { + url = https://www.lri.fr/~filliatr/functory/download/functory-0.5.tar.gz; + sha256 = "1j17rhifdjv1z262dma148ywg34x0zjn8vczdrnkwajsm4qg1hw3"; + }; + + buildInputs = [ ocaml findlib ]; + + installTargets = "ocamlfind-install"; + + createFindlibDestdir = true; + + meta = with stdenv.lib; { + homepage = https://www.lri.fr/~filliatr/functory/; + description = "A distributed computing library for Objective Caml which facilitates distributed execution of parallelizable computations in a seamless fashion"; + license = licenses.lgpl21; + platforms = ocaml.meta.platforms; + }; +} + + diff --git a/pkgs/development/ocaml-modules/pprint/default.nix b/pkgs/development/ocaml-modules/pprint/default.nix new file mode 100644 index 000000000000..e025801bb21c --- /dev/null +++ b/pkgs/development/ocaml-modules/pprint/default.nix @@ -0,0 +1,27 @@ +{stdenv, fetchurl, ocaml, findlib}: + +stdenv.mkDerivation { + + name = "ocaml-pprint-20140424"; + + src = fetchurl { + url = http://gallium.inria.fr/~fpottier/pprint/pprint-20140424.tar.gz; + sha256 = "0sc9q89dnyarcg24czyhr6ams0ylqvia3745s6rfwd2nldpygsdk"; + }; + + buildInputs = [ ocaml findlib ]; + + createFindlibDestdir = true; + + dontBuild = true; + installFlags = "-C src"; + + meta = with stdenv.lib; { + homepage = http://gallium.inria.fr/~fpottier/pprint/; + description = "An OCaml adaptation of Wadler’s and Leijen’s prettier printer"; + license = licenses.cecill-c; + platforms = ocaml.meta.platforms; + }; +} + + |