Fix build when gmp isn't installed
[packages/integer-gmp.git] / gmp /
drwxr-xr-x   ..
-rw-r--r-- 203 config.mk.in
-rw-r--r-- 6755 ghc.mk
-rwxr-xr-x 18 ln
drwxr-xr-x - tarball