IDRIS未正确安装/查找软件包

Question

我目前正在尝试将Idris 2的原型Blodwen用作我正在编写的语言的后端。因此，我正在尝试为我的项目导入其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在哪里安装软件包？安装之后，为什么Idris找不到图书馆？

Answer 1

我不确定您当前的目标是什么，但是当您安装blodwen时，它正在使用idris来a）安装ttimp并编译blodwen，此后可作为可执行文件blodwen使用。因此，如果要使用blodwen，还应该使用blodwen来编译文件并安装其他库。