summary refs log tree commit diff
diff options
context:
space:
mode:
authorVincent Laporte <Vincent.Laporte@gmail.com>2014-09-13 09:33:17 +0200
committerVincent Laporte <Vincent.Laporte@gmail.com>2014-09-13 12:26:07 +0200
commit829c49a686657d5779c83098506e86046db1a174 (patch)
treef055d6da938b0aedeb90d881249afec0e55cce98
parentcc387fa886cb48cd375922e347ba790999f9cb74 (diff)
downloadnixpkgs-829c49a686657d5779c83098506e86046db1a174.tar
nixpkgs-829c49a686657d5779c83098506e86046db1a174.tar.gz
nixpkgs-829c49a686657d5779c83098506e86046db1a174.tar.bz2
nixpkgs-829c49a686657d5779c83098506e86046db1a174.tar.lz
nixpkgs-829c49a686657d5779c83098506e86046db1a174.tar.xz
nixpkgs-829c49a686657d5779c83098506e86046db1a174.tar.zst
nixpkgs-829c49a686657d5779c83098506e86046db1a174.zip
Adds mezzo
Mezzo is a programming language in the ML tradition, which places strong
emphasis on the control of aliasing and access to mutable memory.

Homepage: http://protz.github.io/mezzo/
-rw-r--r--pkgs/development/compilers/mezzo/default.nix29
-rw-r--r--pkgs/top-level/all-packages.nix2
2 files changed, 31 insertions, 0 deletions
diff --git a/pkgs/development/compilers/mezzo/default.nix b/pkgs/development/compilers/mezzo/default.nix
new file mode 100644
index 00000000000..183640f5985
--- /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/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix
index 2b1f2fceef1..3fe33209372 100644
--- a/pkgs/top-level/all-packages.nix
+++ b/pkgs/top-level/all-packages.nix
@@ -3372,6 +3372,8 @@ let
 
     merlin = callPackage ../development/tools/ocaml/merlin { };
 
+    mezzo = callPackage ../development/compilers/mezzo { };
+
     mldonkey = callPackage ../applications/networking/p2p/mldonkey { };
 
     mlgmp =  callPackage ../development/ocaml-modules/mlgmp { };