Setting up MSR's F* Compiler on Windows, for use under Cygwin.
- Download the F* distribution from this page: http://research.microsoft.com/en-us/projects/fstar/
- Install F# (whichever version is appropriate) (I installed F#3.0, but suspect F* is built against 2.0)
- Install F# Powerpack version 2.0 (not the latest version, but this is required; also called FS Powerpack for F# 2.0) from: http://fsharppowerpack.codeplex.com/releases
- Install the F# 2.0 (VS 2010) redistributable runtime from: http://www.microsoft.com/en-us/download/details.aspx?id=13450
- Download the z3 distribution from: http://z3.codeplex.com/releases
- Install Cygwin, if not already done. Make sure make is installed.
- Unpack the F* and z3 distributions.
- Add the F# compiler, runtime, and F# Powerpack bin directories to your Cygwin PATH. I added the following to my .bashrc:
export PATH='C:\Program Files (x86)\Reference Assemblies\Microsoft\FSharp\3.0\Runtime\v4.0':$PATH
export PATH='C:\Program Files (x86)\Microsoft SDKs\F#\3.0\Framework\v4.0':$PATH
export PATH='C:\Program Files (x86)\FSharpPowerPack-2.0.0.0\bin':$PATH
- Add the z3 bin directory to your Cygwin PATH
- Follow the directions in the F* distribution's INSTALL.txt