#!/bin/sh

export SYMBOLS_FILE=$1
export GMPBUILD_DIR=$2

sed 's/#define __MPN(x) __gmpn/#define __MPN(x) __ghc____gmpn/' $GMPBUILD_DIR/gmp-h.in >  $GMPBUILD_DIR/gmp-h.in-; mv $GMPBUILD_DIR/gmp-h.in- $GMPBUILD_DIR/gmp-h.in
sed 's/\(MPN_PREFIX.,.\)__gmpn/\1__ghc____gmpn/' $GMPBUILD_DIR/mpn/asm-defs.m4 >  $GMPBUILD_DIR/mpn/asm-defs.m4-; mv $GMPBUILD_DIR/mpn/asm-defs.m4- $GMPBUILD_DIR/mpn/asm-defs.m4
grep "[TtRrDdC] " $SYMBOLS_FILE | grep -v "\bperfpow\b" | sed 's/^.* \([^ ]*\)$/s:\\b\1\\b:__ghc__\1:g;/' > rename.sed
for f in `find $GMPBUILD_DIR $GMPBUILD_DIR/../../cbits -type f`; do sed -f rename.sed $f > $f-; chmod --reference=$f $f-; mv $f- $f; done
rm rename.sed