pyrox.dev / nixpkgs
lol
fork atom

compcert: build with 64-bit compiler, add darwin support

John Wiegley 8d5c4e8b b8cb960a

+7 -4
unified split
+6 -3
pkgs/development/compilers/compcert/default.nix
··· 12 buildInputs = [ coq ocaml ocamlPackages.menhir ]; 13 14 enableParallelBuilding = true; 15 - configurePhase = "./configure -prefix $out -toolprefix ${gcc}/bin/ ia32-linux"; 16 17 meta = { 18 description = "Formally verified C compiler"; 19 homepage = "http://compcert.inria.fr"; 20 license = stdenv.lib.licenses.inria; 21 - platforms = [ "i686-linux" ]; 22 - maintainers = [ stdenv.lib.maintainers.thoughtpolice ]; 23 }; 24 }
··· 12 buildInputs = [ coq ocaml ocamlPackages.menhir ]; 13 14 enableParallelBuilding = true; 15 + configurePhase = "./configure -prefix $out -toolprefix ${gcc}/bin/ " + 16 + (if stdenv.isDarwin then "ia32-macosx" else "ia32-linux"); 17 18 meta = { 19 description = "Formally verified C compiler"; 20 homepage = "http://compcert.inria.fr"; 21 license = stdenv.lib.licenses.inria; 22 + platforms = [ stdenv.lib.platforms.linux 23 + stdenv.lib.platforms.darwin ]; 24 + maintainers = [ stdenv.lib.maintainers.thoughtpolice 25 + stdenv.lib.maintainers.jwiegley ]; 26 }; 27 }
+1 -1
pkgs/top-level/all-packages.nix
··· 2568 2569 cmucl_binary = callPackage ../development/compilers/cmucl/binary.nix { }; 2570 2571 - compcert = callPackage_i686 ../development/compilers/compcert {}; 2572 2573 cryptol1 = lowPrio (callPackage ../development/compilers/cryptol/1.8.x.nix {}); 2574 cryptol2 = haskellPackages.cryptol;
··· 2568 2569 cmucl_binary = callPackage ../development/compilers/cmucl/binary.nix { }; 2570 2571 + compcert = callPackage ../development/compilers/compcert {} 2572 2573 cryptol1 = lowPrio (callPackage ../development/compilers/cryptol/1.8.x.nix {}); 2574 cryptol2 = haskellPackages.cryptol;