Skip to content

Instantly share code, notes, and snippets.

@haf

haf/gist:6686fd059b5929abb6e3

Created May 1, 2014 07:39
Show Gist options
  • Save haf/6686fd059b5929abb6e3 to your computer and use it in GitHub Desktop.
Save haf/6686fd059b5929abb6e3 to your computer and use it in GitHub Desktop.
Download ZIP
Building F*
Raw
gistfile1.txt
1. Download cygwin
2. Install cygwin with make, git
3. git clone https://github.com/nikswamy/FStar.git
4. Download F# PowerPack (old) v4.0 from https://fsharppowerpack.codeplex.com/downloads/get/625448, unzip in C:\tools\fs-powerpack-4.0.0
5. Put 'C:\Program Files (x86)\Microsoft SDKs\F#\3.0\Framework\v4.0\;C:\tools\fs-powerpack-4.0.0;' in your PATH env var.
6. in cygwin do:
7. cd FStar
7. source setenv.sh
8. cd src
9. make test
10. you now have the compiler fstar.exe in ../bin
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment