Skip to content

Commit

Permalink
Adding wrench-init to the github workflow
Browse files Browse the repository at this point in the history
  • Loading branch information
henricasanova committed Nov 6, 2024
1 parent 96e2e41 commit 25995b0
Showing 1 changed file with 9 additions and 2 deletions.
11 changes: 9 additions & 2 deletions .github/workflows/build.yml
Original file line number Diff line number Diff line change
Expand Up @@ -68,12 +68,19 @@ jobs:
BRANCH_NAME=$(echo ${GITHUB_REF} | sed 's/refs\/heads\///g');
docker exec -w /home/wrench/wrench wrench git checkout ${BRANCH_NAME};
fi
# build wrench, including unit_tests and examples
docker exec wrench mkdir wrench/build;
# build and test wrench
docker exec -w /home/wrench/wrench/build wrench cmake -DENABLE_BATSCHED=${batsched} -DCMAKE_VERBOSE_MAKEFILE=ON ..;
docker exec -w /home/wrench/wrench/build wrench make all unit_tests examples wrench-daemon;
# run unit_tests
docker exec -w /home/wrench/wrench/build wrench ./unit_tests;
docker exec -w /home/wrench/wrench/build/examples wrench ./run_all_examples.sh wrench-example-batch-smpi-action;
# run examples
#docker exec -w /home/wrench/wrench/build/examples wrench ./run_all_examples.sh wrench-example-batch-smpi-action;
docker exec -w /home/wrench/wrench/build/examples wrench ./run_all_examples.sh
# run wrench-init
docker exec -w /home/wrench/wrench/build wrench python3 ./tools/wrench/wrench-init/wrench-init -a ACTION -d ./wrench-init-generated-simulator
docker exec -w /home/wrench/wrench/build/wrench-init-generated-simulator/build wrench cmake ..
docker exec -w /home/wrench/wrench/build/wrench-init-generated-simulator/build wrench make
- name: Documentation Build and Deployment
env:
Expand Down

0 comments on commit 25995b0

Please sign in to comment.