Compiling with FStar and mono
I am trying to compile the FStar language on the latest Ubuntu and mono. The GitHub repo provides some building instructions, but it doesn't work for me. After
sudo apt-get install mono-complete fsharp
mozroots --import --sync
source setenv.sh
make -C src
I am getting the error:
make: *** No rule to make target `../bin/jsbackend.dll', needed by `../bin/fstar.exe'. Stop.
make: Leaving directory `/home/alex/FStar/src'
Full access to the magazine is here .
How can I build the FStar language to mono?
+3
source to share
1 answer
Someone created a bug report and it is now built on Ubuntu out of the box.
Even if it is not specified in the INSTALL instructions, you must also install Z3 from http://z3.codeplex.com/releases/view/101911 .
+2
source to share