Сначала я делаю процесс обновления/обновления cabal, поэтому у меня есть cabal-install-1.20.0.3. Тогда я:Ошибка установки idris cabal. «Следующие пакеты, вероятно, будут разбиты переустановками»
cabal install idris
я получаю:
...
idris-0.9.14.1 (new version)
The following packages are likely to be broken by the reinstalls:
network-2.5.0.0
HTTP-4000.2.17
Use --force-reinstalls if you want to install anyway.
(Я бегу OS X 10.9.4, если это имеет значение)
Вы пытались установить idris в песочницу? Помимо этого вы находитесь в обычном кабале-адском беспорядке - если все остальное не удается, вы можете сбросить (что означает delete ~/.cabal и, возможно, пакеты под/local/usr/haskell или все, что они есть на MacOS) и начать с нуля – Carsten
btw: вот хорошая статья, объясняющая, как скомпилировать idris из источника с помощью песочницы: https://github.com/idris-lang/Idris-dev/wiki/Installing-an-Idris-Development-version-in-a -sandbox – Carsten
Я просто протестировал его, и он отлично работает (используя платформу 2014 haskell plattform на Linux Mint с установленными только некоторыми необходимыми пакетами, такими как ghc-mod, - в основном те, которые вам нужны для поддержки Sublime-haskell/emacs - все, что я делаю в песочницы). ПРИМЕЧАНИЕ: если вы получите сообщение об ошибке ** ltinfo **, найдите lib32-ncurses-dev или что-то подобное в ваших системах, выполните pacakges и установите его (я надеюсь, что вы можете найти его в homebrew или что-то подобное тоже) – Carsten