-
Notifications
You must be signed in to change notification settings - Fork 1
Evee Build Process
Evee uses maven as its primary build tool. The Java version used is Java 8.
When first cloning the project, use git clone https://github.com/de-tu-dresden-inf-lat/evee --recurse-submodules to clone the project and receive all its submodules. If the submodules have been updated, you can get the changes via the command git submodule update --remote.
To compile Evee, use mvn clean install from the command line.
To specify a build profile, use mvn clean install -P <profileName> from the command line (see the page Profiles for further information).
To compile Evee and run all available tests, use mvn clean install -D skipTests=false from the command line. The variable skipTests is defined in the pom.xml of the module 'evee' and inherited by all its sub-modules. The default value of this variable is false. The maven-surefire-plugin uses the value of this variable to determine whether tests should be run (note that tests are still compiled, even when skipTests is set to true).
Some sub-modules of Evee contain code written in Scala. To compile these files, the sbt-compiler-maven-plugin is used. This plugin is defined in the pom.xml of the respective modules and utilizes the goals compile (to enable compilation of main sources) and testCompile (to enable compilation of test sources). Currently, the sub-modules evee-data and evee-elimination-proofs are built using this plugin (see Project structure and dependencies ). Alternatively, these submodules contain a build.sbt file for compilation directly via sbt.
The page Evee parent pom.xml properties contains information on global properties.
The page Project structure and dependencies contains information on the project structure of Evee and dependencies not found on maven central.
The page Profiles contains information on the different maven build profiles for Evee.
The page Protégé release and Evee libs contains information on the sub-modules evee-libs and evee-protege-release.
The page Protégé plugins contains information on how the Protégé plugins of Evee are built, as well as some general information on how plugins work in Protégé.