Austin Seipp 44ef5a3ab0 cvc4: regenerate ./configure on rebuild ... Otherwise some absurd error from ./configure crops up. Signed-off-by: Austin Seipp <aseipp@pobox.com>		2015-06-14 19:48:11 -05:00
..
default.nix	cvc4: regenerate ./configure on rebuild	2015-06-14 19:48:11 -05:00