Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
activates the ISP test for model-checking
[simgrid.git] / appveyor.yml
1 # This file is intended to automatize the testing of SimGrid on
2 # Windows using the appveyor.com continuous integration service
3
4 os: MinGW
5 version: "{build}"
6 clone_depth: 1
7
8 platform: 
9   - Win32 # This is Windows 32bits (don't activate since we dont compile properly anyway)
10 #  - x64   #┬áThis is Windows 64bits
11
12 environment:
13   BOOST_ROOT: c:\Libraries\boost
14   BOOST_LIBRARYDIR: c:\Libraries\boost\stage\lib
15     
16 build_script:
17 - '"C:\Program Files (x86)\Microsoft Visual Studio 12.0\Common7\Tools\VsDevCmd"'
18 - C:\MinGW\msys\1.0\bin\bash -lc "echo \"C:/MinGW /mingw\" > /etc/fstab"
19 - C:\MinGW\msys\1.0\bin\bash -lc "printenv"
20 - C:\MinGW\msys\1.0\bin\bash -lc "cd /c/projects/simgrid && cmake -G \"MSYS Makefiles\" -DBOOST_ROOT=\"%BOOST_ROOT%\" -DBOOST_LIBRARYDIR=\"%BOOST_LIBRARYDIR%\" -DBoost_USE_STATIC_LIBS=ON -Denable_debug=ON -Denable_documentation=OFF -Denable_coverage=OFF -Denable_tracing=ON -Denable_java=OFF -Denable_model-checking=OFF ."
21 - C:\MinGW\msys\1.0\bin\bash -lc "cd /c/projects/simgrid; echo XXX simgrid_config.h; cat include/simgrid_config.h"
22 - C:\MinGW\msys\1.0\bin\bash -lc "cd /c/projects/simgrid; echo XXX src/internal_config.h; cat src/internal_config.h"
23 #- C:\MinGW\msys\1.0\bin\bash -lc "cd /c/projects/simgrid; echo XXX Internal builtins; gcc -dM -E - < /dev/null"
24 - C:\MinGW\msys\1.0\bin\bash -lc "cd /c/projects/simgrid && make VERBOSE=1"
25
26 test_script:
27   cmd: ctest -VV
28
29 # notifications:
30 # - irc: "irc.debian.org#simgrid" # Not implemented by AppVeyor yet :(
31 # Some source of inspiration:
32 # https://github.com/dartsim/dart/blob/master/appveyor.yml
33 # https://github.com/osmcode/libosmium/blob/master/appveyor.yml
34 # https://github.com/polysquare/cmake-unit/blob/master/appveyor.yml
35 # https://github.com/openvswitch/ovs/blob/master/appveyor.yml