bos/text — pull request #27 by TomMD (2012-05-16 17:53:56+00:00)
Title: Use integer-simple if the integer-simple flag is set

If the user sets -finteger-simple on installation then use integer-simple, avoiding some integer-gmp optimizations.

We could have a fancier build system that detects integer-simple vs integer-gmp but I figured it wasn't really worth while.