ilyakooo0/nixpkgs
1
0
Fork 0
mirror of https://github.com/ilyakooo0/nixpkgs.git synced 2024-12-29 06:45:54 +03:00
Code Issues Projects Releases Wiki Activity

why3: compatibility with JSoO 3.6.0

Browse Source
This commit is contained in:
Vincent Laporte 2020-06-21 07:33:23 +02:00 committed by Vincent Laporte
parent 2b8ee31b6d
commit d34bde6ac7
1 changed files with 4 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
pkgs/applications/science/logic/why3/default.nix
View File

@ -38,6 +38,10 @@ stdenv.mkDerivation {
}) })
]; ];
postPatch = ''
substituteInPlace Makefile.in --replace js_of_ocaml.ppx js_of_ocaml-ppx
'';
configureFlags = [ "--enable-verbose-make" ]; configureFlags = [ "--enable-verbose-make" ];
installTargets = [ "install" "install-lib" ]; installTargets = [ "install" "install-lib" ];