git.iko.soy/Idris-dev
on master help sign in
Merge pull request #2877 from melted/fix-freestanding

Fix freestanding build

commit504f706bc5493d395c68a65ee2cbdf018dafe320 authorNiklas Larsson <metaniklas@gmail.com> dateMon 28 Dec 2015, 05:02 (11 years ago) parent6b74ec6e381fbd
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