Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- $ idris --install ncurses.ipkg
- Entering directory `./src'
- /Applications/Xcode.app/Contents/Developer/usr/bin/make -C Ncurses
- make[1]: `ncurses_extra.o' is up to date.
- Leaving directory `./src'
- Entering directory `./src'
- Installing ncurses_extra.o to /usr/local/Cellar/idris/1.0/share/x86_64-osx-ghc-8.0.2/idris-1.0/libs/ncurses/
- Uncaught error: ncurses_extra.o: copyFile:atomicCopyFileContents:withReplacementFile:copyFileToHandle:openBinaryFile: does not exist (No such file or directory)
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement