diff options
Diffstat (limited to 'pkgs/development/ocaml-modules/elpi/default.nix')
-rw-r--r-- | pkgs/development/ocaml-modules/elpi/default.nix | 12 |
1 files changed, 3 insertions, 9 deletions
diff --git a/pkgs/development/ocaml-modules/elpi/default.nix b/pkgs/development/ocaml-modules/elpi/default.nix index cc84284251772..0770f3a48d484 100644 --- a/pkgs/development/ocaml-modules/elpi/default.nix +++ b/pkgs/development/ocaml-modules/elpi/default.nix @@ -1,13 +1,12 @@ -{ stdenv, lib, fetchzip, bash -, buildDunePackage, camlp5 +{ stdenv, lib, fetchzip, buildDunePackage, camlp5 , re, perl, ncurses , ppxlib, ppx_deriving , ppxlib_0_15, ppx_deriving_0_15 -, coqPackages , version ? "1.14.1" }: with lib; -let fetched = coqPackages.metaFetch ({ +let fetched = import ../../../build-support/coq/meta-fetch/default.nix + {inherit lib stdenv fetchzip; } ({ release."1.14.1".sha256 = "sha256-BZPVL8ymjrE9kVGyf6bpc+GA2spS5JBpkUtZi04nPis="; release."1.13.7".sha256 = "10fnwz30bsvj7ii1vg4l1li5pd7n0qqmwj18snkdr5j9gk0apc1r"; release."1.13.5".sha256 = "02a6r23mximrdvs6kgv6rp0r2dgk7zynbs99nn7lphw2c4189kka"; @@ -33,11 +32,6 @@ buildDunePackage rec { else [ ppxlib_0_15 ppx_deriving_0_15 ] ); - patchPhase = '' - sed -e "s/SHELL:=/SHELL?=/" -i Makefile || true - ''; - buildPhase = "SHELL=${bash} make build"; - meta = { description = "Embeddable λProlog Interpreter"; license = licenses.lgpl21Plus; |