idris --install fails to find ncurses_extra.o
Opened this issue · 0 comments
reinh commented
$ 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)