mirrors/nixpkgs
1
0
Fork 1
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-11-17 19:21:04 +00:00
Code Issues Wiki Activity

coqPackages_8_19.autosubst-ocaml: init at 1.1

Browse source
This commit is contained in:
Chen 2024-11-11 20:37:19 +08:00 committed by Vincent Laporte
parent 24e0ade3a6
commit 19d66fab29
2 changed files with 48 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

47
pkgs/development/coq-modules/autosubst-ocaml/default.nix Normal file
View file

@ -0,0 +1,47 @@
{
lib,
mkCoqDerivation,
coq,
version ? null,
}:
mkCoqDerivation {
pname = "autosubst-ocaml";
owner = "uds-psl";
release."1.1+8.19".sha256 = "sha256-AGbhw/6lg4GpDE6hZBhau9DLW7HVXa0UzGvJfSV8oHE=";
inherit version;
defaultVersion =
with lib.versions;
lib.switch coq.coq-version [
{
case = isEq "8.19";
out = "1.1+8.19";
}
] null;
buildInputs = with coq.ocamlPackages; [
angstrom
ocamlgraph
ppx_deriving
ppxlib
];
useDune = true;
buildPhase = ''
dune build
'';
installPhase = ''
dune install --prefix $out --libdir $OCAMLFIND_DESTDIR
'';
meta = with lib; {
description = "An OCaml reimplementation of the Autosubst 2 code generator";
homepage = "https://github.com/uds-psl/autosubst-ocaml";
mainProgram = "autosubst";
maintainers = with maintainers; [ chen ];
license = licenses.mit;
};
}

1
pkgs/top-level/coq-packages.nix
View file

@ -22,6 +22,7 @@ let
async-test = callPackage ../development/coq-modules/async-test {};
atbr = callPackage ../development/coq-modules/atbr {};
autosubst = callPackage ../development/coq-modules/autosubst {};
autosubst-ocaml = callPackage ../development/coq-modules/autosubst-ocaml {};
bbv = callPackage ../development/coq-modules/bbv {};
bignums = if lib.versionAtLeast coq.coq-version "8.6"
then callPackage ../development/coq-modules/bignums {}