From c88b7c6a14148b781bce312d15a02f505faa7379 Mon Sep 17 00:00:00 2001 From: dzaima Date: Sun, 8 Jan 2023 04:42:00 +0200 Subject: [PATCH] define REPLXX_STATIC=1 for CBQN files too --- build/src/build.bqn | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/build/src/build.bqn b/build/src/build.bqn index 88b489df..ab3a91e6 100755 --- a/build/src/build.bqn +++ b/build/src/build.bqn @@ -222,7 +222,7 @@ po ← { # parsed options args∾↩ ( wasm) / ⟨"-DWASM"⟩ args∾↩ ( wasi) / ⟨"-DWASI", "-DNO_MMAP", "-DCATCH_ERRORS=0", "-D_WASI_EMULATED_MMAN", "--target=wasm32-wasi"⟩ args∾↩ ( emcc) / ⟨"-DEMCC", "-O3"⟩ - args∾↩ ( replxx) / ⟨"-DUSE_REPLXX", "-I"∾replxxDir∾"/include"⟩ # TODO maybe move to main.c only, and have it be in its own separate cache dir, so that adding replxx doesn't recompile everything? + args∾↩ ( replxx) / ⟨"-DUSE_REPLXX", "-DREPLXX_STATIC=1", "-I"∾replxxDir∾"/include"⟩ # TODO maybe move to main.c only, and have it be in its own separate cache dir, so that adding replxx doesn't recompile everything? args∾↩ ( debug DOpt "g") / ⟨"-g"⟩ args∾↩ ((¬custom) DOpt "O3") / ⟨"-O3"⟩ args∾↩ ( native) / ⟨"-march=native"⟩