aboutsummaryrefslogtreecommitdiff
path: root/config
AgeCommit message (Expand)AuthorFilesLines
2011-07-01 * config/open-axiom.m4 (OPENAXIOM_CHECK_GMP): New.dos-reis2-0/+15
2011-06-15 * config/open-axiom.m4: Remove --enable-locbfd fromdos-reis1-8/+2
2011-06-03do commit this forgotten changedos-reis2-0/+5
2011-06-02 * config/open-axiom.m4 (OPENAXIOM_HOST_COMPILERS): Setdos-reis1-2/+5
2011-06-01tidy configurationdos-reis1-12/+11
2011-06-01 * config/open-axiom.m4: Check for uid_t.dos-reis2-0/+7
2011-05-01more cleanupsdos-reis1-0/+4
2011-04-10 * config/open-axiom.m4 (OPENAXIOM_HOST_LISP_CPU_PRECISION):dos-reis1-9/+12
2011-03-21Fix some type detection issuesdos-reis2-11/+56
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-26Fix from previous commitdos-reis1-3/+0
2010-11-26 * Makefile.am: New. Automake existing top-level Makefile.in.dos-reis10-8394/+1926
2010-11-06Test for large files and Posix termiosdos-reis2-0/+15
2010-11-01 * config/open-axiom.m4 (OPENAXIOM_GCL_HACKS): Remove. No longerdos-reis1-21/+0
2010-10-27 * algebra/boolean.spad.pamphlet (Logic): Now extend Type.dos-reis1-0/+3
2010-08-26 * config/open-axiom.m4 (OPENAXIOM_BUILD_TOOLS): Check for ln -sdos-reis2-0/+3
2010-08-24 Implement an s-expression C++ library.dos-reis2-0/+23
2010-08-21Remove setting of TMPdos-reis1-2/+0
2010-08-21 External tool noweb is no longer required.dos-reis4-34/+8
2010-08-18Remove CCF variablesdos-reis1-1/+0
2010-08-18 * config/open-axiom.m4 (OPENAXIOM_CPPFLAGS_FOR_VENDOR_LOCK_INS): dos-reis2-20/+68
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-reis2-1/+298
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-reis2-86/+84
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-15Include LDFLAGS in LINK_SHRLIBdos-reis1-4/+4
2010-08-15 * config/var-def.mk (CPPFLAGS): New expanded variable.dos-reis2-17/+21
2010-08-15 * config/open-axiom.m4 (OPENAXIOM_CHECK_GCL_INCLUSION): New macro.dos-reis2-4/+346
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-reis2-1/+66
2010-08-08 * config/var-def.mk (CXXCOMPILE): Specify TAG.dos-reis1-1/+1
2010-08-08 * config/var-def.mk (CXXCOMPILE): Specify TAG.dos-reis1-2/+2
2010-08-07 Fix flags to build loadable module on MAC OS X.dos-reis1-1/+1
2010-07-29 Support C++ as implementation language.dos-reis1-0/+2
2010-02-07 * configure.ac.pamphlet: Add support for --enable-threads.dos-reis1-0/+2
2009-10-26 * share/tex/open-axiom.sty: New.dos-reis1-0/+1
2009-10-25 Check for Qt utilities moc and qmake.dos-reis1-0/+5
2009-09-21 * configure.ac.pamphlet: Don't unconditionally initialize CCF.dos-reis1-3/+0
2009-09-20 * configure.ac.pamphlet: Don't define CPP LINUXplaform,dos-reis1-12/+0
2009-09-162009-09-16 Kosta Oikonomou <ko@research.att.com>dos-reis1-0/+1