You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
This repo is archived. You can view files and clone it, but cannot push or open issues/pull-requests.
 
 

31 lines
535 B

{
lib,
stdenv,
ocamlPackages,
}:
ocamlPackages.buildDunePackage rec {
pname = "ermit";
version = "unstable";
useDune2 = true;
src = ./.;
minimumOCamlVersion = "4.09";
nativeBuildInputs = with ocamlPackages; [
menhir
];
buildInputs = with ocamlPackages; [
cmdliner menhirLib sedlex_2
];
meta = with lib; {
description = "ERM emitter";
homepage = "https://git.ytrizja.de/zseri/ermit";
license = licenses.mit;
maintainers = maintainers.zseri;
platforms = platforms.unix;
};
}