idris-lang/Idris2
1
1
Fork 0
mirror of https://github.com/idris-lang/Idris2.git synced 2024-12-15 22:32:19 +03:00
Code Issues Projects Releases Wiki Activity

Use chez --program rather than --script

Browse Source 
We're running our executables as top level programs, so this gives more
scope for optimisations, doesn't use the Chez REPL, etc.
This commit is contained in:
Edwin Brady 2021-07-10 16:40:19 +01:00
parent 61b9a3e4e5
commit 8b45ccd264
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
src/Compiler/Scheme/Chez.idr
View File

@ -85,7 +85,7 @@ findLibs ds
schHeader : String -> List String -> Bool -> String
schHeader chez libs whole
= (if os /= "windows" then "#!" ++ chez ++ " --script\n\n" else "") ++
= (if os /= "windows" then "#!" ++ chez ++ " --program\n\n" else "") ++
"; " ++ (generatedString "Chez") ++ "\n" ++
"(import (chezscheme))\n" ++
"(case (machine-type)\n" ++
@ -411,7 +411,7 @@ startChezCmd chez appdir target = unlines
, "set APPDIR=%~dp0"
, "set PATH=%APPDIR%\\" ++ appdir ++ ";%PATH%"
, "set IDRIS2_INC_SRC=%APPDIR%\\"
, "\"" ++ chez ++ "\" --script \"%APPDIR%/" ++ target ++ "\" %*"
, "\"" ++ chez ++ "\" --program \"%APPDIR%/" ++ target ++ "\" %*"
]
startChezWinSh : String -> String -> String -> String
@ -425,7 +425,7 @@ startChezWinSh chez appdir target = unlines
, "CHEZ=$(cygpath \"" ++ chez ++"\")"
, "export PATH=\"$DIR/" ++ appdir ++ "\":$PATH"
, "export IDRIS2_INC_SRC=\"$DIR/" ++ appdir ++ "\""
, "\"$CHEZ\" --script \"$DIR/" ++ target ++ "\" \"$@\""
, "\"$CHEZ\" --program \"$DIR/" ++ target ++ "\" \"$@\""
]
||| Compile a TT expression to Chez Scheme