Add also Ubuntu focal to the gcc-8 arch list

This commit is contained in:
Gianfranco Costamagna 2019-11-02 09:42:08 +01:00
parent eb5ffd1130
commit 49810f80e1

2
debian/rules vendored
View File

@ -76,7 +76,7 @@ ifeq ($(shell dpkg --compare-versions $(shell dpkg-query -W -f '$${Version}' lib
Z3_FLAG = -DLLVM_ENABLE_Z3_SOLVER=ON
endif
FORCE_NOT_GCC_9_DISTRO := eoan bullseye sid
FORCE_NOT_GCC_9_DISTRO := eoan focal bullseye sid
ifneq (,$(filter $(DISTRO),$(FORCE_NOT_GCC_9_DISTRO)))
# Force gcc before 9 (gcc 8 on Debian unstable) because it causes
# huge increase of the size of the .deb (because of .a and .so) and issues in the libs