Commit 1c864a78 authored by Akim Demaille's avatar Akim Demaille
Browse files

CI: be sure to installcheck too

I recently broke the install `vcsn`, as a result, (almost) nothing
works properly.  I didn't notice, because `make check` works, and we
run only it.

So try one installcheck for each arch, and speed/debug.
parent afa0cc95
......@@ -13,7 +13,8 @@
- cd build
- ../configure CPPFLAGS="$CPPFLAGS" CC="$CC" CXX="$CXX" CXXFLAGS="$CXXFLAGS"
- make
- make check
- if [[ $CHECK == "installcheck" ]]; then make install; fi
- make $CHECK
- ccache -s
artifacts:
when: always
......@@ -30,6 +31,7 @@ archlinux:gcc:speed:
CC: gcc
CXX: g++
CXXFLAGS: -O3
CHECK: check
archlinux:clang:debug:
<<: *vcsn_template
......@@ -37,6 +39,7 @@ archlinux:clang:debug:
variables:
CC: clang
CXX: clang++
CHECK: installcheck
debian:gcc:debug:
<<: *vcsn_template
......@@ -44,6 +47,7 @@ debian:gcc:debug:
variables:
CC: gcc
CXX: g++
CHECK: check
debian:clang:speed:
<<: *vcsn_template
......@@ -53,3 +57,4 @@ debian:clang:speed:
CC: clang
CXX: clang++
CXXFLAGS: -O3
CHECK: installcheck
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment