Merge pull request #65504 from WilliButz/fix-mongodb-aarch64

mongodb: fix build on aarch64
This commit is contained in:
Jörg Thalheim 2019-07-29 07:24:34 +01:00 committed by GitHub
commit 94de28bbe6
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -81,6 +81,8 @@ in stdenv.mkDerivation rec {
preBuild = ''
sconsFlags+=" CC=$CC"
sconsFlags+=" CXX=$CXX"
'' + optionalString stdenv.isAarch64 ''
sconsFlags+=" CCFLAGS='-march=armv8-a+crc'"
'';
preInstall = ''