diff options
Diffstat (limited to 'testsuite/driver/testlib.py')
| -rw-r--r-- | testsuite/driver/testlib.py | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/testsuite/driver/testlib.py b/testsuite/driver/testlib.py index 040e674312..dd3b4262eb 100644 --- a/testsuite/driver/testlib.py +++ b/testsuite/driver/testlib.py @@ -468,6 +468,15 @@ def have_gdb( ): def have_readelf( ): return config.have_readelf +def integer_gmp( ): + return have_library("integer-gmp") + +def integer_simple( ): + return have_library("integer-simple") + +def llvm_build ( ): + return config.ghc_built_by_llvm + # --- def high_memory_usage(name, opts): |