Когда я запускаю команду sudo cabal install idris
Я бегу в эту ошибку:Cabal здание failling при установке Идриса
Build log (/home/kyle/.cabal/logs/xss-sanitize-0.3.5.6.log):
cabal: /home/kyle/.cabal/logs/xss-sanitize-0.3.5.6.log: does not exist
Что я могу сделать, чтобы исправить это?
это важная часть:
<command line>: can't load .so/.DLL for:
libtinfo.so (libtinfo.so: cannot open shared object file:
No such file or directory)
Не уверен в моей голове, но факт, что вы используете sudo для установки вещей с помощью cabal, сам по себе сомнительный - я бы сбросил sudo. Во-вторых, тот факт, что процесс sudo все еще пытается записать журналы в каталог пользователя, также вызывает сомнение. –
Я согласен - попробуйте сделать это в песочнице (вам просто нужно добавить символическую ссылку на bin где-то на ваш путь) - если это не удастся убить ваши ~/.cabal и ~/.ghc (то же самое для глобального rep) и перезапустить ... честно: всегда используйте песочницы или переходите на стек - также см. [здесь] (https://github.com/idris-lang/Idris-dev/wiki/Installing-an-Idris-Development-version -in-a-sandbox) – Carsten
@Carsten Я попробовал песочницу, не работал, затем я нажил свой .cabal и .ghc, все еще не работал, и я получаю такую же ошибку, человек, которого я ненавижу, http://lpaste.net/144011 –