2011-06-30  Gabriel Dos Reis  <gdr@cs.tamu.edu>

	* config/open-axiom.m4 (OPENAXIOM_CHECK_GMP): New.
	(OPENAXIOM_CHECK_CORE_SUPPORT): Use it.

2011-06-15  Gabriel Dos Reis  <gdr@cs.tamu.edu>

	* OpenAxiom-1.4.0 has been released.

2011-06-14  Gabriel Dos Reis  <gdr@cs.tamu.edu>

	* config/open-axiom.m4: Remove --enable-locbfd from
	oa_gcl_bfd_option.
	(oa_gcl_emacs): Remove.

2011-06-11  Gabriel Dos Reis  <gdr@cs.tamu.edu>

	* TODO: Update.

2011-06-01  Gabriel Dos Reis  <gdr@cs.tamu.edu>

	* config/open-axiom.m4 (OPENAXIOM_HOST_COMPILERS): Set
	oa_gnu_compiler right after test for C and C++ compilers.

2011-06-01  Gabriel Dos Reis  <gdr@cs.tamu.edu>

	* config/open-axiom.m4: Check for uid_t.

2011-04-10  Gabriel Dos Reis  <gdr@cs.tamu.edu>

	* config/open-axiom.m4 (OPENAXIOM_HOST_LISP_CPU_PRECISION):
	Special-case for detecting binary personality. 
	* configure.ac: ECL now provides (at last!) way to gather
	information about binary personality.

2011-01-01  Gabriel Dos Reis  <gdr@cs.tamu.edu>

	* configure.ac: Reject ECL on Mac OS X as it cannot give reliable
	information about its binary personality.

