diff options
Diffstat (limited to 'gnu/lib/libgmp/configure.in')
-rw-r--r-- | gnu/lib/libgmp/configure.in | 35 |
1 files changed, 0 insertions, 35 deletions
diff --git a/gnu/lib/libgmp/configure.in b/gnu/lib/libgmp/configure.in deleted file mode 100644 index 42192b5..0000000 --- a/gnu/lib/libgmp/configure.in +++ /dev/null @@ -1,35 +0,0 @@ -# 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 |