Скомпилируйте проблему с FStar и моно

Question

Я пытаюсь скомпилировать язык FStar на последних версиях Ubuntu и Mono. 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 на моно?

Answer 1

Кто-то создал отчет об ошибке, и теперь он работает на Ubuntu из коробки.

Даже если это не упомянуто в инструкциях по УСТАНОВКЕ, необходимо также настроить Z3 по http://z3.codeplex.com/releases/view/101911.