diff options
author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2020-06-21 07:33:23 +0200 |
---|---|---|
committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2020-06-28 09:59:04 +0200 |
commit | d34bde6ac73f1a9f39382800563c6a0d5390f98a (patch) | |
tree | 91acbd9e31e8ef5a4eae7c49f1da9da408210df3 /pkgs/applications/science/logic/why3 | |
parent | 2b8ee31b6d4961a0cd74d2a5ac1b275bb0f549a5 (diff) |
why3: compatibility with JSoO 3.6.0
Diffstat (limited to 'pkgs/applications/science/logic/why3')
-rw-r--r-- | pkgs/applications/science/logic/why3/default.nix | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/pkgs/applications/science/logic/why3/default.nix b/pkgs/applications/science/logic/why3/default.nix index 51cb2a456c197..cd44dadcedce8 100644 --- a/pkgs/applications/science/logic/why3/default.nix +++ b/pkgs/applications/science/logic/why3/default.nix @@ -38,6 +38,10 @@ stdenv.mkDerivation { }) ]; + postPatch = '' + substituteInPlace Makefile.in --replace js_of_ocaml.ppx js_of_ocaml-ppx + ''; + configureFlags = [ "--enable-verbose-make" ]; installTargets = [ "install" "install-lib" ]; |