cbqn: make REPLXX flag explicit

Makefile target o3n-singeli enables REPLXX by default, we want to adhere
the enableReplxx variable.
This commit is contained in:
Antti Keränen 2023-05-10 21:42:57 +03:00 committed by Anderson Torres
parent afea6a0e86
commit 53875c54da

View File

@ -50,12 +50,12 @@ stdenv.mkDerivation rec {
makeFlags = [
"CC=${stdenv.cc.targetPrefix}cc"
]
++ lib.optional enableReplxx "REPLXX=1";
];
buildFlags = [
# interpreter binary
(lib.flatten (if enableSingeli then ["o3n-singeli" "f='-mavx2'"] else ["o3"]))
"REPLXX=${if enableReplxx then "1" else "0"}"
] ++ lib.optionals enableLibcbqn [
# embeddable interpreter as a shared lib
"shared-o3"