# This is the configuration file for the https://circleci.com/ continuous integration server
#
-# Copyright (C) 2017. The SimGrid team. All rights reserved.
+# Copyright (C) 2017. The SimGrid team. All rights reserved.
#
# This program is free software; you can redistribute it and/or modify it
# under the terms of the license (GNU LGPL) which comes with this package.
- mkdir _build
- pushd _build ; cmake -Denable_documentation=OFF -Denable_coverage=ON -Denable_java=ON -Denable_model-checking=OFF -Denable_lua=OFF -Denable_compile_optimizations=ON -Denable_smpi=ON -Denable_smpi_MPICH3_testsuite=OFF -Denable_compile_warnings=ON ..
override:
- - pushd _build ; make -j4
- - pushd _build ; ctest -j4 --output-on-failure
-
+ - pushd _build ; make -j4 && ctest -j4 --output-on-failure