f# - FStar 和 mono 的编译问题

我正在尝试在最新的 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 语言？

最佳答案

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

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

关于f# - FStar 和 mono 的编译问题，我们在Stack Overflow上找到一个类似的问题：https://stackoverflow.com/questions/25256369/