git.iko.soy/Idris-dev
on master help sign in
Fix freestanding build
e381fbdNiklas Larsson
src/Util/System.hs+2
compare with master
unifiedsplit
@@ -24,6 +24,8 @@ import System.IO.Error
24
24
25#ifdef FREESTANDING
25#ifdef FREESTANDING
26import Tools_idris
26import Tools_idris
27+import System.FilePath (isAbsolute, dropFileName)
28+import System.Directory (doesDirectoryExist)
27import System.Environment (getEnv, setEnv, getExecutablePath)
29import System.Environment (getEnv, setEnv, getExecutablePath)
28#endif
30#endif
29
31