A
lgorithmique
N
umérique
D
istribuée
Public GIT Repository
projects
/
simgrid.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Remove the stateful model-checking from the archive. It's not working anymore
[simgrid.git]
/
.github
/
workflows
/
git.yml
diff --git
a/.github/workflows/git.yml
b/.github/workflows/git.yml
index
39d03c2
..
eb6bc03
100644
(file)
--- a/
.github/workflows/git.yml
+++ b/
.github/workflows/git.yml
@@
-39,8
+39,8
@@
jobs:
mkdir build ; cd build
cmake -GNinja -Denable_debug=ON -Denable_documentation=OFF -Denable_coverage=OFF \
-Denable_compile_optimizations=ON -Denable_compile_warnings=ON \
mkdir build ; cd build
cmake -GNinja -Denable_debug=ON -Denable_documentation=OFF -Denable_coverage=OFF \
-Denable_compile_optimizations=ON -Denable_compile_warnings=ON \
- -Denable_model-checking=OFF -Denable_
smpi_MBI_testsuite
=OFF \
- -Denable_smpi=ON -Denable_
smpi_MPICH3_testsuite
=ON \
+ -Denable_model-checking=OFF -Denable_
testsuite_smpi_MBI
=OFF \
+ -Denable_smpi=ON -Denable_
testsuite_smpi_MPICH3
=ON \
-DCMAKE_DISABLE_SOURCE_CHANGES=ON -DLTO_EXTRA_FLAG="auto" ..
ninja tests
ctest --output-on-failure -j$(nproc)
-DCMAKE_DISABLE_SOURCE_CHANGES=ON -DLTO_EXTRA_FLAG="auto" ..
ninja tests
ctest --output-on-failure -j$(nproc)
@@
-72,13
+72,12
@@
jobs:
- name: build
run: |
- name: build
run: |
- sudo apt-get update && sudo apt-get install ninja-build libboost-dev libboost-context-dev pybind11-dev
- sudo apt-get install libunwind-dev libdw-dev libelf-dev libevent-dev
+ sudo apt-get update && sudo apt-get install ninja-build libboost-dev libboost-context-dev pybind11-dev libevent-dev
mkdir build ; cd build
cmake -GNinja -Denable_debug=ON -Denable_documentation=OFF -Denable_coverage=OFF \
-Denable_compile_optimizations=ON -Denable_compile_warnings=ON \
mkdir build ; cd build
cmake -GNinja -Denable_debug=ON -Denable_documentation=OFF -Denable_coverage=OFF \
-Denable_compile_optimizations=ON -Denable_compile_warnings=ON \
- -Denable_model-checking=ON -Denable_
smpi_MBI_testsuite
=OFF \
- -Denable_smpi=ON -Denable_
smpi_MPICH3_testsuite
=OFF \
+ -Denable_model-checking=ON -Denable_
testsuite_smpi_MBI
=OFF \
+ -Denable_smpi=ON -Denable_
testsuite_smpi_MPICH3
=OFF \
-Denable_ns3=OFF \
-DCMAKE_DISABLE_SOURCE_CHANGES=ON -DLTO_EXTRA_FLAG="auto" ..
ninja tests
-Denable_ns3=OFF \
-DCMAKE_DISABLE_SOURCE_CHANGES=ON -DLTO_EXTRA_FLAG="auto" ..
ninja tests