cvc3: fix build against bison 3.7
for some reason bison 3.7 output references $x_defs.h files under the name $x.hpp. create symlinks to make this work.
This commit is contained in:
parent
5948bdd25b
commit
53a8a415ac
@ -13,9 +13,14 @@ stdenv.mkDerivation rec {
|
||||
|
||||
patches = [ ./cvc3-2.4.1-gccv6-fix.patch ];
|
||||
|
||||
preConfigure = ''
|
||||
postPatch = ''
|
||||
sed -e "s@ /bin/bash@bash@g" -i Makefile.std
|
||||
find . -exec sed -e "s@/usr/bin/perl@${perl}/bin/perl@g" -i '{}' ';'
|
||||
|
||||
# bison 3.7 workaround
|
||||
for f in parsePL parseLisp parsesmtlib parsesmtlib2 ; do
|
||||
ln -s ../parser/''${f}_defs.h src/include/''${f}.hpp
|
||||
done
|
||||
'';
|
||||
|
||||
meta = with stdenv.lib; {
|
||||
|
Loading…
Reference in New Issue
Block a user