Skip to content

Commit

Permalink
ci: building Verrou in backend adaptater
Browse files Browse the repository at this point in the history
  • Loading branch information
a-hamitouche committed Mar 1, 2024
1 parent 4d3daec commit 2e9bba0
Showing 1 changed file with 12 additions and 3 deletions.
15 changes: 12 additions & 3 deletions .github/workflows/ci.yml
Original file line number Diff line number Diff line change
Expand Up @@ -28,13 +28,22 @@ jobs:
run: |
cd pene_files
git clone https://github.com/aneoconsulting/PENE.git
- name: Rubnning cmake
- name: Clone Verrou
run: |
cd verrou_files
mkdir verrou_repo
cd verrou_repo
git clone --branch=VALGRIND_3_22_0 --single-branch git://sourceware.org/git/valgrind.git valgrind-3.22.0+verrou-dev
cd valgrind-3.22.0+verrou-dev
git clone https://github.com/edf-hpc/verrou.git verrou
patch -p1 <verrou/valgrind.diff
- name: Running cmake
run: |
ls ${{github.workspace}}
mkdir build
cd build
cmake .. -DBUILD_FOR_PENE=ON
cmake .. -DBUILD_FOR_PENE=ON -DBUILD_FOR_VERROU=ON
- name: Build Solution (Linux)
run: |
cd build
make
cmake --build .

0 comments on commit 2e9bba0

Please sign in to comment.