Идрис не правильно устанавливает / находит пакеты

Question

В настоящее время я пытаюсь использовать Blodwen, прототип Idris 2, в качестве бэкэнда для языка, который я пишу. Поэтому я пытаюсь импортировать пакет ttimp для моего проекта.

Я захожу в каталог Blodwen и делаю idris --install ttimp.ipkg

Тогда в .ipkg моего проекта:

opts = "--cg-opt -O2 -i ~/GitHub/Blodwen/"

pkgs = ttimp

Однако, когда я запускаю idris --build myproject.ipkg, я получаю ошибку

Entering directory `./src'
The following packages were specified but cannot be found:
- ttimp

Если я удаляю ttimp из pkgs, то получаю Can't find import Core/Binary , т.е. он не может найти модули из пакета.

Если я попытаюсь собрать ttimp с TARGET=~/.idris-libs

 idris --install ttimp.ipkg 
Entering directory `./src'
 Can't find import Builtins
 Can't find import Prelude
 Can't find import Data/List

Мой вопрос : Как я могу убедиться в правильности установки ttimp? Где Idris устанавливает пакеты по умолчанию? Почему Идрис не находит библиотеку после ее установки?

Answer 1

Я не уверен, какова ваша текущая цель, но когда вы устанавливаете blodwen, он использует idris для a) установки ttimp и компиляции blodwen, который впоследствии будет доступен как исполняемый файл blodwen. Поэтому, если вы хотите работать с blodwen, вам также следует использовать blodwen для компиляции ваших файлов и установки дополнительных библиотек.