Differences

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

--- contrib:secondo_installation_manual_unibz [2007/01/11 15:00] – chenges of svn repository and access methods rkasperovics
+++ contrib:secondo_installation_manual_unibz [2019/01/16 10:03] (current) – external edit 127.0.0.1
@@ Line 31: / Line 31: @@
 ==== Download from SVN ====
-There are different ways how you can download anything from an SVN repository. I prefer graphical environments and Eclipse plugin "Subclipse" is the best I have found for Linux. However, the use a command-line tool ''svn'' probably is more common. For this purpose you might wish to assign a path to secondo SVN repository to an environment variable. This could be done in the following way:
+There are different ways how you can download anything from an SVN repository. I prefer graphical environments and Eclipse plugin "Subclipse" is the best I have found for Linux. However, the use a command-line tool ''svn'' probably is more common. For this purpose you might wish to assign a path to Secondo SVN repository to an environment variable. This could be done in the following way:
 <code>
@@ Line 52: / Line 52: @@
 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 ====
@@ Line 62: / Line 69: @@
 export BERKELEY_DB_LIB="db_cxx"
 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 PL_LIB_DIR=$SWI_HOME_DIR/runtime/i386
@@ Line 85: / Line 92: @@
 <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>