aboutsummaryrefslogtreecommitdiff
path: root/config/open-axiom.m4
AgeCommit message (Expand)AuthorFilesLines
2011-01-03(no commit message)dos-reis1-5/+5
2011-01-01 * configure.ac: Reject ECL on Mac OS X as it cannot give reliabledos-reis1-0/+7
2010-11-28 * clef/: Add using directive at toplevel.dos-reis1-1/+1
2010-11-27 * Makefile.am: Automake Makefile.in.dos-reis1-7/+0
2010-11-27(no commit message)dos-reis1-11/+3
2010-11-27Fix 'make install'dos-reis1-24/+12
2010-11-26 * Makefile.am: New. Automake existing top-level Makefile.in.dos-reis1-1/+7
2010-11-06Test for large files and Posix termiosdos-reis1-0/+6
2010-11-01 * config/open-axiom.m4 (OPENAXIOM_GCL_HACKS): Remove. No longerdos-reis1-21/+0
2010-08-26 * config/open-axiom.m4 (OPENAXIOM_BUILD_TOOLS): Check for ln -sdos-reis1-0/+2
2010-08-24 Implement an s-expression C++ library.dos-reis1-0/+20
2010-08-21 External tool noweb is no longer required.dos-reis1-16/+2
2010-08-18 * config/open-axiom.m4 (OPENAXIOM_CPPFLAGS_FOR_VENDOR_LOCK_INS): dos-reis1-17/+62
2010-08-18 r13983@gauss (orig r1241): gdr | 2009-07-22 15:41:19 -0500dos-reis1-2/+0
2010-08-16fix thinkosdos-reis1-6/+6
2010-08-16More configure workdos-reis1-0/+74
2010-08-16More configure workdos-reis1-0/+297
2010-08-16More configure workdos-reis1-0/+62
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
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-01 15:28:16 +0000