don't bother with erroring on shared build with version number
This commit is contained in:
parent
3e9f1ce1b0
commit
828f5415f6
@ -179,8 +179,7 @@ po ← { # parsed options
|
|||||||
wasi ← GetOpt "wasi"
|
wasi ← GetOpt "wasi"
|
||||||
usz ⇐ •ParseFloat GetOpt "usz"
|
usz ⇐ •ParseFloat GetOpt "usz"
|
||||||
{𝕊: "Error: usz can only be 32 or 64"}_assert_⊢ ⊑usz∊32‿64
|
{𝕊: "Error: usz can only be 32 or 64"}_assert_⊢ ⊑usz∊32‿64
|
||||||
versionName ← {compat ∧ shared? @; "0"⊸≡◶⊢‿@ GetOpt "v"}
|
versionName ← {shared? @; "0"⊸≡◶⊢‿@ GetOpt "v"}
|
||||||
{𝕊: "Error: Specifying version for shared build is useless"}_assert_¬ shared ∧ versionName≢""
|
|
||||||
wasm ⇐ wasi∨emcc
|
wasm ⇐ wasi∨emcc
|
||||||
|
|
||||||
cc ← {emcc? "emcc"; "clang"} DOpt "CC"
|
cc ← {emcc? "emcc"; "clang"} DOpt "CC"
|
||||||
|
|||||||
Loading…
Reference in New Issue
Block a user