1
1
mirror of https://github.com/anoma/juvix.git synced 2024-12-02 10:47:32 +03:00

Fix dev compile options documentation (#2741)

This commit is contained in:
Paul Cadman 2024-04-23 12:06:54 +01:00 committed by GitHub
parent 8497c29982
commit cde3ed98d5
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -112,19 +112,19 @@ parseCompileOptions' supportedTargets parserFile = do
switch
( short 'C'
<> long "only-c"
<> help "Produce C output only (for targets: wasm32-wasi, native)"
<> help "Produce C output only (for targets: wasi, native)"
)
_compilePreprocess <-
switch
( short 'E'
<> long "only-preprocess"
<> help "Run the C preprocessor only (for targets: wasm32-wasi, native)"
<> help "Run the C preprocessor only (for targets: wasi, native)"
)
_compileAssembly <-
switch
( short 'S'
<> long "only-assemble"
<> help "Produce assembly output only (for targets: wasm32-wasi, native)"
<> help "Produce assembly output only (for targets: wasi, native)"
)
_compileTerm <-
if