diff options
Diffstat (limited to 'libraries/integer-gmp2/gmp/config.mk.in')
| -rw-r--r-- | libraries/integer-gmp2/gmp/config.mk.in | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/libraries/integer-gmp2/gmp/config.mk.in b/libraries/integer-gmp2/gmp/config.mk.in deleted file mode 100644 index 93a4f5369b..0000000000 --- a/libraries/integer-gmp2/gmp/config.mk.in +++ /dev/null @@ -1,11 +0,0 @@ -ifeq "$(HaveLibGmp)" "" - HaveLibGmp = @HaveLibGmp@ -endif - -ifeq "$(HaveFrameworkGMP)" "" - HaveFrameworkGMP = @HaveFrameworkGMP@ -endif - -GMP_INCLUDE_DIRS = @GMP_INCLUDE_DIRS@ -GMP_LIB_DIRS = @GMP_LIB_DIRS@ - |