用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

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

即使INSTALL指令中没有提及，也需要从http://z3.codeplex.com/releases/view/101911设置Z3。