1 # This is the configuration file for the https://circleci.com/ continuous integration server
3 # Copyright (c) 2017-2023. The SimGrid team. All rights reserved.
5 # This program is free software; you can redistribute it and/or modify it
6 # under the terms of the license (GNU LGPL) which comes with this package.
10 - image: simgrid/build-deps
19 name: Configure, build and test da stuff
21 mkdir _build && cd _build
22 cmake -Denable_documentation=OFF -Denable_coverage=OFF -Denable_model-checking=OFF -Denable_compile_optimizations=OFF -Denable_smpi=ON -Denable_smpi_MPICH3_testsuite=OFF -Denable_compile_warnings=ON ..
23 make -j4 tests && ctest -j4 --output-on-failure