f# - FStar 和 mono 的编译问题

Question

我正在尝试在最新的 Ubuntu 和单声道上编译 FStar 语言。GitHub repo提供了一些构建指令，但它对我不起作用。后

sudo apt-get install mono-complete fsharp
mozroots --import --sync
source setenv.sh 
make -C src

我收到此错误消息：

make: *** No rule to make target `../bin/jsbackend.dll', needed by `../bin/fstar.exe'.  Stop.
make: Leaving directory `/home/alex/FStar/src'

完整日志可在此处获取。

如何在单声道上构建 FStar 语言？

score 2 · Accepted Answer

有人创建了一个错误报告，现在它在 Ubuntu 上开箱即用。

即使安装说明中没有提到，也需要从http://z3.codeplex.com/releases/view/101911设置 Z3 。

1 回答 1