diff options
| author | David Tardon <dtardon@redhat.com> | 2014-02-02 22:29:23 +0100 |
|---|---|---|
| committer | David Tardon <dtardon@redhat.com> | 2014-02-02 22:29:23 +0100 |
| commit | 99a4972f7ecb7b3c69f11011f08727a49671fa94 (patch) | |
| tree | b6a8c60bfa7961c11fedd703d17ea3068c7380db | |
| parent | 964dd1e47996dd513d94b860649f684b3c3ad1a4 (diff) | |
add --with-system-glm opt. to configure
Change-Id: Ie7688d400fe5e05f93c89b4c7d677a7a5c9880f5
| -rw-r--r-- | configure.ac | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/configure.ac b/configure.ac index 5ef4025c7356..aa6bac5eb706 100644 --- a/configure.ac +++ b/configure.ac @@ -1717,6 +1717,11 @@ AC_ARG_WITH(system-boost, [Use boost already on system.]),, [with_system_boost="$with_system_headers"]) +AC_ARG_WITH(system-glm, + AS_HELP_STRING([--with-system-glm], + [Use glm already on system.]),, + [with_system_glm="$with_system_headers"]) + AC_ARG_WITH(system-vigra, AS_HELP_STRING([--with-system-vigra], [Use vigra already on system.]),, |