git.iko.soy/Idris-dev
on master help sign in
Fix freestanding build
commite381fbd7ddd6ce280d68f0dc537a25cc3de10eb0 authorNiklas Larsson <niklas@mm.st> dateMon 28 Dec 2015, 03:36 (11 years ago) parent6b74ec6
1 file changed+2
compare with master
unifiedsplit
src/Util/System.hs+2
src/Util/System.hs+2
@@ -24,6 +24,8 @@ import System.IO.Error
2424
2525#ifdef FREESTANDING
2626import Tools_idris
27+import System.FilePath (isAbsolute, dropFileName)
28+import System.Directory (doesDirectoryExist)
2729import System.Environment (getEnv, setEnv, getExecutablePath)
2830#endif
2931