FStar和mono的编译问题

Question

我正在尝试在最新的Ubuntu和mono上编译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'

完整日志可用here。

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

Answer 1

有人创建了一个bug报告，现在它是基于Ubuntu构建的。

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