PHP_ARG_ENABLE(arma, for armadillo support,
[  --enable-arma           Enable armadillo support])

if test "$PHP_ARMA" != "no"; then
  PHP_REQUIRE_CXX()
  ARMA_SRC="          \
    src/php_arma.cc   \
    src/interfaces.cc \
    src/constants.cc  \
    src/complex.cc"
  PHP_NEW_EXTENSION(arma, $ARMA_SRC, $ext_shared, , -std=c++17)
fi