In case that you want to compile ProB from Source on Windows, here are some information about the setup:
Required:
To start the build process run ant from within the buildscript folder of ProB. Here is the output of the env command on a working installation
HOMEPATH=\Dokumente und Einstellungen\hudson MANPATH=/usr/local/man:/usr/share/man:/usr/man: APPDATA=C:\Dokumente und Einstellungen\hudson\Anwendungsdaten HOSTNAME=TERRA TERM=cygwin PROCESSOR_IDENTIFIER=x86 Family 6 Model 30 Stepping 5, GenuineIntel WINDIR=C:\WINDOWS VS80COMNTOOLS=C:\Programme\Microsoft Visual Studio 8\Common7\Tools\ OLDPWD=/usr/bin USERDOMAIN=TERRA OS=Windows_NT ALLUSERSPROFILE=C:\Dokumente und Einstellungen\All Users ANT_HOME=c:\ant USER=hudson COMMONPROGRAMFILES=C:\Programme\Gemeinsame Dateien LIB=C:\Programme\Microsoft Visual Studio 8\VC\lib;C:\Programme\Microsoft Visual Studio 8\SDK\v2.0\Lib;C:\Programme\Microsoft Visual Studio 8\VC\PlatformSDK\Lib USERNAME=hudson PROCESSOR_LEVEL=6 PATH=/usr/local/bin:/usr/bin:/bin:/cygdrive/c/Tcl/bin:/cygdrive/c/WINDOWS/system32:/cygdrive/c/WINDOWS:/cygdrive/c/WINDOWS/System32/Wbem:/cygdrive/c/ant/bin:"C:/Programme/SICStus Prolog 4.1.3/bin":/cygdrive/c/Programme/Microsoft Visual Studio 8/SDK/v2.0/Bin:/cygdrive/c/WINDOWS/Microsoft.NET/Framework/v2.0.50727:/cygdrive/c/Programme/Microsoft Visual Studio 8/VC/bin:/cygdrive/c/Programme/Microsoft Visual Studio 8/Common7/IDE:/cygdrive/c/Programme/Microsoft Visual Studio 8/VC/vcpackages FP_NO_HOST_CHECK=NO PWD=/home/hudson SYSTEMDRIVE=C: JAVA_HOME=C:\Programme\Java\jdk1.6.0_23 LANG=C.UTF-8 USERPROFILE=C:\Dokumente und Einstellungen\hudson CLIENTNAME=Console PS1=\[\e]0;\w\a\]\n\[\e[32m\]\u@\h \[\e[33m\]\w\[\e[0m\]\n\$ LOGONSERVER=\\TERRA PROCESSOR_ARCHITECTURE=x86 !C:=C:\cygwin\bin SHLVL=1 HOME=/home/hudson PATHEXT=.COM;.EXE;.BAT;.CMD;.VBS;.VBE;.JS;.JSE;.WSF;.WSH;.tcl HOMEDRIVE=C: PROMPT=$P$G COMSPEC=C:\WINDOWS\system32\cmd.exe SYSTEMROOT=C:\WINDOWS PRINTER= CVS_RSH=/bin/ssh PROCESSOR_REVISION=1e05 CL=/FIC:\cygwin\home\hudson\prob\VC8_redist_x86\targetsxs.h INFOPATH=/usr/local/info:/usr/share/info:/usr/info: PROGRAMFILES=C:\Programme NUMBER_OF_PROCESSORS=4 INCLUDE=C:\Programme\Microsoft Visual Studio 8\VC\include;C:\Programme\Microsoft Visual Studio 8\SDK\v2.0\include SESSIONNAME=Console COMPUTERNAME=TERRA _=/usr/bin/env