pike.git/ src/ configure.in

2018-02-03

2018-02-03 13:57:26 by Tobias S. Josefowitz <tobij@tobij.de>

• 7089a4e708e3ee8eae310c48199bae8019413c18 (4 lines) (+2/-2) ^{[ Show | Annotate ]}
  Branch: master

[build] Explicitely check --with-mpi in sub configure.in files

The ac_user_opts related variables do not always get propagated in the
way that src/modules/configure.in expects. Checking --with-mpi
explicitely in sub-configures that use the setting gets around the
issue.

AC_ARG_WITH lowercases the variable name as well, so
src/modules/configure.in now also lowercases ${with_{$MODNAME}} when
checking whether to build a module.

1128:    [],[with_devpoll=yes])   AC_ARG_WITH(gdbm, MY_DESCR([--without-gdbm],[no GNU database manager support]))   AC_ARG_WITH(mpi, MY_DESCR([--with-mpi],[enable MPI suppport]), -  [export with_MPI=$withval], -  [export with_MPI=no]) +  [], [with_mpi=no])   AC_ARG_WITH(gmp, MY_DESCR([--without-gmp],[no support for Gmp bignums]))   AC_ARG_WITH(zlib, MY_DESCR([--without-zlib],[disable gz compression support]),    [],[with_zlib=yes])