aboutsummaryrefslogtreecommitdiff
path: root/Makefile.in
AgeCommit message (Expand)AuthorFilesLines
2010-11-27(no commit message)dos-reis1-22/+21
2010-11-27Fix 'make install'dos-reis1-30/+26
2010-11-26Fix from previous commitdos-reis1-12/+9
2010-11-26 * Makefile.am: New. Automake existing top-level Makefile.in.dos-reis1-72/+906
2010-11-02Remove Makefile.pamphletdos-reis1-3/+48
2010-08-21 External tool noweb is no longer required.dos-reis1-51/+2
2010-08-16 * config/open-axiom.m4 (OPENAXIOM_REJECT_ROTTED_LISP): Tidy.dos-reis1-2/+2
2009-10-26Remove duplicate libtool targetdos-reis1-4/+1
2009-10-25 Check for Qt utilities moc and qmake.dos-reis1-0/+1
2009-08-21install is a phony targetdos-reis1-0/+1
2009-05-13 * configure.ac.pamphlet: Disable use of libtool to build shareddos-reis1-0/+3
2009-01-032009-01-03 Gabriel Dos Reis <gdr@cs.tamu.edu>dos-reis1-1/+1
2008-08-17 * algebra/Makefile.pamphlet (all-algstrap): New.dos-reis1-0/+4
2008-08-04 * Makefile.pamphlet: Use $(mkdir_p) in lieu of $(mkinstalldirs),dos-reis1-4/+4
2008-05-23Fix breakage from last commits.dos-reis1-127/+127
2008-05-22Avoid numeric constants macros.dos-reis1-127/+127
2008-02-18 * Makefile.pamphlet (install): Tidy.dos-reis1-4/+4
2008-02-10Add support for batch processing.dos-reis1-2/+2
2008-01-052008-01-05 Gabriel Dos Reis <gdr@cs.tamu.edu>dos-reis1-20/+20
2007-12-28update AXIOM_SRC_TARGETSdos-reis1-1/+1
2007-11-262007-11-25 Gabriel Dos Reis <gdr@cs.tamu.edu>dos-reis1-2/+2
2007-10-102007-10-10 Gabriel Dos Reis <gdr@cs.tamu.edu>dos-reis1-5/+5
2007-09-10 * Makefile.pamphlet (all-noweb): Depend only on one target,dos-reis1-3/+5
2007-09-022007-09-01 Gabriel Dos Reis <gdr@cs.tamu.edu>dos-reis1-5/+22
2007-08-26 * Makefile.pamphlet ($(AXIOM_SRC_TARGETS)): Don't augment the PATHdos-reis1-2/+1
2007-08-24 * Makefile.pamphlet ($(addprefix $(axiom_build_bindir)/, notangledos-reis1-1/+2
2007-08-222007-08-21 Gabriel Dos Reis <gdr@cs.tamu.edu>dos-reis1-0/+5
2007-08-16 * configure.ac.pamphlet: Don't error out if noweb source filesdos-reis1-0/+28
2007-08-14(no commit message)dos-reis1-29/+5
2007-08-14Initial population.dos-reis1-0/+99
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-17 09:04:07 +0000