edwinb/Idris2-boot
1
1
Fork 0
mirror of https://github.com/edwinb/Idris2-boot.git synced 2024-11-24 04:43:25 +03:00
Code Issues Projects Releases Wiki Activity

Remove -S flag from call to env

Browse Source 
This isn't recognised on all systems, and I don't think it's needed (?)
Fixes #175
This commit is contained in:
Edwin Brady 2020-02-23 12:24:29 +00:00
parent 66d67c84cc
commit 65fe430a91
2 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -26,7 +26,7 @@ findChez
Just n => pure n
Nothing => do e <- firstExists [p ++ x | p <- ["/usr/bin/", "/usr/local/bin/"],
x <- ["chez", "chezscheme9.5", "scheme"]]
pure $ fromMaybe "/usr/bin/env -S scheme" e
pure $ fromMaybe "/usr/bin/env scheme" e
-- Given the chez compiler directives, return a list of pairs of:
-- - the library file name

4
src/Compiler/Scheme/Racket.idr
View File

@ -22,12 +22,12 @@ import System.Info
findRacket : IO String
findRacket =
do env <- getEnv "RACKET"
pure $ fromMaybe "/usr/bin/env -S racket" env
pure $ fromMaybe "/usr/bin/env racket" env
findRacoExe : IO String
findRacoExe =
do env <- getEnv "RACKET_RACO"
pure $ (fromMaybe "/usr/bin/env -S raco" env) ++ " exe"
pure $ (fromMaybe "/usr/bin/env raco" env) ++ " exe"
schHeader : String -> String
schHeader libs