pike.git/ src/ configure.in

2018-01-18

2018-01-18 22:55:22 by Tobias S. Josefowitz <tobij@tobij.de>

• b6eb4887cb23402025559dd175d7b61828f4572c (4 lines) (+4/-0) ^{[ Show | Annotate ]}
  Branch: master

First go at MPI bindings

1127:    [disable support for /dev/poll]),    [],[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])   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])