File tree 1 file changed +15
-5
lines changed
1 file changed +15
-5
lines changed Original file line number Diff line number Diff line change @@ -40,11 +40,21 @@ jobs:
40
40
- name : Setup
41
41
run : |
42
42
# Since dealii image doesn't include Node.js, we'll install it
43
+ sudo apt-get install -y software-properties-common
44
+ sudo add-apt-repository ppa:ginggs/deal.ii-9.5.1-backports
43
45
sudo apt-get update
44
- sudo apt-get install -y --no-install-recommends nodejs clang-12
45
-
46
- echo "Github actions is sane!"
47
- echo "Running build with deal.ii version ${{ matrix.dealii_version }} on branch ${GITHUB_REF#refs/heads/}"
46
+ sudo apt-get install -y --no-install-recommends nodejs \
47
+ clang-12 \
48
+ clang-tidy-12 \
49
+ numdiff \
50
+ libboost-all-dev \
51
+ libcgal-dev \
52
+ libp4est-dev \
53
+ trilinos-all-dev \
54
+ petsc-dev \
55
+ libmetis-dev \
56
+ libhdf5-mpi-dev \
57
+ deal.ii
48
58
49
59
# Checks-out Lethe with branch of triggering commit
50
60
- name : Checkout code
59
69
mkdir build-warnings
60
70
cd build-warnings
61
71
CC=clang CXX=clang++ cmake ../ -DCMAKE_BUILD_TYPE=Debug -DBUILD_PROTOTYPES=ON
62
- make -j${{ env.COMPILE_JOBS }}
72
+ cmake --build . -j${{ env.COMPILE_JOBS }}
You can’t perform that action at this time.
0 commit comments