diff options
| author | Austin Seipp <aseipp@pobox.com> | 2015-06-14 15:05:24 -0500 |
|---|---|---|
| committer | Austin Seipp <aseipp@pobox.com> | 2015-06-14 19:48:11 -0500 |
| commit | 44ef5a3ab00bb96476b0cdb6a3768a78132df62d (patch) | |
| tree | 50c7b777e0aba92e2cdf77441ea015b925948563 /pkgs/applications/science/logic/cvc4 | |
| parent | da76434dbd5e727ab21b04e87ad219eedae2c183 (diff) | |
| download | nixpkgs-44ef5a3ab00bb96476b0cdb6a3768a78132df62d.tar nixpkgs-44ef5a3ab00bb96476b0cdb6a3768a78132df62d.tar.gz nixpkgs-44ef5a3ab00bb96476b0cdb6a3768a78132df62d.tar.bz2 nixpkgs-44ef5a3ab00bb96476b0cdb6a3768a78132df62d.tar.lz nixpkgs-44ef5a3ab00bb96476b0cdb6a3768a78132df62d.tar.xz nixpkgs-44ef5a3ab00bb96476b0cdb6a3768a78132df62d.tar.zst nixpkgs-44ef5a3ab00bb96476b0cdb6a3768a78132df62d.zip | |
cvc4: regenerate ./configure on rebuild
Otherwise some absurd error from ./configure crops up. Signed-off-by: Austin Seipp <aseipp@pobox.com>
Diffstat (limited to 'pkgs/applications/science/logic/cvc4')
| -rw-r--r-- | pkgs/applications/science/logic/cvc4/default.nix | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/pkgs/applications/science/logic/cvc4/default.nix b/pkgs/applications/science/logic/cvc4/default.nix index 5d2968e42a6..769f86d5d77 100644 --- a/pkgs/applications/science/logic/cvc4/default.nix +++ b/pkgs/applications/science/logic/cvc4/default.nix @@ -1,4 +1,4 @@ -{ stdenv, fetchurl, gmp, libantlr3c, boost }: +{ stdenv, fetchurl, gmp, libantlr3c, boost, autoreconfHook }: stdenv.mkDerivation rec { name = "cvc4-${version}"; @@ -9,7 +9,7 @@ stdenv.mkDerivation rec { sha256 = "093h7zgv4z4ad503j30dpn8k2pz9m90pvd7gi5axdmwsxgwlzzkn"; }; - buildInputs = [ gmp libantlr3c boost ]; + buildInputs = [ gmp libantlr3c boost autoreconfHook ]; preConfigure = "patchShebangs ./src/"; doChecks = true; |