diff options
Diffstat (limited to 'libraries/integer-gmp/config.mk.in')
-rw-r--r-- | libraries/integer-gmp/config.mk.in | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/libraries/integer-gmp/config.mk.in b/libraries/integer-gmp/config.mk.in new file mode 100644 index 0000000000..b66f94c5ad --- /dev/null +++ b/libraries/integer-gmp/config.mk.in @@ -0,0 +1,15 @@ +# NB: This file lives in the top-level integer-gmp folder, and not in +# the gmp subfolder, because of #14972, where we MUST NOT create a +# folder named 'gmp' in dist/build/ + +ifeq "$(HaveLibGmp)" "" + HaveLibGmp = @HaveLibGmp@ +endif + +ifeq "$(HaveFrameworkGMP)" "" + HaveFrameworkGMP = @HaveFrameworkGMP@ +endif + +GMP_INCLUDE_DIRS = @GMP_INCLUDE_DIRS@ +GMP_LIB_DIRS = @GMP_LIB_DIRS@ + |