У меня возникла проблема с установкой agda на моем mac. Я принимаю мои инструкции здесь:Установка Agda на Mac OS X Mavericks
http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.MacOSX
Я был в состоянии получить платформу Haskell установлен и когда я бегу Кабал обновления работает. Когда я бегу:
cabal install agda
он изначально установлен, и теперь он предлагает мне возможность повторной установки, поэтому я считаю, что это правильно. Проблема возникает, когда я запустить последнюю команду,
$ agda-mode setup
Он выводит
-bash: agda-mode: command not found
Я также попытался установить на моем виртуальном поле, потому что окна установки кажется намного проще, но когда я пытаюсь запустить в .msi-файлах я получаю сообщение об ошибке «этот файл несовместим с вашим процессором». Я разрешил виртуальным окнам использовать до 8 процессоров (максимум), чтобы не казаться, что это будет вариант. Любая помощь будет принята с благодарностью.
У вас есть каталог бинарной установки Cabal по умолчанию в вашем PATH? Я думаю, что это либо '~/.cabal/bin', либо' ~/Library/Haskell/bin'. – kosmikus
Да - я добавил экспорт PATH = "$ HOME/Library/Haskell/bin: $ PATH" в мой .profile – Joe
Вы искали исполняемый файл, чтобы убедиться, что он находится в вашем PATH? Я видел только ~ ~/.cabal/bin', поэтому убедитесь, что он там не живет. – crockeea