From 99a4972f7ecb7b3c69f11011f08727a49671fa94 Mon Sep 17 00:00:00 2001 From: David Tardon Date: Sun, 2 Feb 2014 22:29:23 +0100 Subject: [PATCH] add --with-system-glm opt. to configure Change-Id: Ie7688d400fe5e05f93c89b4c7d677a7a5c9880f5 --- configure.ac | 5 +++++ 1 file changed, 5 insertions(+) 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.]),,