HostVendor_CPP='unknown'
HostOS_CPP='linux'
;;
+x86_64-*-linux*)
+ HostPlatform=x86_64-unknown-linux
+ TargetPlatform=x86_64-unknown-linux
+ BuildPlatform=x86_64-unknown-linux
+ HostPlatform_CPP='x86_64_unknown_linux'
+ HostArch_CPP='x86_64'
+ HostVendor_CPP='unknown'
+ HostOS_CPP='linux'
+ ;;
m68k-next-nextstep2)
HostPlatform_CPP='m68k_next_nextstep2'
HostArch_CPP='m68k'
dnl if GNU tar is named gtar, look for it first.
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,
esac
AC_SUBST(Catalog)
-compress_nm=`basename $CompressCmd`
-if test x"$compress_nm" = xgzip; then
- CompressCmd="$CompressCmd -d"
- CompressSuffix="gz"
-else
- CompressSuffix="Z"
-fi
-AC_SUBST(CompressCmd)
-AC_SUBST(CompressSuffix)
dnl ** check for ghc-pkg command
changequote(, )dnl
AC_ARG_WITH(greencard,
[ --with-greencard=<greencard compiler>
- Use a command different from 'green-card' to compile GreenCard files
+ Use a command different from 'greencard' to compile GreenCard files
],
[
-GreencardCmd=$withval;
+GreenCardCmd=$withval;
FPTOOLS_GREENCARD(3.00)
]
)