aboutsummaryrefslogtreecommitdiff
path: root/src/utils/Makefile.in
AgeCommit message (Expand)AuthorFilesLines
2015-12-23Arrange the source include director to mirror expected build structure instea...Gabriel Dos Reis1-2/+1
2015-06-01Fix typos in configration scripts.dos-reis1-0/+1
2015-04-03check for additional C++ compiler options.dos-reis1-1/+2
2015-04-03Fix warnings in C++ codes; check for additional C++ compiler options.dos-reis1-7/+19
2014-11-30Misc cleanup.dos-reis1-2/+4
2014-11-29Move code from bemol.cc to library.dos-reis1-3/+32
2014-11-18Add visitor to Dynamic values.dos-reis1-4/+26
2014-11-16Remove src/syntax Makefiles; make part of libOpenAxiomdos-reis1-4/+22
2014-11-16Remove src/io Makefiles; make part of libOpenAxiomdos-reis1-10/+32
2014-11-16Automtically generate src/utils/Makefile.indos-reis1-37/+676
2014-08-26Add generic Boot and Spad tokenizer.dos-reis1-21/+1
2014-02-24Rename CXXCOMPILE to COMPILE and CXXLINK to LINKdos-reis1-3/+3
2014-02-03Fix global variable names in Makefilesdos-reis1-4/+4
2013-06-28Add src/rt for core runtime support.dos-reis1-1/+1
2013-06-27Add small Lisp evaluator for the benefit of new GUI.dos-reis1-4/+4
2013-06-25 * include/sexpr.H: Move from utils.dos-reis1-3/+3
2013-06-21 * include/dialect.H: New.dos-reis1-3/+3
2011-09-13 * utils/Makefile.in (libOpenAxiom_HEADERS): Include vm.H.dos-reis1-3/+3
2011-06-27 * utils/Makefile.in (libOpenAxiom_SOURCES): Include filesystem.ccdos-reis1-1/+4
2011-06-02more utility code consolidationdos-reis1-3/+6
2011-03-18fiix typodos-reis1-1/+1
2011-03-17 * utils/storage.H: Rework.dos-reis1-1/+1
2011-03-16fix thinkodos-reis1-1/+1
2010-08-29 * utils/Makefile.in ($(oa_target_oalib)): Create contaningdos-reis1-0/+3
2010-08-26 * utils/Makefile.in: Install libOpenAxiom.ados-reis1-1/+7
2010-08-26 * config/open-axiom.m4 (OPENAXIOM_BUILD_TOOLS): Check for ln -sdos-reis1-6/+30
2010-08-24 Implement an s-expression C++ library.dos-reis1-2/+2
2010-08-21 External tool noweb is no longer required.dos-reis1-0/+77
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-05 00:04:37 +0000