Amaya/configure.in - diff

Return to configure.in CVS log

Up to [Public] / Amaya

version 1.44, 1999/03/12 07:52:11	version 1.45, 1999/04/30 16:41:50
Line 418 build_amaya="yes"	Line 418 build_amaya="yes"

if test "$with_thot" = "no" ; then	if test "$with_thot" = "no" ; then
build_thot="no"	build_thot="no"
fi	else
if test "$with_amaya" = "no" ; then	if test ! -f $srcdir/thot/Makefile.in ; then
build_amaya="no"
fi

if test ! -f $srcdir/thot/Makefile.in ; then
AC_MSG_WARN(Thot editor sources not found, disabling Thot build !)	AC_MSG_WARN(Thot editor sources not found, disabling Thot build !)
build_thot="no"	build_thot="no"
	fi
fi	fi

if test ! -f $srcdir/amaya/Makefile.in ; then	if test "$with_amaya" = "no" ; then
	build_amaya="no"
	else
	if test ! -f $srcdir/amaya/Makefile.in ; then
AC_MSG_WARN(Amaya browser/editor sources not found, disabling Amaya build !)	AC_MSG_WARN(Amaya browser/editor sources not found, disabling Amaya build !)
build_amaya="no"	build_amaya="no"
	fi
fi	fi


dnl	dnl
dnl Check for external, Thot related programs	dnl Check for external, Thot related programs
dnl	dnl