pyrox.dev / nixpkgs
lol
fork atom

coq-fiat: do not run tests on i686

as they require too much memory

Vincent Laporte 22bc910c 813f1244

options
unified split
Changed files
+1 -1
pkgs
development
coq-modules
fiat
default.nix
+1 -1
pkgs/development/coq-modules/fiat/default.nix 
···

       
14

       
 

       
  propagatedBuildInputs = [ coq ];


     

       
15

       
 

       



     

       
16

       
 

       
  enableParallelBuilding = false;


     

       
17

       
-

       
  doCheck = true;


     

       
18

       
 

       



     

       
19

       
 

       
  unpackPhase = ''


     

       
20

       
 

       
    mkdir fiat


     
···

       
14

       
 

       
  propagatedBuildInputs = [ coq ];


     

       
15

       
 

       



     

       
16

       
 

       
  enableParallelBuilding = false;


     

       
17

       
+

       
  doCheck = !stdenv.isi686;


     

       
18

       
 

       



     

       
19

       
 

       
  unpackPhase = ''


     

       
20

       
 

       
    mkdir fiat