add --with-system-glm opt. to configure

Change-Id: Ie7688d400fe5e05f93c89b4c7d677a7a5c9880f5
2014-02-02 22:29:23 +01:00 · 2014-02-02 22:29:23 +01:00 · 99a4972f7e
commit 99a4972f7e
parent 964dd1e479
1 changed files with 5 additions and 0 deletions
--- 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.]),,