diff options
Diffstat (limited to 'pkgs/development/compilers/mezzo/default.nix')
-rw-r--r-- | pkgs/development/compilers/mezzo/default.nix | 57 |
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 []; - }; -} - - |