Skip to content

Compiling evee

Jump to bottom
maphih edited this page Sep 5, 2025 · 1 revision

Compiling evee on Windows

  1. Clone evee from https://github.com/de-tu-dresden-inf-lat/evee/tree/main as shown on Figure: Clone evee on Windows

    % git clone https://github.com/de-tu-dresden-inf-lat/evee --recurse-submodules
evee-windows-download
Figure: Clone evee on Windows
  1. Install and select Java version 8 if there are multiple java versions as shown on Figure: Install Java and Maven on Windows.
evee-java-version8-windows
Figure: Install Java and Maven on Windows
  1. Install Maven if not available, by downloading Maven binary zip archive from https://maven.apache.org/download.cgi. Unzip the file and add bin folder to PATH as shown on Figure: Set Maven PATH on Windows.
evee-mvn-windows
Figure: Set Maven PATH on evee-testing-windows-vm

  1. Build evee with Maven on evee-testing-windows-vm using command prompt as shown on Figure: Build evee Windows

    % mvn clean install
evee-windows
Figure: Build evee on Windows
  1. Attention: If there is an error in compiling evee as shown on Figure: Build evee lethe library Error, it may be caused by the already installed dependency is used instead of the provided one in "lib". To solve this, go to local maven directory "C:\Users\[username]\.m2\repository\de\tu-dresden\inf\lat" as shown on Figure: Lethe maven library and manually delete all folders with "lethe" in their names and then re-build evee or use the following maven command.
   % mvn dependency:purge-local-repository -DreResolve=false -DactTransitively=false
evee-user-study-compile-error
Figure: Build evee lethe library Error
evee-user-study-maven-lib
Figure: Lethe maven library

Compiling evee on Ubuntu

  1. Clone evee from https://github.com/de-tu-dresden-inf-lat/evee/tree/main as shown on Figure: Clone evee on Ubuntu

    % git clone https://github.com/de-tu-dresden-inf-lat/evee --recurse-submodules
% git submodule update
evee-download
Figure: Clone evee on Ubuntu
  1. Install and select Java version 8 if there are multiple java versions.
% sudo apt-get install openjdk-8-jdk
% sudo update-alternatives --config java

  1. Install Maven if not available

    % sudo apt install maven

  2. Build evee with Maven

    % mvn clean install

  3. Attention: If there is an error in compiling evee as shown on Figure: Build evee Error on Ubuntu, it may be caused by Java version is not 8. See step 3.

evee-build-error
Figure: Build evee Error on Ubuntu

  1. Attention: If there is an error in compiling evee as shown on Figure: Build evee pom file Error on Ubuntu, it may be caused by error in "main" branch pom file. The correct version is available on the "development" branch with the file "evee-protege/evee-protege-counterexample-small-model/pom.xml". To solve this, at the moment git pull from "development" branch.

    % git pull origin development
evee-build-error-pom
Figure: Build evee pom file Error on Ubuntu
  1. Attention: If there is an error in compiling evee as shown on Figure: Build evee lethe library Error, it may be caused by the already installed dependency is used instead of the provided one in "lib". To solve this, go to local maven directory ".m2/repository/de/tu-dresden/inf/lat" and delete all folders with "lethe" in their names and then re-build evee.
evee-user-study-compile-error
Figure: Build evee lethe library Error
  1. Successfull build of evee with Maven is shown on Figure: successful build.
evee
Figure: successful build

Note: Old local installations of "capi" and "lethe-*" might case a problem while compiling. In this case please delete them from you local Maven repository

Clone this wiki locally