83 lines
1.6 KiB
Nix
83 lines
1.6 KiB
Nix
{
|
|
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 = lib.versionAtLeast (lib.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 [ ];
|
|
};
|
|
}
|