Skip to content

Instantly share code, notes, and snippets.

@reinh

reinh/gist:fb54d372e8405482571e5a1af8b3ee76

Created April 24, 2017 01:37
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save reinh/fb54d372e8405482571e5a1af8b3ee76 to your computer and use it in GitHub Desktop.
Save reinh/fb54d372e8405482571e5a1af8b3ee76 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
gistfile1.txt
$ 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)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment