diff options
Diffstat (limited to 'gnu/lib/libgmp/configure.in')
-rw-r--r-- | gnu/lib/libgmp/configure.in | 35 |
1 files changed, 35 insertions, 0 deletions
diff --git a/gnu/lib/libgmp/configure.in b/gnu/lib/libgmp/configure.in new file mode 100644 index 00000000000..42192b507e3 --- /dev/null +++ b/gnu/lib/libgmp/configure.in @@ -0,0 +1,35 @@ +# This file is a shell script fragment that supplies the information +# necessary for a configure script to process the program in +# this directory. For more information, look at ../configure. + +configdirs="mpn mpz mpf mpq mpbsd" +srctrigger=gmp-impl.h +srcname="GNU Multi-Precision library" + +# per-host: + +# per-target: + +case "${target}" in + sparc8* | microsparc*) + if [ x$with_gcc != xno ] + then + target_makefile_frag=config/mt-sprc8-gcc + fi + ;; + supersparc*) + if [ x$with_gcc != xno ] + then + target_makefile_frag=config/mt-supspc-gcc + fi + ;; + m888110*) + if [ x$with_gcc != xno ] + then + target_makefile_frag=config/mt-m88110 + fi + ;; + *-*-linux*) + target_makefile_frag=config/mt-linux ;; + +esac |