Import IDR未正确安装/查找程序包

我目前正在尝试使用IDRIS2的原型Blodwen作为我正在编写的语言的后端。所以我正试图为我的项目导入它的

ttimp

包

我进入Blodwen目录并执行

idris——安装ttimp.ipkg

在我的项目的.ipkg中，我有：

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

pkgs = ttimp

但是，当我运行idris--buildmyproject.ipkg时，我得到了一个错误

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

如果我从

pkgs

中删除

ttimp

，那么我得到的

无法找到导入核心/二进制文件

即无法从软件包中找到模块

如果我尝试使用

TARGET=~/.idris libs构建
ttimp

 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在我安装了库之后找不到它？
我不确定您当前的目标是什么，但是当您安装blodwen时，它使用Idris来a）安装ttimp并编译blodwen，之后可以作为可执行文件
blodwen
使用。因此，如果您想使用blodwen，还应该使用blodwen来编译文件并安装其他库。
我正在尝试将blodwen用作库。我可以很好地构建它，但我希望能够从Idris1项目导入它并以编程方式调用编译器，而不是生成文本文件并在命令行上传递它们。