diff options
author | Antenore Gatta <antenore@simbiosi.org> | 2020-07-29 01:30:06 +0300 |
---|---|---|
committer | Antenore Gatta <antenore@simbiosi.org> | 2020-07-29 01:30:06 +0300 |
commit | 89acc8254d1587d1ebdc7b6ba35a441bfe811fce (patch) | |
tree | d1c61c2d7acf0076156685750b43117c072ff6d0 | |
parent | 2b44d5229454496ffb1846b8701043d258229187 (diff) |
Workaround for buggy gdb on armhf/bionic
Signed-off-by: Antenore Gatta <antenore@simbiosi.org>
-rwxr-xr-x | debian/rules | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/debian/rules b/debian/rules index 857b92d..f97e2c6 100755 --- a/debian/rules +++ b/debian/rules @@ -12,6 +12,11 @@ WITH_NEON = -DWITH_NEON=OFF else WITH_NEON = endif +ifeq (,$(filter armhf,$(DEB_HOST_ARCH))) + BTYPE = -DCMAKE_BUILD_TYPE=DEBUG +else + BTYPE = -DCMAKE_BUILD_TYPE=RELWITHDEBINFO +endif DEB_HOST_ARCH_OS?=$(shell dpkg-architecture -qDEB_HOST_ARCH_OS) ifeq (,$(filter linux, $(DEB_HOST_ARCH_OS))) @@ -52,7 +57,7 @@ DEB_CMAKE_EXTRA_FLAGS := -DCMAKE_INSTALL_INCLUDEDIR=include/$(shell dpkg-archit $(LINUX_URBDRC_CLIENT) \ -DWITH_SERVER=ON \ -DBUILD_TESTING=OFF \ - -DCMAKE_BUILD_TYPE=RELWITHDEBINFO \ + $(BTYPE) \ $(WITH_WAYLAND) \ $(WITH_LIBSYSTEMD) \ -DWITH_CLIENT_INTERFACE=OFF \ @@ -62,11 +67,6 @@ DEB_CMAKE_EXTRA_FLAGS := -DCMAKE_INSTALL_INCLUDEDIR=include/$(shell dpkg-archit # Add FFmpeg and GSM support to Ubuntu DEB_CMAKE_EXTRA_FLAGS += -DWITH_FFMPEG=ON -DWITH_GSM=ON -# gcc on ubuntu 18.04 armhf is bugged when using -O2. Replace with -O1 -ifeq (,$(filter armhf,$(DEB_HOST_ARCH))) -DEB_CMAKE_EXTRA_FLAGS += -DCMAKE_C_FLAGS="-O1 -g" -endif - %: dh $@ |