diff options
Diffstat (limited to 'configure.in')
| -rw-r--r-- | configure.in | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/configure.in b/configure.in index 3c70ed26216..68967efa0a6 100644 --- a/configure.in +++ b/configure.in @@ -228,6 +228,14 @@ AC_DEFINE_UNQUOTED([DEF_MAXBACKENDS], [$with_maxbackends], # +# Option to disable shared libraries +# +PGAC_ARG_BOOL(enable, shared, yes, + [ --disable-shared do not build shared libraries]) +AC_SUBST(enable_shared) + + +# # C compiler # |