diff options
author | John Wiegley <johnw@newartisans.com> | 2017-07-17 11:20:47 -0400 |
---|---|---|
committer | John Wiegley <johnw@newartisans.com> | 2017-07-17 11:21:20 -0400 |
commit | f130ecdd304847fc7c0b182b97f1dfdc0b76a7d6 (patch) | |
tree | e4e18e3a5d91a77b6c13700ac5b682f2895534b0 /pkgs | |
parent | 8253fc2ae56e089fe086942671f9e84c431f2277 (diff) | |
download | nixlib-f130ecdd304847fc7c0b182b97f1dfdc0b76a7d6.tar nixlib-f130ecdd304847fc7c0b182b97f1dfdc0b76a7d6.tar.gz nixlib-f130ecdd304847fc7c0b182b97f1dfdc0b76a7d6.tar.bz2 nixlib-f130ecdd304847fc7c0b182b97f1dfdc0b76a7d6.tar.lz nixlib-f130ecdd304847fc7c0b182b97f1dfdc0b76a7d6.tar.xz nixlib-f130ecdd304847fc7c0b182b97f1dfdc0b76a7d6.tar.zst nixlib-f130ecdd304847fc7c0b182b97f1dfdc0b76a7d6.zip |
coqPackages.compcert: Recent compcert supports 64-bit architectures
Diffstat (limited to 'pkgs')
-rw-r--r-- | pkgs/development/compilers/compcert/default.nix | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/pkgs/development/compilers/compcert/default.nix b/pkgs/development/compilers/compcert/default.nix index 8086a9f97495..f519776b6891 100644 --- a/pkgs/development/compilers/compcert/default.nix +++ b/pkgs/development/compilers/compcert/default.nix @@ -22,7 +22,7 @@ stdenv.mkDerivation rec { configurePhase = '' substituteInPlace ./configure --replace '{toolprefix}gcc' '{toolprefix}cc' ./configure -clightgen -prefix $out -toolprefix ${tools}/bin/ '' + - (if stdenv.isDarwin then "ia32-macosx" else "ia32-linux"); + (if stdenv.isDarwin then "x86_64-macosx" else "x86_64-linux"); installTargets = "documentation install"; @@ -30,7 +30,7 @@ stdenv.mkDerivation rec { mkdir -p $lib/share/doc/compcert mv doc/html $lib/share/doc/compcert/ mkdir -p $lib/lib/coq/${coq.coq-version}/user-contrib/compcert/ - mv backend cfrontend common cparser driver flocq x86 x86_32 lib \ + mv backend cfrontend common cparser driver flocq x86 x86_64 lib \ $lib/lib/coq/${coq.coq-version}/user-contrib/compcert/ ''; |