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

if test "$PHP_ARMA" != "no"; then
  ARMA_SRC="src/arma.c"
  PHP_NEW_EXTENSION(arma, $ARMA_SRC, $ext_shared)
fi