|
|
| Line 1: |
Line 1: |
| [[Category:Developer Manual]]
| | Build instructions for Windows (and other systems) are now found in the ProB source distribution in the file doc/building.md. |
| In case that you want to compile ProB from Source on Windows (XP), here are some information about the setup:
| |
| | |
| Required:
| |
| # Sicstus (4.1.3)
| |
| # Visual Studio 2005
| |
| # TCL 8.5 (Activestate)
| |
| # Cygwin & svn
| |
| # ant
| |
| # 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.
| |
| | |
| Most important are PATH, LIB and INCLUDE. Note that this was a german version of Windows XP.
| |
| | |
| 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
| |