Differences

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

Link to this comparison view

installation:workspace [2014/11/24 17:11]
admin created
installation:workspace [2014/11/24 17:21] (current)
admin
Line 1: Line 1:
 ====== Workspace setup ====== ====== Workspace setup ======
-It is recommended to add the following to your ~/.plrc file to get a global command history for the Prolog shell:+ 
 +A few environment variables need to be set in order to run KnowRob. If you use Java code (which several KnowRob packages do), you may need to set the JAVA_HOME and SWI_HOME_DIR environment variables, e.g. by adding these lines to your ~/.bashrc file: 
 +  export JAVA_HOME=/​usr/​lib/​jvm/​default-java 
 +  export SWI_HOME_DIR=/​usr/​lib/​swi-prolog 
 + 
 +You further need to add the Java directories to your LD_LIBRARY_PATH environment variable. Choose either of the following dependent on your system architecture:​ 
 +<code bash> 
 +# for amd_64 systems (64 bits): 
 +export LD_LIBRARY_PATH=/​usr/​lib/​jvm/​default-java/​jre/​lib/​amd64:/​usr/​lib/​jvm/​default-java/​jre/​lib/​amd64/​server:​$LD_LIBRARY_PATH 
 + 
 +# for i386 systems (32bits): 
 +export LD_LIBRARY_PATH=/​usr/​lib/​jvm/​default-java/​jre/​lib/​i386:/​usr/​lib/​jvm/​default-java/​jre/​lib/​i386/​server:​$LD_LIBRARY_PATH 
 + 
 +</​code>​ 
 + 
 + 
 +It is further ​recommended to add the following to your ~/.plrc file (create it if it does not exist). This will give you a global command history for the Prolog shell, which is very convenient when you have to repeatedly restart Prolog during testing and debugging.
  
 <code prolog> <code prolog>
Line 16: Line 32:
       true       true
      ).      ).
-</​code>​ 
- 
-If you use Java code (which several KnowRob packages do), you may need to set the JAVA_HOME and SWI_HOME_DIR environment variables, e.g. by adding these lines to your ~/.bashrc file: 
-  export JAVA_HOME=/​usr/​lib/​jvm/​default-java 
-  export SWI_HOME_DIR=/​usr/​lib/​swi-prolog 
- 
-You further need to add the Java directories to your LD_LIBRARY_PATH environment variable. Choose either of the following dependent on your system architecture:​ 
-<code bash> 
-# for amd_64 systems (64 bits): 
-export LD_LIBRARY_PATH=/​usr/​lib/​jvm/​default-java/​jre/​lib/​amd64:/​usr/​lib/​jvm/​default-java/​jre/​lib/​amd64/​server:​$LD_LIBRARY_PATH 
- 
-# for i386 systems (32bits): 
-export LD_LIBRARY_PATH=/​usr/​lib/​jvm/​default-java/​jre/​lib/​i386:/​usr/​lib/​jvm/​default-java/​jre/​lib/​i386/​server:​$LD_LIBRARY_PATH 
- 
- 
 </​code>​ </​code>​