#!/bin/sh

for i in "$@"
do
   case $i in
      CC=*) ;;
      CXX=*) ;;
      CFLAGS=*) ;;
      CXXFLAGS=*) ;;
      AR=*) ;;
      ARFLAGS=*) ;;
      RANLIB=*) ;;
      LDFLAGS=*) ;;
      LDFLAGS_CXX=*) ;;
      LDLIBS=*) ;;
      LDLIBS_CXX=*) ;;
      CPPFLAGS=*) ;;
      PREFIX=*) ;;
      LIBDIR=*) ;;
      INCLUDEDIR=*) ;;
      DOCDIR=*) ;;
      GMP_PREFIX=*) ;;
      GMP_INCDIR=*) ;;
      GMP_LIBDIR=*) ;;
      NTL_STD_CXX=*) ;;
      NTL_GMP_LIP=*) ;;
      NTL_GMP_HACK=*) ;;
      NTL_CXX_ONLY=*) ;;
      NTL_X86_FIX=*) ;;
      NTL_NO_X86_FIX=*) ;;
      NTL_AVOID_FLOAT=*) ;;
      NTL_LONG_LONG=*) ;;
      NTL_AVOID_BRANCHING=*) ;;
      NTL_FFT_PIPELINE=*) ;;
      NTL_TBL_REM=*) ;;
      NTL_NO_INIT_TRANS=*) ;;
      NTL_RANGE_CHECK=*) ;;
      NTL_LONG_LONG_TYPE=*) ;;
      WIZARD=*) ;;
      -h) more ../doc/config.txt; exit 0 ;;
      help) more ../doc/config.txt; exit 0 ;;
      -help) more ../doc/config.txt; exit 0 ;;
      --help) more ../doc/config.txt; exit 0 ;;
      *) echo "error: unrecognized option $i"; exit 1 ;;
   esac
done

if make -s -f make.config "$@" > make.head 
then
   echo make.config OK
else
   cat make.head
   exit 1
fi

if make -s -f flags.config "$@" > flags.sed
then
   echo flags.config OK
else
   cat flags.sed
   exit 1
fi

echo "writing makefile"
cat make.head make.tail > makefile

echo "writing ../include/NTL/config.h"
sed -f flags.sed config_template > ../include/NTL/config.h
