ilyakooo0/nixpkgs
1
0
Fork 0
mirror of https://github.com/ilyakooo0/nixpkgs.git synced 2024-12-29 14:57:28 +03:00
Code Issues Projects Releases Wiki Activity

coqPackages.compcert: Recent compcert supports 64-bit architectures

Browse Source
This commit is contained in:
John Wiegley 2017-07-17 11:20:47 -04:00
parent 8253fc2ae5
commit f130ecdd30
No known key found for this signature in database
GPG Key ID: C144D8F4F19FE630
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
pkgs/development/compilers/compcert/default.nix
View File

@ -22,7 +22,7 @@ stdenv.mkDerivation rec {
configurePhase = '' configurePhase = ''
substituteInPlace ./configure --replace '{toolprefix}gcc' '{toolprefix}cc' substituteInPlace ./configure --replace '{toolprefix}gcc' '{toolprefix}cc'
./configure -clightgen -prefix $out -toolprefix ${tools}/bin/ '' + ./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"; installTargets = "documentation install";
@ -30,7 +30,7 @@ stdenv.mkDerivation rec {
mkdir -p $lib/share/doc/compcert mkdir -p $lib/share/doc/compcert
mv doc/html $lib/share/doc/compcert/ mv doc/html $lib/share/doc/compcert/
mkdir -p $lib/lib/coq/${coq.coq-version}/user-contrib/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/ $lib/lib/coq/${coq.coq-version}/user-contrib/compcert/
''; '';