+ifelse($#, [1], [dnl
+[$1]="[$]fptools_version_of_ghc[_all]"
+], $#, [2], [dnl
+[$1]="[$]fptools_version_of_ghc[_major]"
+[$2]="[$]fptools_version_of_ghc[_minor]"
+], $#, [3], [dnl
+[$1]="[$]fptools_version_of_ghc[_major]"
+[$2]="[$]fptools_version_of_ghc[_minor]"
+[$3]="[$]fptools_version_of_ghc[_pl]"
+], $#, [4], [dnl
+[$1]="[$]fptools_version_of_ghc[_all]"
+[$2]="[$]fptools_version_of_ghc[_major]"
+[$3]="[$]fptools_version_of_ghc[_minor]"
+[$4]="[$]fptools_version_of_ghc[_pl]"
+])
+])
+])dnl
+
+
+dnl ** figure out the alignment restriction of a type
+dnl (required SIZEOF test but AC_CHECK_SIZEOF doesn't call PROVIDE
+dnl so we can't call REQUIRE)
+
+dnl FPTOOLS_CHECK_ALIGNMENT(TYPE)
+AC_DEFUN(FPTOOLS_CHECK_ALIGNMENT,
+[changequote(<<, >>)dnl
+dnl The name to #define.
+define(<<AC_TYPE_NAME>>, translit(alignment_$1, [a-z *], [A-Z_P]))dnl
+dnl The cache variable name.
+define(<<AC_CV_NAME>>, translit(ac_cv_alignment_$1, [ *], [_p]))dnl
+dnl The name of the corresponding size.
+define(<<AC_CV_SIZEOF_NAME>>, translit(ac_cv_sizeof_$1, [ *], [_p]))dnl
+changequote([, ])dnl
+AC_MSG_CHECKING(alignment of $1)
+AC_CACHE_VAL(AC_CV_NAME,
+[AC_TRY_RUN([
+#include <stdio.h>
+#if HAVE_STDDEF_H
+#include <stddef.h>
+#endif
+#ifndef offsetof
+#define offsetof(ty,field) ((size_t)((char *)&((ty *)0)->field - (char *)(ty *)0))
+#endif
+int
+main()
+{
+ FILE *f=fopen("conftestval", "w");
+ if (!f) exit(1);
+ fprintf(f, "%d", offsetof(struct { char c; $1 ty;},ty));
+ exit(0);
+}],
+AC_CV_NAME=`cat conftestval`,
+AC_CV_NAME=$AC_CV_SIZEOF_NAME,
+AC_CV_NAME=$AC_CV_SIZEOF_NAME)])
+AC_MSG_RESULT($AC_CV_NAME)
+AC_DEFINE_UNQUOTED(AC_TYPE_NAME, $AC_CV_NAME)
+AC_PROVIDE($AC_TYPE_NAME)
+undefine([AC_TYPE_NAME])dnl
+undefine([AC_CV_NAME])dnl
+undefine([AC_CV_SIZEOF_NAME])dnl
+])
+
+dnl ** Map an arithmetic C type to a Haskell type.
+dnl Based on autconf's AC_CHECK_SIZEOF.
+
+dnl FPTOOLS_CHECK_HTYPE(TYPE [, DEFAULT_VALUE, [, VALUE-FOR-CROSS-COMPILATION])
+AC_DEFUN(FPTOOLS_CHECK_HTYPE,
+[changequote(<<, >>)dnl
+dnl The name to #define.
+define(<<AC_TYPE_NAME>>, translit(htype_$1, [a-z *], [A-Z_P]))dnl
+dnl The cache variable name.
+define(<<AC_CV_NAME>>, translit(fptools_cv_htype_$1, [ *], [_p]))dnl
+changequote([, ])dnl
+AC_MSG_CHECKING(Haskell type for $1)
+AC_CACHE_VAL(AC_CV_NAME,
+[AC_TRY_RUN([#include <stdio.h>
+#include <stddef.h>
+#ifdef HAVE_SIGNAL_H
+#include <signal.h>
+#endif
+#ifdef HAVE_TIME_H
+#include <time.h>
+#endif
+#ifdef HAVE_GL_GL_H
+#include <GL/gl.h>
+#endif
+
+typedef $1 testing;
+
+main() {
+ FILE *f=fopen("conftestval", "w");
+ if (!f) exit(1);
+ if (((testing)((int)((testing)1.4))) == ((testing)1.4)) {
+ fprintf(f, "%s%d\n",
+ ((testing)(-1) < (testing)0) ? "Int" : "Word",
+ sizeof(testing)*8);
+ } else {
+ fprintf(f,"%s\n",
+ (sizeof(testing) > sizeof(double)) ? "LDouble" :
+ (sizeof(testing) == sizeof(double)) ? "Double" : "Float");
+ }
+ fclose(f);
+ exit(0);
+}], AC_CV_NAME=`cat conftestval`,
+ifelse([$2], , AC_CV_NAME=NotReallyAType, AC_CV_NAME=$2),
+ifelse([$3], , AC_CV_NAME=NotReallyATypeCross, AC_CV_NAME=$3))]) dnl
+AC_MSG_RESULT($AC_CV_NAME)
+AC_DEFINE_UNQUOTED(AC_TYPE_NAME, $AC_CV_NAME)
+undefine([AC_TYPE_NAME])dnl
+undefine([AC_CV_NAME])dnl
+])
+
+dnl ** figure out whether C compiler supports 'long long's
+dnl (Closely based on Andreas Zeller's macro for testing
+dnl for this under C++)
+dnl
+dnl If the C compiler supports `long long' types,
+dnl define `HAVE_LONG_LONG'.
+dnl
+AC_DEFUN(FPTOOLS_C_LONG_LONG,
+[
+AC_REQUIRE([AC_PROG_CC])
+AC_MSG_CHECKING(whether ${CC} supports long long types)
+AC_CACHE_VAL(fptools_cv_have_long_long,
+[
+AC_LANG_SAVE
+AC_LANG_C
+AC_TRY_COMPILE(,[long long a;],
+fptools_cv_have_long_long=yes,
+fptools_cv_have_long_long=no)
+AC_LANG_RESTORE
+])
+AC_MSG_RESULT($fptools_cv_have_long_long)
+if test "$fptools_cv_have_long_long" = yes; then
+AC_DEFINE(HAVE_LONG_LONG)
+fi
+])
+
+dnl ** Obtain the value of a C constant.
+dnl The value will be `(-1)' if the constant is undefined.
+dnl
+dnl This is set up so that the argument can be a shell variable.
+dnl
+AC_DEFUN(FPTOOLS_CHECK_CCONST,
+[
+eval "def_name=CCONST_$1"
+eval "cv_name=ac_cv_cconst_$1"
+AC_MSG_CHECKING(value of $1)
+AC_CACHE_VAL($cv_name,
+[AC_TRY_RUN([#include <stdio.h>
+#include <errno.h>
+main()
+{
+ FILE *f=fopen("conftestval", "w");
+ if (!f) exit(1);
+ fprintf(f, "%d\n", $1);
+ exit(0);
+}],
+eval "$cv_name=`cat conftestval`",
+eval "$cv_name=-1",
+eval "$cv_name=-1")])dnl
+eval "fptools_check_cconst_result=`echo '$'{$cv_name}`"
+AC_MSG_RESULT($fptools_check_cconst_result)
+AC_DEFINE_UNQUOTED($def_name, $fptools_check_cconst_result)
+unset fptools_check_cconst_result
+])
+
+dnl ** Invoke AC_CHECK_CCONST on each argument (which have to separate with
+dnl spaces)
+dnl
+AC_DEFUN(FPTOOLS_CHECK_CCONSTS,
+[for ac_const_name in $1
+do
+FPTOOLS_CHECK_CCONST($ac_const_name)dnl
+done
+])
+
+
+dnl *** Can we open files in binary mode? ***
+dnl
+AC_DEFUN(FPTOOLS_O_BINARY,
+[
+AC_REQUIRE([AC_PROG_CC])
+AC_MSG_CHECKING(whether we can open files in binary mode)
+AC_CACHE_VAL(fptools_cv_have_o_binary,
+[
+AC_LANG_SAVE
+AC_LANG_C
+AC_TRY_COMPILE(,
+[#ifdef HAVE_FCNTL_H
+#include <fcntl.h>
+#endif
+int x = O_BINARY;],
+fptools_cv_have_o_binary=yes,
+fptools_cv_have_o_binary=no)
+AC_LANG_RESTORE
+])
+AC_MSG_RESULT($fptools_cv_have_o_binary)
+if test "$fptools_cv_have_o_binary" = yes; then
+AC_DEFINE(HAVE_O_BINARY)
+fi
+])
+
+dnl *** Which one comes first, .text or .data? ***
+dnl
+AC_DEFUN(FPTOOLS_CODE_BEFORE_DATA,
+[AC_CACHE_CHECK([if code section appears before data], fptools_cv_code_bef_data,
+[AC_TRY_RUN([
+int f() { return 1; }
+int i;
+int main() { return ((char*)&f > (char*)&i); }
+
+],
+fptools_cv_code_bef_data=yes, fptools_cv_code_bef_data=no,false)])
+if test "$fptools_cv_code_bef_data" = yes; then
+ AC_DEFINE(CODE_BEFORE_DATA)
+fi
+])
+
+dnl *** Helper function **
+dnl
+AC_DEFUN(FPTOOLS_IN_SCOPE,
+[AC_TRY_LINK([extern char* $1;],[return (int)&$2], $3=yes, $3=no)
+])
+
+dnl *** What's the end-of-text-section marker called? ***
+dnl
+AC_DEFUN([FPTOOLS_END_TEXT_SECTION],
+[AC_CACHE_CHECK([for end of text section marker],
+ [fptools_cv_end_of_text],
+ [fptools_cv_end_of_text=""
+ not_done=1
+ for i in data_start _data_start etext _etext __etext; do
+ FPTOOLS_IN_SCOPE($i,$i,fptools_end_of_text)
+ if test "$fptools_end_of_text" = yes; then
+ fptools_cv_end_of_text=$i
+ not_done=0
+ break
+ fi
+ done
+ if test "$not_done" = 1; then
+ FPTOOLS_IN_SCOPE(etext asm("etext"),etext,fptools_end_of_text)
+ if test "$fptools_end_of_text" = yes; then
+ fptools_cv_end_of_text="etext"
+ fi
+ fi])
+ if test -n "$fptools_cv_end_of_text"; then
+ AC_DEFINE_UNQUOTED([TEXT_SECTION_END_MARKER], $fptools_cv_end_of_text)
+ else
+ AC_DEFINE_UNQUOTED([TEXT_SECTION_END_MARKER], dunno_end_of_text)
+ fi
+ AC_CACHE_CHECK([for end of text section marker declaration],
+ [fptools_cv_end_of_text_decl],
+ [fptools_cv_end_of_text_decl=""
+ not_done=1
+ for i in data_start _data_start etext _etext __etext; do
+ FPTOOLS_IN_SCOPE($i,$i,fptools_end_of_text_decl)
+ if test "$fptools_end_of_text_decl" = yes; then
+ fptools_cv_end_of_text_decl=$i
+ not_done=0
+ break
+ fi
+ done
+ if test "$not_done" = 1; then
+ FPTOOLS_IN_SCOPE(etext asm("etext"),etext,fptools_end_of_text_decl)
+ if test "$fptools_end_of_text_decl" = yes; then
+ fptools_cv_end_of_text_decl="etext asm(\"etext\")"
+ fi
+ fi])
+ if test -n "$fptools_cv_end_of_text_decl"; then
+ AC_DEFINE_UNQUOTED([TEXT_SECTION_END_MARKER_DECL], $fptools_cv_end_of_text_decl)
+ else
+ AC_DEFINE_UNQUOTED([TEXT_SECTION_END_MARKER_DECL], dunno_end_of_text_decl)
+ fi
+])
+
+dnl *** What's the end-of-data-section marker called? ***
+dnl
+AC_DEFUN([FPTOOLS_END_DATA_SECTION],
+[AC_CACHE_CHECK([for end of data section marker],
+ [fptools_cv_end_of_data],
+ [fptools_cv_end_of_data=""
+ not_done=1
+ for i in end _end __end; do
+ FPTOOLS_IN_SCOPE($i,$i,fptools_end_of_data)
+ if test "$fptools_end_of_data" = yes; then
+ fptools_cv_end_of_data=$i
+ not_done=0
+ break
+ fi
+ done
+ if test "$not_done" = 1; then
+ FPTOOLS_IN_SCOPE(end asm("end"),end,fptools_end_of_data)
+ if test "$fptools_end_of_data" = yes; then
+ fptools_cv_end_of_data="end"
+ fi
+ fi])
+ if test -n "$fptools_cv_end_of_data"; then
+ AC_DEFINE_UNQUOTED([DATA_SECTION_END_MARKER], $fptools_cv_end_of_data)
+ else
+ AC_DEFINE_UNQUOTED([DATA_SECTION_END_MARKER], dunno_end_of_data)
+ fi
+ AC_CACHE_CHECK([for end of data section marker declaration],
+ [fptools_cv_end_of_data_decl],
+ [fptools_cv_end_of_data_decl=""
+ not_done=1
+ for i in end _end __end; do
+ FPTOOLS_IN_SCOPE($i,$i,fptools_end_of_data_decl)
+ if test "$fptools_end_of_data_decl" = yes; then
+ fptools_cv_end_of_data_decl=$i
+ not_done=0
+ break
+ fi
+ done
+ if test "$not_done" = 1; then
+ FPTOOLS_IN_SCOPE(end asm("end"),end,fptools_end_of_data_decl)
+ if test "$fptools_end_of_data_decl" = yes; then
+ fptools_cv_end_of_data_decl="end asm(\"end\")"
+ fi
+ fi])
+ if test -n "$fptools_cv_end_of_data_decl"; then
+ AC_DEFINE_UNQUOTED([DATA_SECTION_END_MARKER_DECL], $fptools_cv_end_of_data_decl)
+ else
+ AC_DEFINE_UNQUOTED([DATA_SECTION_END_MARKER_DECL], dunno_end_of_data_decl)
+ fi
+])
+
+
+dnl Based on AC_TRY_LINK - run iftrue if links cleanly with no warning
+
+dnl FPTOOLS_TRY_LINK_NOWARN(flags,main?,iftrue,iffalse)
+
+AC_DEFUN(FPTOOLS_TRY_LINK_NOWARN,
+[
+ac_save_LIBS="$LIBS"
+LIBS=[$1];
+cat > conftest.$ac_ext <<EOF
+dnl This sometimes fails to find confdefs.h, for some reason.
+dnl [#]line __oline__ "[$]0"
+[#]line __oline__ "configure"
+#include "confdefs.h"
+[$2]
+int t() { return 0; }
+EOF
+if AC_TRY_EVAL(ac_link); then
+ ifelse([$3], , :, [
+ LIBS="$ac_save_LIBS"
+ rm -rf conftest*
+ $3])
+ ifelse([$4], , , [else
+ LIBS="$ac_save_LIBS"
+ rm -rf conftest*
+ $4
+])dnl
+fi
+rm -f conftest*
+]
+)
+
+dnl Loosely based on AC_CHECK_LIB in acgeneral.m4 in autoconf distribution
+
+dnl FPTOOLS_CHECK_FLAG_NOWARN(NAME, FLAG, CODE, iftrue, iffalse)
+
+AC_DEFUN(FPTOOLS_CHECK_FLAG_NOWARN,
+[AC_MSG_CHECKING([for $1])
+ AC_CACHE_VAL(ac_cv_flag_$1,
+ [FPTOOLS_TRY_LINK_NOWARN("$2", [main() { $3; exit(0); } ],
+ eval "ac_cv_flag_$1=yes",
+ eval "ac_cv_flag_$1=no"
+ )]
+ )
+if eval "test \"`echo '$ac_cv_flag_'$1`\" = yes"; then
+ AC_MSG_RESULT(yes)
+ LIBS="$2 $LIBS"
+ $4