(Created page with 'In case that you want to compile ProB from Source on Windows, here are some information about the setup: Required: # Sicstus (4.1.3) # Visual Studio 2005 # Cygwin & svn') |
No edit summary |
||
| Line 2: | Line 2: | ||
Required: | Required: | ||
# Sicstus (4.1.3) | # Sicstus (4.1.3) | ||
# Visual Studio 2005 | # Visual Studio 2005 | ||
# Cygwin & svn | # Cygwin & svn | ||
# ant | |||
To start the uild 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 | |||
In case that you want to compile ProB from Source on Windows, here are some information about the setup:
Required:
To start the uild 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