diff options
author | Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2018-10-10 17:27:19 +0200 |
---|---|---|
committer | Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2018-10-10 19:44:54 +0200 |
commit | 2fdd38ed2df0f6df08154a8982c87d77b9ca7b18 (patch) | |
tree | f9efce1d42b14e4d790c27ed59a23f94ffd98bbf /pkgs/development/ocaml-modules/elpi | |
parent | eaf0de5985ef1316323c7da4026ed268399a3589 (diff) | |
download | nixpkgs-2fdd38ed2df0f6df08154a8982c87d77b9ca7b18.tar nixpkgs-2fdd38ed2df0f6df08154a8982c87d77b9ca7b18.tar.gz nixpkgs-2fdd38ed2df0f6df08154a8982c87d77b9ca7b18.tar.bz2 nixpkgs-2fdd38ed2df0f6df08154a8982c87d77b9ca7b18.tar.lz nixpkgs-2fdd38ed2df0f6df08154a8982c87d77b9ca7b18.tar.xz nixpkgs-2fdd38ed2df0f6df08154a8982c87d77b9ca7b18.tar.zst nixpkgs-2fdd38ed2df0f6df08154a8982c87d77b9ca7b18.zip |
camlp5_transitional: remove in favor of camlp5 (strict)
Diffstat (limited to 'pkgs/development/ocaml-modules/elpi')
-rw-r--r-- | pkgs/development/ocaml-modules/elpi/default.nix | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/pkgs/development/ocaml-modules/elpi/default.nix b/pkgs/development/ocaml-modules/elpi/default.nix index db188a720b8..3eecb9b45b7 100644 --- a/pkgs/development/ocaml-modules/elpi/default.nix +++ b/pkgs/development/ocaml-modules/elpi/default.nix @@ -1,4 +1,4 @@ -{ stdenv, fetchFromGitHub, ocaml, findlib, camlp5_strict +{ stdenv, fetchFromGitHub, ocaml, findlib, camlp5 , ppx_tools_versioned, ppx_deriving, re }: @@ -14,7 +14,7 @@ stdenv.mkDerivation rec { buildInputs = [ ocaml findlib ppx_tools_versioned ]; - propagatedBuildInputs = [ camlp5_strict ppx_deriving re ]; + propagatedBuildInputs = [ camlp5 ppx_deriving re ]; createFindlibDestdir = true; |