Building ProB on Windows

Revision as of 14:50, 18 February 2011 by Jens Bendisposto (talk | contribs)

In case that you want to compile ProB from Source on Windows, here are some information about the setup:

Required:

  1. Sicstus (4.1.3)
  2. Visual Studio 2005
  3. TCL 8.5 (Activestate)
  4. Cygwin & svn
  5. ant
  6. jsch jar file copied into the c:\ant\lib folder

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