please circle, go hide in that little bush and ..

[simgrid.git] / circle.yml

diff --git a/circle.yml b/circle.yml
deleted file mode 100644 (file)
index 1a865ab..0000000
--- a/circle.yml
+++ /dev/null
@@ -1,21 +0,0 @@
-# This is the configuration file for the https://circleci.com/ continuous integration server
-#
-# Copyright (c) 2017-2018. 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.
-
-machine:
-  python:
-      version: 3.6.0
-
-dependencies:
-  pre:
-    - sudo apt-get update; sudo apt-get install cmake valgrind default-jdk gfortran libboost-dev libboost-all-dev
-
-test:
-  pre:
-    - 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 && ctest -j4 --output-on-failure