diff options
Diffstat (limited to 'ghc/rts/gmp/mpn')
| -rw-r--r-- | ghc/rts/gmp/mpn/configure.in | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/ghc/rts/gmp/mpn/configure.in b/ghc/rts/gmp/mpn/configure.in index 90c2626381..1002904e59 100644 --- a/ghc/rts/gmp/mpn/configure.in +++ b/ghc/rts/gmp/mpn/configure.in @@ -1,8 +1,8 @@ # 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. +AC_INIT(Makefile.in) -configdirs= srctrigger=powerpc32 srcname="GNU Multi-Precision library/mpn" @@ -171,6 +171,9 @@ mpn_links=$links # post-target: +AC_LINK_FILES($files,$links) +AC_OUTPUT(Makefile) + sed <Makefile >Makefile.tmp \ -e "s/MPN_LINKS = .*/MPN_LINKS =${mpn_links}/" \ -e "s/MPN_OBJECTS = .*/MPN_OBJECTS =${mpn_objects}/" |