settings.bat.example

call "C:\Program Files\Microsoft Visual Studio 9.0\VC\vcvarsall.bat" x86

set OCAMLLIB=C:\Ocaml\lib
set PATH=%PATH%;C:\Ocaml\bin

set GTKLIB=C:\gtk\lib
set PATH=C:\gtk\bin;%PATH%

set Z3=C:\Z3-1.3.6
set PATH=C:\Z3-1.3.6\bin;%PATH%

rem set Z3V2=C:\Z3-2.16
rem set PATH=C:\Z3-2.16\bin;%PATH%

set PATH=C:\flexdll-0.21;%PATH%

set PATH=C:\VeriFast\workdir\bin;%PATH%

rem The settings below are only needed for release builds.

set PATH=C:\svn-win32-1.5.5\bin;%PATH%

set PATH=C:\Program Files\7-Zip;%PATH%