diff options
| author | Marvin W <git@larma.de> | 2017-05-13 17:43:51 +0200 |
|---|---|---|
| committer | Marvin W <git@larma.de> | 2017-08-12 11:59:38 +0200 |
| commit | 6904bda756321c67bea0108342fa9ba859dd66e9 (patch) | |
| tree | 24517bf54d6188af401afedd343c42b6ece3d1c6 /configure | |
| parent | dd88db7556a20707f6fe3c81b3c58df42a0f5224 (diff) | |
| download | dino-6904bda756321c67bea0108342fa9ba859dd66e9.tar.gz dino-6904bda756321c67bea0108342fa9ba859dd66e9.zip | |
xmpp-vala: improve namespace handling, add some tests
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 6 |
1 files changed, 5 insertions, 1 deletions
@@ -1,7 +1,7 @@ #!/bin/bash OPTS=`getopt -o "h" --long \ -help,fetch-only,no-debug,disable-fast-vapi,\ +help,fetch-only,no-debug,disable-fast-vapi,with-tests,\ enable-plugin:,disable-plugin:,\ prefix:,program-prefix:,exec-prefix:,lib-suffix:,\ bindir:,libdir:,includedir:,datadir:,\ @@ -16,6 +16,7 @@ eval set -- "$OPTS" PREFIX=${PREFIX:-/usr/local} ENABLED_PLUGINS= DISABLED_PLUGINS= +BUILD_TESTS= DISABLE_FAST_VAPI= LIB_SUFFIX= NO_DEBUG= @@ -51,6 +52,7 @@ Configuration: feature. fast-vapi mode is slower when doing clean builds, but faster when doing incremental builds (during development). + --with-tests Also build tests. Plugin configuration: --enable-plugin=PLUGIN Enable compilation of plugin PLUGIN. @@ -108,6 +110,7 @@ while true; do --disable-fast-vapi ) DISABLE_FAST_VAPI=yes; shift ;; --no-debug ) NO_DEBUG=yes; shift ;; --fetch-only ) FETCH_ONLY=yes; shift ;; + --with-tests ) BUILD_TESTS=yes; shift ;; # Autotools paths --program-prefix ) PREFIX="$2"; shift; shift ;; --exec-prefix ) EXEC_PREFIX="$2"; shift; shift ;; @@ -238,6 +241,7 @@ cmake -G "$cmake_type" \ -DCMAKE_INSTALL_PREFIX="$PREFIX" \ -DENABLED_PLUGINS="$ENABLED_PLUGINS" \ -DDISABLED_PLUGINS="$DISABLED_PLUGINS" \ + -DBUILD_TESTS="$BUILD_TESTS" \ -DVALA_EXECUTABLE="$VALAC" \ -DCMAKE_VALA_FLAGS="$VALACFLAGS" \ -DDISABLE_FAST_VAPI="$DISABLE_FAST_VAPI" \ |