travis: speed up build process of automatalib
@@ -11,7 +11,8 @@ branches:
before_install:
- git clone -b develop --single-branch https://github.com/LearnLib/automatalib.git /tmp/automatalib-develop
- pushd /tmp/automatalib-develop
- - mvn clean install
+ # skip several aspects of the build process, because we are only interested in the compiled code
+ - mvn clean install -Dmaven.test.skip=true -Dmaven.javadoc.skip=true -Dcheckstyle.skip=true
- popd
install: true # skip mvn install, because we essentially run the same command in the script routine
script:
