diff options
| -rw-r--r-- | Makefile | 1 | ||||
| -rw-r--r-- | sil.icl | 4 |
2 files changed, 3 insertions, 2 deletions
@@ -1,6 +1,7 @@ BIN:=sil CLM:=clm CLMFLAGS:=-nt -nr\ + -l -no-pie\ -I $$CLEAN_HOME/lib/Generics\ -I $$CLEAN_HOME/lib/Platform\ -I ABCMachine @@ -97,7 +97,7 @@ Start w # (_,w) = fclose f w | not args.generate = finish 0 io err w -# (p,w) = callProcess "/opt/clean/bin/clm" ["sil_compiled", "-o", "sil_compiled"] Nothing w +# (p,w) = callProcess "/opt/clean/bin/clm" ["-l", "-no-pie", "sil_compiled", "-o", "sil_compiled"] Nothing w | isError p # err = err <<< snd (fromError p) <<< "\r\n" = finish 1 io err w @@ -121,7 +121,7 @@ where ) isFilename :: (String -> Bool) - isFilename = all (\c -> isAlphanum c || isMember c ['./']) o fromString + isFilename = all (\c -> isAlphanum c || isMember c ['./-']) o fromString finish :: !Int !*File !*File !*World -> *World finish ret io err w |