Tool Configuration

• • Run VariaMos from a command line with a custom Java (Same steps every time):
    1. Define variables for the command line instance or create a .bat file (including both scripts), please modify the path of the three variables with the java installation path  (either jre or jdk are supported):

       set CLASSPATH=.;C:\Program Files\swipl\lib\jpl.jar;C:\Program Files\swipl\lib;%CLASSPATH%
       set JAVA_HOME=C:\Program Files\Java\jdk1.8.0_05
       set JRE_HOME=C:\Program Files\Java\jdk1.8.0_05
       set Path=C:\Program Files\swipl\lib\jpl.jar;C:\Program Files\swipl\bin;C:\Program Files\Java\jdk1.8.0_05\bin;%Path%
       

    2. Run VariaMos from the same command line window:

       
       java -jar variamos-Last.jar
       

1.  Verify if the folder exists. If it exists, skip the preconfiguration steps:

   ls /usr/local/lib/

2. Execute the following steps with a root user (“sudo su” or “su -“):

mkdir /usr/local/
mkdir /usr/local/lib/
export PATH=$PATH:/usr/local/lib/

1. 1. The following libraries must be copied* to the usr local lib (For the first time):

      sudo cp /Applications/SWI-Prolog.app/Contents/swipl/lib/x86_64-darwin14.3.0/* /usr/local/lib/

      * To modify system libraries in newer versions of OSX you may require to restart the system in recovery mode and disable the System Integrity Protection (i.e. run “csrutil disable”).

   2. To run VariaMos, assuming it was saved on “user”/Downloads/, open a new terminal and paste the following commands (Same steps are required every time you run the tool):

      cd
      cd Downloads/
      export SWI_HOME_DIR=/Applications/SWI-Prolog.app/Contents/swipl
      export PATH=$PATH:$SWI_HOME_DIR/lib/:$SWI_HOME_DIR/lib/jpl.jar
      export CLASSPATH=$SWI_HOME_DIR/lib/:$SWI_HOME_DIR/lib/jpl.jar
      java -Djava.library.path=$SWI_HOME_DIR:$SWI_HOME_DIR/lib/x86_64-darwin14.3.0/ -jar variamos-1.0.1.19.jar
      

Linux Debian: Prerequisite installation and variable configuration  (tested on Ubuntu 14.04 LTS 01/16 in VariaMos 1.0.1.18+, no longer working with VariaMos 1.0.1.17 or older)

• Starting from  1.0 Beta 3, VariaMos verifies the solver configuration (i.e. compatible solver installed and variables configured) and notifies if an error is found (i.e. it is not possible to execute a solver query). This verification is executed when the application starts.
• If you obtain an error like the following trying to run VariaMos, it is possible you do not have the appropriate java installed (i.e. your java version is too old) or the path is not configured to use the correct java version.

  java.lang.UnsupportedClassVersionError: XXXX :
   Unsupported major.minor version XX.X
      at java.lang.ClassLoader.defineClass1(Native Method)
      at java.lang.ClassLoader.defineClassCond(Unknown Source)

• To use VariaMos with a non-default Java version you can either follow the mentioned steps for Windows or:
  •  Start VariaMos from the bin folder of the correct Java installation using the full path.
  • Modify the path for the current console instance (using set Path=… or export PATH=…). Finally, execute VariaMos from the console.
  • Example:

    C:
    cd C:\Program Files\Java\jre8\bin
    java -jar c:/Users/<<myself>>/Downloads/variamos-1.0.1.19.jar