cvc3: Add gcc6 patch from Gentoo.

https://gitweb.gentoo.org/repo/gentoo.git/plain/sci-mathematics/cvc3/files/cvc3-2.4.1-gccv6-fix.patch
2017-08-29 13:48:09 -05:00
parent a3111b8a77
commit c8f2e3f95f
2 changed files with 78 additions and 0 deletions
@@ -11,6 +11,8 @@ stdenv.mkDerivation rec {

  buildInputs = [ gmp flex bison perl ];

+  patches = [ ./cvc3-2.4.1-gccv6-fix.patch ];
+
  preConfigure = ''
    sed -e "s@ /bin/bash@bash@g" -i Makefile.std
    find . -exec sed -e "s@/usr/bin/perl@${perl}/bin/perl@g" -i '{}' ';'