about summary refs log tree commit diff
path: root/pkgs/development/compilers/mezzo/default.nix
diff options
context:
space:
mode:
Diffstat (limited to 'pkgs/development/compilers/mezzo/default.nix')
-rw-r--r--pkgs/development/compilers/mezzo/default.nix57
1 files changed, 0 insertions, 57 deletions
diff --git a/pkgs/development/compilers/mezzo/default.nix b/pkgs/development/compilers/mezzo/default.nix
deleted file mode 100644
index 498743ee743e..000000000000
--- a/pkgs/development/compilers/mezzo/default.nix
+++ /dev/null
@@ -1,57 +0,0 @@
-{ lib, stdenv, fetchFromGitHub, ocaml, findlib, ocamlbuild, camlp4, menhir
-, menhirLib, yojson, ulex, pprint, fix, functory
-}:
-
-if lib.versionAtLeast ocaml.version "4.06"
-then throw "mezzo is not available for OCaml ${ocaml.version}"
-else
-
-let
-  check-ocaml-version = with lib; versionAtLeast (getVersion ocaml);
-in
-
-assert check-ocaml-version "4";
-
-stdenv.mkDerivation {
-
-  pname = "mezzo";
-  version = "0.0.m8";
-
-  src = fetchFromGitHub {
-    owner = "protz";
-    repo = "mezzo";
-    rev = "m8";
-    sha256 = "0yck5r6di0935s3iy2mm9538jkf77ssr789qb06ms7sivd7g3ip6";
-  };
-
-  strictDeps = true;
-
-  nativeBuildInputs = [ ocaml findlib ocamlbuild camlp4 menhir ];
-  buildInputs = [ yojson menhirLib ulex pprint fix functory ocamlbuild ];
-
-  # Sets warning 3 as non-fatal
-  prePatch = lib.optionalString (check-ocaml-version "4.02") ''
-    substituteInPlace myocamlbuild.pre.ml \
-    --replace '@1..3' '@1..2+3'
-  ''
-  # Compatibility with PPrint ≥ 20220103
-  + ''
-    substituteInPlace typing/Fact.ml --replace PPrintOCaml PPrint.OCaml
-  '';
-
-  createFindlibDestdir = true;
-
-  postInstall = ''
-    mkdir $out/bin
-    cp mezzo $out/bin/
-  '';
-
-  meta = with lib; {
-    homepage = "http://protz.github.io/mezzo/";
-    description = "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 or [];
-  };
-}
-
-