User Tools

Site Tools


contrib:secondo_installation_manual_unibz

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revisionPrevious revision
Next revision
Previous revision
contrib:secondo_installation_manual_unibz [2007/01/11 15:01] rkasperovicscontrib:secondo_installation_manual_unibz [2019/01/16 10:03] (current) – external edit 127.0.0.1
Line 52: Line 52:
  
 You can synchronize your previously checked out local copy with the current repository using ''svn update'' command. You can synchronize your previously checked out local copy with the current repository using ''svn update'' command.
 +
 +**NEW:** Since 11.01.2007 the location of the repository has changed. If you have some work in your local copy from the old repository, do this:
 +
 +<code>
 +cd ~/workspace/secondo
 +svn switch --relocate svn+ssh://babbage.inf.unibz.it/var/lib/svn/dis/research/secondo https://babbage.inf.unibz.it/dis/secondo
 +</code>
  
 ==== Set Compilation and Operation Pathes ==== ==== Set Compilation and Operation Pathes ====
Line 62: Line 69:
 export BERKELEY_DB_LIB="db_cxx" export BERKELEY_DB_LIB="db_cxx"
 export BERKELEY_DB_DIR=/usr export BERKELEY_DB_DIR=/usr
-export J2SDK_ROOT=/usr/lib/jvm/java-1.5.0-sun-1.5.0.06+export J2SDK_ROOT=/usr/lib/jvm/java-1.5.0-sun
 export SWI_HOME_DIR=/usr/lib/swi-prolog export SWI_HOME_DIR=/usr/lib/swi-prolog
 export PL_LIB_DIR=$SWI_HOME_DIR/runtime/i386 export PL_LIB_DIR=$SWI_HOME_DIR/runtime/i386
Line 85: Line 92:
  
 <code> <code>
-sudo echo "JAVA_HOME=/usr/lib/jvm/java-1.5.0-sun-1.5.0.06" >> /etc/environment+sudo echo "JAVA_HOME=/usr/lib/jvm/java-1.5.0-sun" >> /etc/environment
 </code> </code>
  
/data/www/wiki.inf.unibz.it/data/attic/contrib/secondo_installation_manual_unibz.1168524112.txt.gz · Last modified: 2019/01/16 10:03 (external edit)