#!/bin/bash
set -e
set -o pipefail
LC_MESSAGES=C spigot --version \
| egrep '^ *big integer provider: gmp$' >/dev/null
