diff options
| -rw-r--r-- | configure.ac | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/configure.ac b/configure.ac index c05271e4d007..52fa3d832262 100644 --- a/configure.ac +++ b/configure.ac @@ -783,6 +783,11 @@ AC_ARG_ENABLE(ext-wiki-publisher, [Enable the Wiki Publisher extension.]) ) +AC_ARG_ENABLE(lpsolve, + AS_HELP_STRING([--disable-lpsolve], + [Disable compilation of the lp solve solver ]) +) + AC_ARG_ENABLE(pdfimport, AS_HELP_STRING([--disable-pdfimport], [Disable building the PDF import feature.]) |