Skip to content

Checkout and Build Overture

Prasad Talasila edited this page Jun 17, 2020 · 5 revisions

Checking Out

Clone the main Overture repository (overture):

git clone https://github.com/overturetool/overture.git <target directory>

The development branch should already be checked out after you clone. In case it isn't, you can switch to it with:

git checkout development

Finally, initialize all submodules:

git submodule update --init

Building the Tool

The build system used is Maven and requires version 3.x.

To build the core binaries, type the following command from the project root:

mvn install

To build the IDE binaries, type:

mvn install -PWith-IDE

or

cd ide
mvn install

After the build process runs, you can find the executables in ide/product/target/products/.

By default, Maven will only build the binaries for whatever platform you are currently on (Windows, Linux or MacOS). If you want to build the binaries for all three platforms, use the following command:

mvn install -PWith-IDE -Pall-platforms

Build without tests and docs

Overture is built using Java 7. Technically, you can build with Java 8 but this will cause test failures when building the Combinatorial Testing module. As long as you are aware of what you're doing, you can skip tests and Overture will install successfully.

mvn -Dmaven.javadoc.skip=true -Dmaven.test.skip=true install 
mvn -Dmaven.javadoc.skip=true -Dmaven.test.skip=true install -PWith-IDE