Merge pull request #226310 from wegank/symengine-darwin

symengine: fix build on aarch64-darwin
This commit is contained in:
Weijia Wang 2023-04-16 12:47:37 +03:00 committed by GitHub
commit 9fc18a93a3
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -33,6 +33,9 @@ stdenv.mkDerivation rec {
"-DWITH_SYMENGINE_THREAD_SAFE=yes"
"-DWITH_MPC=yes"
"-DBUILD_FOR_DISTRIBUTION=yes"
] ++ lib.optionals (stdenv.isDarwin && stdenv.isAarch64) [
# error: unrecognized instruction mnemonic, did you mean: bit, cnt, hint, ins, not?
"-DBUILD_TESTS=OFF"
];
doCheck = true;