From 10c98685ab7a379fbc25f9a98ba314df4d5d3dda Mon Sep 17 00:00:00 2001 From: dzaima Date: Tue, 17 Jan 2023 00:01:17 +0200 Subject: [PATCH] build/build: use -DUSE_REPLXX_IO on windows+replxx --- build/src/build.bqn | 1 + 1 file changed, 1 insertion(+) diff --git a/build/src/build.bqn b/build/src/build.bqn index 702eaf5c..14fc07c5 100755 --- a/build/src/build.bqn +++ b/build/src/build.bqn @@ -244,6 +244,7 @@ po ← { # parsed options args∾↩ ( ¬pie) / ⟨"-fno-pie"⟩ args∾↩ ( shared) / ⟨"-DCBQN_SHARED", "-fPIC"⟩ args∾↩ ( windows) / ⟨"-DNO_MMAP"⟩ + args∾↩ ( replxx ∧ windows) / ⟨"-DUSE_REPLXX_IO"⟩ args∾↩ ( @≢versionName) / ⟨"-DHAS_VERSION"⟩ args ↩ args (¬∘∊/⊣) GetOpt "rm_f" {"CBQN C compiler: "∾•Repr 𝕩} _verboseLog args