X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=configure.in;h=6eaed9afd4689a9ca1f59c5a66854c84157929b1;hb=51afadde2f0ec0b80a1e901b732b681ccf509b6e;hp=898a920e5504a4b8ab99e95e0ec0b591124fa18e;hpb=dfc021e7860e3aec71f750b8c943a476112cfd0f;p=ghc-hetmet.git diff --git a/configure.in b/configure.in index 898a920..6eaed9a 100644 --- a/configure.in +++ b/configure.in @@ -164,6 +164,15 @@ i[[3456]]86-*-netbsd*) HostVendor_CPP='unknown' HostOS_CPP='netbsd' ;; +i[[3456]]86-*-openbsd*) + HostPlatform=i386-unknown-openbsd # hack again + TargetPlatform=i386-unknown-openbsd + BuildPlatform=i386-unknown-openbsd + HostPlatform_CPP='i386_unknown_openbsd' + HostArch_CPP='i386' + HostVendor_CPP='unknown' + HostOS_CPP='openbsd' + ;; i[[3456]]86-*-solaris2*) HostPlatform=i386-unknown-solaris2 # hack again TargetPlatform=i386-unknown-solaris2 @@ -322,7 +331,17 @@ dnl AC_SUBST(TargetVendor_CPP) AC_SUBST(exeext) -AC_PATH_PROG(GHC,ghc) +if test "$GHC" = ""; then + AC_PATH_PROG(GHC,ghc) +fi +if test "$GHC" != ""; then + FPTOOLS_GHC_VERSION([GhcVersion], [GhcMajVersion], [GhcMinVersion], [GhcPatchLevel])dnl + AC_SUBST(GhcVersion)dnl + AC_SUBST(GhcMajVersion)dnl + AC_SUBST(GhcMinVersion)dnl + AC_SUBST(GhcPatchLevel)dnl +fi + AC_PATH_PROGS(NHC,nhc nhc98) AC_PATH_PROG(HBC,hbc) @@ -488,6 +507,15 @@ AC_PATH_PROGS(TarCmd,gtar tar,tar) dnl ** check for gzip/compress AC_PATH_PROGS(CompressCmd,gzip compress,gzip) +dnl ** check for jade/openjade & determine a working catalog +AC_PATH_PROGS(JadeCmd,openjade jade,jade) +FPTOOLS_DOCBOOK_CATALOG(Catalog, $JadeCmd, docs/fptools-both.dsl, + /etc/sgml.catalog /usr/share/sgml/CATALOG.docbkdsl $hardtop/glafp-utils/docbook/CATALOG*) +if test -z "$Catalog"; then + AC_MSG_RESULT([Warning: You will not be able to build the documentation.]) +fi +AC_SUBST(Catalog) + compress_nm=`basename $CompressCmd` if test x"$compress_nm" = xgzip; then CompressCmd="$CompressCmd -d" @@ -603,6 +631,30 @@ fi FPTOOLS_CHECK_ALIGNMENT(unsigned short) FPTOOLS_CHECK_ALIGNMENT(void *) +dnl ** map standard C types and ISO types to Haskell types +FPTOOLS_CHECK_HTYPE(char) +FPTOOLS_CHECK_HTYPE(signed char) +FPTOOLS_CHECK_HTYPE(unsigned char) +FPTOOLS_CHECK_HTYPE(short) +FPTOOLS_CHECK_HTYPE(unsigned short) +FPTOOLS_CHECK_HTYPE(int) +FPTOOLS_CHECK_HTYPE(unsigned int) +FPTOOLS_CHECK_HTYPE(long) +FPTOOLS_CHECK_HTYPE(unsigned long) +if test "$fptools_cv_have_long_long" = yes; then +FPTOOLS_CHECK_HTYPE(long long) +FPTOOLS_CHECK_HTYPE(unsigned long long) +fi +FPTOOLS_CHECK_HTYPE(float) +FPTOOLS_CHECK_HTYPE(double) +FPTOOLS_CHECK_HTYPE(ptrdiff_t) +FPTOOLS_CHECK_HTYPE(size_t) +FPTOOLS_CHECK_HTYPE(wchar_t) +dnl Int32 is a HACK for non-ISO C compilers +FPTOOLS_CHECK_HTYPE(sig_atomic_t, Int32) +FPTOOLS_CHECK_HTYPE(clock_t) +FPTOOLS_CHECK_HTYPE(time_t) + dnl ** can we open files in binary mode? FPTOOLS_O_BINARY @@ -681,13 +733,16 @@ AC_CHECK_FUNCS(pclose _pclose ) dnl ** check for specific library functions that we are interested in AC_CHECK_FUNCS(access ftime getclock getpagesize getrusage gettimeofday mktime mprotect readlink setitimer stat symlink sysconf timelocal times vadvise vfork) -dnl ** check whether this machine has gmp2 installed -AC_CHECK_LIB(gmp, mpz_fdiv_qr, HaveLibGmp=YES; LibGmp=gmp, - AC_CHECK_LIB(gmp2, mpz_fdiv_qr, HaveLibGmp=YES; LibGmp=gmp2, +dnl ** check whether this machine has gmp3 installed +AC_CHECK_LIB(gmp, __gmpz_fdiv_qr, HaveLibGmp=YES; LibGmp=gmp, + AC_CHECK_LIB(gmp3, __gmpz_fdiv_qr, HaveLibGmp=YES; LibGmp=gmp3, HaveLibGmp=No; LibGmp=not-installed)) AC_SUBST(HaveLibGmp) AC_SUBST(LibGmp) +dnl ** check whether this machine has GNU regex in libc. +FPTOOLS_REGEX_IN_LIBC + dnl ** check whether this machine has BFD and liberty installed (used for debugging) dnl the order of these tests matters: bfd needs liberty AC_CHECK_LIB(iberty, xmalloc)