diff options
author | Max <msuraev@sysmocom.de> | 2017-12-13 11:34:44 +0100 |
---|---|---|
committer | Max <msuraev@sysmocom.de> | 2017-12-13 18:08:25 +0100 |
commit | dbf15f8eabed0c2601ced06564917ed47122a1a7 (patch) | |
tree | a52a49b53202fa360b1778a7a4d591b1e5c5af63 /regen-makefile.sh | |
parent | 20a58c6d6f4bb80814e2ff89d4f0ac0e45ea41cc (diff) |
Avoid gcc version check
By default the build fails on Debian due to gcc version check in
/usr/include/titan/cversion.h - instead of asking users to manually
change this file let's add workaround to our makefile fixer which
disables this check automatically.
The corresponding Debian bug:
https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=879816
Change-Id: I71c765d5d8e182a198e2c5d2886ebce3b86e6328
Diffstat (limited to 'regen-makefile.sh')
-rwxr-xr-x | regen-makefile.sh | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/regen-makefile.sh b/regen-makefile.sh index 18146998..f757fa33 100755 --- a/regen-makefile.sh +++ b/regen-makefile.sh @@ -8,12 +8,16 @@ # # The regexes below patch the generated Makefile to work on Debian 9 and # unstable, so far tested with TITAN 6.1.0, 6.2.0 and 6.3.0 +# ttcn3_makefilegen -l -f $* sed -i -e 's/# TTCN3_DIR = /TTCN3_DIR = \/usr/' Makefile sed -i -e 's/LDFLAGS = /LDFLAGS = -L \/usr\/lib\/titan /' Makefile #sed -i -e 's/TTCN3_LIB = ttcn3-parallel/TTCN3_LIB = ttcn3/' Makefile -sed -i -e 's/CPPFLAGS = -D$(PLATFORM) -I$(TTCN3_DIR)\/include/CPPFLAGS = -D$(PLATFORM) -I$(TTCN3_DIR)\/include -I\/usr\/include\/titan/' Makefile + +# The -DMAKEDEPEND_RUN is a workaround for Debian packaging issue, +# see https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=879816 for details +sed -i -e 's/CPPFLAGS = -D$(PLATFORM) -I$(TTCN3_DIR)\/include/CPPFLAGS = -D$(PLATFORM) -DMAKEDEPEND_RUN -I$(TTCN3_DIR)\/include -I\/usr\/include\/titan/' Makefile # for TITAN 6.3.0 sed -i -e 's/TTCN3_DIR = $/TTCN3_DIR = \/usr/' Makefile |