我正在尝试在最新的 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 上。
即使安装说明中没有提到,也有必要从 http://z3.codeplex.com/releases/view/101911 设置 Z3 .
关于f# - FStar 和单声道的编译问题,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/25256369/