Harald Welte | 20a58c6 | 2017-12-13 01:04:42 +0100 | [diff] [blame] | 1 | #!/bin/sh |
| 2 | |
| 3 | # Wrapper around the TITAN make file generator to work in Debian. |
| 4 | # |
| 5 | # TITAN has a makefile generator, but somehow Debian seems to install |
| 6 | # the binaries to different paths without patching the make file |
| 7 | # generator, leading in inconsistent non-working Makefiles. |
| 8 | # |
| 9 | # The regexes below patch the generated Makefile to work on Debian 9 and |
| 10 | # unstable, so far tested with TITAN 6.1.0, 6.2.0 and 6.3.0 |
Max | dbf15f8 | 2017-12-13 11:34:44 +0100 | [diff] [blame] | 11 | # |
Harald Welte | 20a58c6 | 2017-12-13 01:04:42 +0100 | [diff] [blame] | 12 | |
| 13 | ttcn3_makefilegen -l -f $* |
| 14 | sed -i -e 's/# TTCN3_DIR = /TTCN3_DIR = \/usr/' Makefile |
| 15 | sed -i -e 's/LDFLAGS = /LDFLAGS = -L \/usr\/lib\/titan /' Makefile |
| 16 | #sed -i -e 's/TTCN3_LIB = ttcn3-parallel/TTCN3_LIB = ttcn3/' Makefile |
Max | dbf15f8 | 2017-12-13 11:34:44 +0100 | [diff] [blame] | 17 | |
| 18 | # The -DMAKEDEPEND_RUN is a workaround for Debian packaging issue, |
| 19 | # see https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=879816 for details |
| 20 | 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 |
Harald Welte | 20a58c6 | 2017-12-13 01:04:42 +0100 | [diff] [blame] | 21 | |
| 22 | # for TITAN 6.3.0 |
| 23 | sed -i -e 's/TTCN3_DIR = $/TTCN3_DIR = \/usr/' Makefile |
| 24 | sed -i -e 's/\/bin\/compiler/\/bin\/ttcn3_compiler/' Makefile |