aboutsummaryrefslogtreecommitdiff
path: root/config/open-axiom.m4
AgeCommit message (Expand)AuthorFilesLines
2010-08-16More configure workdos-reis1-0/+39
2010-08-16 * config/open-axiom.m4 (OPENAXIOM_REJECT_ROTTED_LISP): Tidy.dos-reis1-85/+83
2010-08-15 * config/open-axiom.m4 (OPENAXIOM_BUILD_TOOLS): New. Abstractdos-reis1-0/+45
2010-08-15 * config/open-axiom.m4 (OPENAXIOM_DYNAMIC_MODULE_SUPPORT): New.dos-reis1-0/+45
2010-08-15 * config/var-def.mk (CPPFLAGS): New expanded variable.dos-reis1-12/+11
2010-08-15 * config/open-axiom.m4 (OPENAXIOM_CHECK_GCL_INCLUSION): New macro.dos-reis1-4/+340
2010-08-14 * config/open-axiom.m4 (OPENAXIOM_REJECT_ROTTED_LISP): New.dos-reis1-0/+83
2010-08-13 * config/open-axiom.m4 (OPENAXIOM_STANDARD_INTEGER_TYPES): New macro.dos-reis1-1/+14
2007-08-14Initial population.dos-reis1-0/+3