.circleci/config.yml

   1 # This is the configuration file for the https://circleci.com/ continuous integration server
   2 #
   3 # Copyright (c) 2017-2018. The SimGrid team. All rights reserved.
   4 #
   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.
   7
   8 default: &default
   9   docker:
  10     - image: simgrid/build
  11
  12 version: 2.0
  13 jobs:
  14   build:
  15     <<: *default
  16     steps:
  17       - checkout
  18       - run:
  19           name: Configure, build and test da stuff
  20           command: |
  21             mkdir _build
  22             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 ..
  23             pushd _build ; make -j4 && ctest -j4 --output-on-failure