diff options
| author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2015-07-08 22:44:03 +0200 |
|---|---|---|
| committer | Vincent Laporte <Vincent.Laporte@gmail.com> | 2015-07-09 00:15:24 +0200 |
| commit | 22bc910c1a307ddf488416be79bf013534df1ad0 (patch) | |
| tree | 13dd0457777aa20fa835307b58bdcbee051ff7ff /pkgs/development/coq-modules | |
| parent | 813f12447119eb04826ebeece0be90201cb6c9f3 (diff) | |
| download | nixlib-22bc910c1a307ddf488416be79bf013534df1ad0.tar nixlib-22bc910c1a307ddf488416be79bf013534df1ad0.tar.gz nixlib-22bc910c1a307ddf488416be79bf013534df1ad0.tar.bz2 nixlib-22bc910c1a307ddf488416be79bf013534df1ad0.tar.lz nixlib-22bc910c1a307ddf488416be79bf013534df1ad0.tar.xz nixlib-22bc910c1a307ddf488416be79bf013534df1ad0.tar.zst nixlib-22bc910c1a307ddf488416be79bf013534df1ad0.zip | |
coq-fiat: do not run tests on i686
as they require too much memory
Diffstat (limited to 'pkgs/development/coq-modules')
| -rw-r--r-- | pkgs/development/coq-modules/fiat/default.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pkgs/development/coq-modules/fiat/default.nix b/pkgs/development/coq-modules/fiat/default.nix index df4ea133cd9c..e084497cbf81 100644 --- a/pkgs/development/coq-modules/fiat/default.nix +++ b/pkgs/development/coq-modules/fiat/default.nix @@ -14,7 +14,7 @@ stdenv.mkDerivation rec { propagatedBuildInputs = [ coq ]; enableParallelBuilding = false; - doCheck = true; + doCheck = !stdenv.isi686; unpackPhase = '' mkdir fiat |