diff options
| author | Steven Barth <cyrus@openwrt.org> | 2015-01-08 07:54:34 +0100 |
|---|---|---|
| committer | Pablo Neira Ayuso <pablo@netfilter.org> | 2015-01-08 12:23:13 +0100 |
| commit | b3529cf43bba5c3c4cddefa7f5d0143d510fd3ec (patch) | |
| tree | 20bb09a946f083601714a3fa38aab99c1f5fdbb7 /src/Makefile.am | |
| parent | c434c709e0a8e0ca2aa92ad139b61025173ae033 (diff) | |
build: add --with-mini-gmp switch to disable linking libgmp
This allows to disable linking the >400 KB big libgmp and replace it
with the builtin mini-gmp which only increases size by ~30KB.
Enabling this selectively decreases debugging verbosity (pr_debug).
Signed-off-by: Steven Barth <cyrus@openwrt.org>
Signed-off-by: Pablo Neira Ayuso <pablo@netfilter.org>
Diffstat (limited to 'src/Makefile.am')
| -rw-r--r-- | src/Makefile.am | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/Makefile.am b/src/Makefile.am index 378424db..099052a9 100644 --- a/src/Makefile.am +++ b/src/Makefile.am @@ -51,4 +51,8 @@ if BUILD_CLI nft_SOURCES += cli.c endif +if BUILD_MINIGMP +nft_SOURCES += mini-gmp.c +endif + nft_LDADD = ${LIBMNL_LIBS} ${LIBNFTNL_LIBS} |