public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

cvc4: regenerate ./configure on rebuild

Browse Source 
Otherwise some absurd error from ./configure crops up.

Signed-off-by: Austin Seipp <aseipp@pobox.com>
This commit is contained in:
Austin Seipp 2015-06-14 15:05:24 -05:00
parent da76434dbd
commit 44ef5a3ab0
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -1,4 +1,4 @@
{ stdenv, fetchurl, gmp, libantlr3c, boost }: { stdenv, fetchurl, gmp, libantlr3c, boost, autoreconfHook }:
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
name = "cvc4-${version}"; name = "cvc4-${version}";
@ -9,7 +9,7 @@ stdenv.mkDerivation rec {
sha256 = "093h7zgv4z4ad503j30dpn8k2pz9m90pvd7gi5axdmwsxgwlzzkn"; sha256 = "093h7zgv4z4ad503j30dpn8k2pz9m90pvd7gi5axdmwsxgwlzzkn";
}; };
buildInputs = [ gmp libantlr3c boost ]; buildInputs = [ gmp libantlr3c boost autoreconfHook ];
preConfigure = "patchShebangs ./src/"; preConfigure = "patchShebangs ./src/";
doChecks = true; doChecks = true;