aboutsummaryrefslogtreecommitdiff
path: root/Makefile.pamphlet
AgeCommit message (Collapse)AuthorFilesLines
2010-08-21 External tool noweb is no longer required.dos-reis1-68/+2
* INSTALL: Update instructions. * Makefile.pamphlet: Remove rules for building noweb. (AXIOM_SRC_TARGETS): Include all-utils. * config/open-axiom.m4 (OPENAXIOM_BUILD_TOOLS): Don't check for notangle and noweave. * config/setup-dep.mk: Remove rules for generating document. * config/var-def.mk: Remove NOTANGLE and NOWEAVE variables. * configure.ac: Instantiate Makefile for src/utils.
2010-08-18Remove CCF variablesdos-reis1-2/+0
2010-08-16 * config/open-axiom.m4 (OPENAXIOM_REJECT_ROTTED_LISP): Tidy.dos-reis1-2/+2
(OPENAXIOM_CHECK_GCL_INCLUSION): Likewise. (OPENAXIOM_LISP_FLAVOR): Likewise. (OPENAXIOM_HOST_COMPILERS): Likewise. (OPENAXIOM_PROG_LISP): Honor --enable-gcl properly. * Makefile.pamphlet (all-src): Rename axiom_all_prerequisites to oa_all_prerequisites.
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
libraries. * config: Update autotools to newer versions. src/ * algebra/kl.spad.pamphlet (MakeCachableSet): Remove. * algebra/Makefile.pamphlet (axiom_algebra_layer_6): Don't build it.
2009-01-032009-01-03 Gabriel Dos Reis <gdr@cs.tamu.edu>dos-reis1-1/+1
* Makefile.pamphlet (AXIOM_SRC_TARGETS): Add all-databases. src/ChangeLog 2009-01-03 Gabriel Dos Reis <gdr@cs.tamu.edu> * lisp/core.lisp.in (|%algebraSystemIsComplete|): New. (|%basicSystemIsComplete|): Use it. * interp/wi1.boot (setqSingle): Use maximalSuperType. (coerceSubset): Simplify. (compCoerce1): Tidy. * interp/i-resolv.boot (resolveTCat): Use superType. * interp/lisplib.boot (findConstructorSlotNumber): Use isSubset. (sigsMatch): Likewise. (findDomainSlotNumber): Likewise. * interp/define.boot (compSubDomain1): Reject for complex subdomain predicate. Support paramterized subdomains. * interp/daase.lisp (interpOpen): Read superdomain slot. (getdatabase): Remove adhoc hardcoded superdomain info. Return superdomain info stored in database. (localnrlib): Read superdomain info. (write-interpdb): Write superdomain info. (database): Add superdomain slot. * interp/g-util.boot (superType): New. (maximalSuperType): Rework. Support parameterized subdomains. (noteSubDomainInfo): New. (isSubDomain): Rework. * interp/c-util.boot (isSubset): Rework. * interp/g-opt.boot (optEQ): Remove. * interp/g-cndata.boot (getImmediateSuperDomain): Remove. (maximalSuperType): Move to g-util.boot. * interp/types.boot (%Constructor): New type specifier. (%Instantiation): Likewise. * interp/compiler.boot (primitiveType): Don't return $NegativeInteger. (maxSuperType): Remove. (hasType): Use maximalSuperType. (satisfies): New. (coerceSubset): Use it. Simplify. * interp/wi2.boot (smallIntegerStep): Use maximalSuperType. * interp/sys-constants.boot ($AtVariables): New. ($NegativeInteger): Remove. ($NonPositiveInteger): Likewise. ($CategoryNames): Category is not a category. * interp/property.lisp: Remove Subsets property settings. * interp/i-coerce.boot (coerceSubDomain): Simplify. (coerceImmediateSubDomain): Remove. (getSubDomainPredicate): Simplify. * interp/category.boot (SourceLevelSubset): Use isSubDomain. (MachineLevelSubset): Likewise. * interp/modemap.boot (mergeModemap): Likewise. (isSuperDomain): Remove. (augModemapsFromDomain): Support parameterized subdomains. * interp/i-util.boot (isSubDomain): Move to g-util.boot. * Makefile.pamphlet (all-databases): New target. * interp/Makefile.pamphlet ($(AXIOMSYS)): Push :open-axiom-algebra-system onto *FEATURES*. * etc/Makefile.in (all-databases): New target.
2008-08-17 * algebra/Makefile.pamphlet (all-algstrap): New.dos-reis1-0/+4
* algebra/strap: Update cached Lisp translation.
2008-08-04 * Makefile.pamphlet: Use $(mkdir_p) in lieu of $(mkinstalldirs),dos-reis1-4/+4
during build. Also use 'cp -p' instead of $(INSTALL). * algebra/Makefile.pamphlet: Likewise. * graph/Makefile.in: Likewise. * boot/Makefile.in: Likewise. * hyper/Makefile.in: Likewise. * input/Makefile.pamphlet: Likewise. * interp/Makefile.pamphlet: Likewise. * lib/Makefile.in: Likewise. * lisp/Makefile.in: Likewise. * share/Makefile.in: Likewise.
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-26/+28
* configure.ac.pamphlet: For mingw host, default $prefix to C:/Program Files/OpenAxiom. Don't instantiate src/script/axiom. Instantiate src/driver/Makefile. Tidy. * Makefile.pamphlet: Tidy. * config/axiom-c-macros.h.in: Update. src/ 2008-01-05 Gabriel Dos Reis <gdr@cs.tamu.edu> * scripts/axiom.in: Remove. * driver: New directory. * driver/main.c: New. Now implement driver as native application.
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
* Makefile.pamphlet: Remove all-depsys rule. src/ 2007-11-25 Gabriel Dos Reis <gdr@cs.tamu.edu> * Makefile.pamphlet: Remove all-depsys rule. (all-interpsys): Now depend on all-boot. src/interp/ 2007-11-25 Gabriel Dos Reis <gdr@cs.tamu.edu> Remove depsys from OpenAxiom. * Makefile.pamphlet: Remove references to depsys. * macros.lisp (BRIGHPRINT): Remove. (BRIGHPRINT-0): Likewise. * util.lisp (build-depsys): Likewise. (processSynonyms): Likewise.
2007-10-102007-10-10 Gabriel Dos Reis <gdr@cs.tamu.edu>dos-reis1-19/+5
* configure.ac.pamphlet: Tidy. Don't instantiate src/lisp/core.lisp. * configure.ac: Regenerate. * configure: Likewise. * config/var-def.mk (open_axiom_installdir): New. (AXIOM): Support versioning. * Makefile.pamphlet (install): Tidy. Remove sections on SPAD and SYS variables. * Makefile.in: Regenerate. src/algebra/ 2007-10-10 Gabriel Dos Reis <gdr@cs.tamu.edu> * Makefile.pamphlet (INTERPSYS): Now take system root directory and algebra directory as arguments. * Makefile.in: Regenerate. src/etc/ 2007-10-10 Gabriel Dos Reis <gdr@cs.tamu.edu> * Makefile.pamphlet (INTERPSYS): Take system root directory and algebra directory as arguments. * Makefile.in: Regenerate. src/interp/ 2007-10-10 Gabriel Dos Reis <gdr@cs.tamu.edu> * bookvol5.pamphlet (initroot): Use |systemRootDirectory| instead of environment variable AXIOM. (|loadExposureGroupData|): Likewise. * br-data.boot.pamphlet (dbHasExamplePage): Likewise. (dbRead): Likewise. (dbReadComments): Likewise. (buildGloss): Likewise. * br-saturn.boot.pamphlet (getSaturnExampleList): Likewise. * br-search.boot.pamphlet (grepSplit): Likewise. * daase.lisp.pamphlet (asharp): Likewise. (initial-getdatabase): Likewise. (DaaseName): Likewise. (create-initializers): Likewise. * ht-root.boot.pamphlet (htGlossPage): Likewise. * htcheck.boot.pamphlet (buildHtMacroTable): Likewise. * i-syscmd.boot.pamphlet (summary): Likewise. (copyright): Likewise. * patches.lisp.pamphlet (restart0): Likewise. * util.lisp.pamphlet (sourcepath): Likewise. * Makefile.pamphlet (OBJS): Include sys-driver.$(FASLEXT). (${SAVESYS}): Tidy. (${AXIOMSYS}): Likewise. (${DEPSYS}): Depend on sys-driver.$(FASLEXT). Load it. (sys-driver.$(FASLEXT)): New rule. * Makefile.in: Regenerate. * sys-driver.boot: New. src/lisp/ 2007-10-10 Gabriel Dos Reis <gdr@cs.tamu.edu> * core.lisp.in (|%systemOptions|): New. (|%systemArguments|): Likewise. (|$systemInstallationDirectory|): Likewise. (|$sysOpts|): Likewise. (|$sysArgs|): Likewise. (|handleCommandLine|): Tidy. (|printUsage|): Update. * Makefile.pamphlet (core.lisp): Instantiate here. src/script/ 2007-10-10 Gabriel Dos Reis <gdr@cs.tamu.edu> * axiom.in (AXIOM): Use value substituted by Autoconf. Remove dead code.
2007-09-10 * Makefile.pamphlet (all-noweb): Depend only on one target,dos-reis1-3/+5
notangle. ($(addprefix $(axiom_build_bindir)/, notangle noweave)): Touch shell scripts too. * Makefile.in: Regenerate.
2007-09-022007-09-01 Gabriel Dos Reis <gdr@cs.tamu.edu>dos-reis1-5/+22
* configure.ac.pamphlet (<<find lisp>>): Keep gcl directory test simple. * Makefile.pamphlet (maybe-cp-noweb-srcdir): New rule. Factored from the rule below. ($(addprefix $(axiom_build_bindir)/, notangle noweave)): Make it a prerequisite. * config/var-def.mk (WEAVE): Export. (WEAVE): Likewise. src/scripts/ 2007-09-01 Gabriel Dos Reis <gdr@cs.tamu.edu> * document.in (TANGLE): New environment variable. Use in place nacked notangle. (WEAVE): New environment variable. Use in place of noweave.
2007-08-26 * Makefile.pamphlet ($(AXIOM_SRC_TARGETS)): Don't augment the PATHdos-reis1-2/+1
variable. it is no longer needed. * Makefile.in: Regenerate.
2007-08-24 * Makefile.pamphlet ($(addprefix $(axiom_build_bindir)/, notangledos-reis1-1/+2
noweave)): Fix path to noweb C files. Refer to the touch command through $(TOUCH). * Makefile.in: Regenerate.
2007-08-222007-08-21 Gabriel Dos Reis <gdr@cs.tamu.edu>dos-reis1-0/+5
* Makefile.pamphlet (check): New rule. * Makefile.in: Regenerate. src/ 2007-08-21 Gabriel Dos Reis <gdr@cs.tamu.edu> * Makefile.pamphlet (all-check): New rule. * Makefile.in: Regenerate. sr/input 2007-08-21 Gabriel Dos Reis <gdr@cs.tamu.edu> * Makefile.pamphlet (all-ax all-input): Remove regress. (${OUT}/%.input): Don't be overly verbose. (%.input): Likewise. (%.as): Likewise. (use): Remove, as it is empty (regress): Likewise. (bug): Likewise. (document): Likewise. (all-check): New rule. Launch testing. * Makefile.in: Regenerate.
2007-08-16 * configure.ac.pamphlet: Don't error out if noweb source filesdos-reis1-0/+40
are present when no executable is available. * configure.ac.: Regenerate. * configure: Likewise. * config/var-def.mk (axiom_build_nowebdir): Resurect. * Makefile.pamphlet (<<noweb>>): Resurect. (clean-local): Remove noweb build dir too. * Makefile.in: Regenerate.
2007-08-14(no commit message)dos-reis1-191/+34
2007-08-14Initial population.dos-reis1-0/+837