aboutsummaryrefslogtreecommitdiff
path: root/src/Makefile.in
AgeCommit message (Collapse)AuthorFilesLines
2010-08-21 External tool noweb is no longer required.dos-reis1-3/+6
* 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.
2009-10-25 * lib/cfuns-c.c (oa_concatenate_string): Define.dos-reis1-1/+1
* include/open-axiom.h (openaxiom_ifs): New. (OPENAXIOM_TEXINPUTS_PATH): Likewise. (OPENAXIOM_BIBINPUTS_PATH): Likewise. * driver/main.c (augment_variable): New. (upgrade_environment): Likewise. Call publish_systemdir. (main): Call it instead of publish_systemdir. Handle 'spawn' driver. * driver/utils.h (openaxiom_execute_driver): New kind of driver. * driver/utils.c (openaxiom_preprocess_arguments): Tidy. (openaxiom_execute_core): Likewise. * sman/sman.c (process_arguments): Likewise. (process_options): Likewise.
2009-04-27 Fix SF/2781848dos-reis1-2/+2
* interp/daase.lisp (make-databases): Build glossary files too. * interp/br-data.boot (buildGloss): gloss.text now lives in doc/. * interp/br-search.boot (grepSource): Likewise. * interp/ht-root.boot (htGlossPage): Likewise. * etc/Makefile.in (openaxiom_glossfiles): New. (mostlyclean-local): Remove them too. (stamp-databases): Now copy glossary files too. * doc/Makefile.in ($(OUT)/gloss.text): New rule. (stamp): Make it a prerequisite. * Makefile.pamphlet (all-databases): Make all-doc a prerequisite. (all-hyper-post): Likewise. * doc/gloss.text: Resurect.
2009-04-18 Fix SF/2757715dos-reis1-2/+2
* Makefile.pamphlet (all-input): Make all-doc a requirement. (all-doc): Tidy. * doc/Makefile.in: Likewise. Install help files. * doc/help: New. Home for help files.
2009-01-032009-01-03 Gabriel Dos Reis <gdr@cs.tamu.edu>dos-reis1-0/+4
* 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-28 * Makefile.pamphlet: Tidy.dos-reis1-8/+8
2008-08-05 Fix SF/2037804dos-reis1-6/+6
* interp/i-syscmd.boot (cd): Convert new directory name to PATHNAME type before setting as default.
2008-08-04 * Makefile.pamphlet: Use $(mkdir_p) in lieu of $(mkinstalldirs),dos-reis1-7/+7
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-05-23Fix breakage from last commits.dos-reis1-69/+75
2008-05-22Avoid numeric constants macros.dos-reis1-73/+69
2008-02-10Add support for batch processing.dos-reis1-1/+1
2008-01-052008-01-05 Gabriel Dos Reis <gdr@cs.tamu.edu>dos-reis1-2/+5
* 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-27Remove src/bookletsdos-reis1-2/+0
2007-11-262007-11-25 Gabriel Dos Reis <gdr@cs.tamu.edu>dos-reis1-5/+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-09-192007-09-19 Gabriel Dos Reis <gdr@cs.tamu.edu>dos-reis1-5/+5
* Makefile.pamphlet (all-interpsys): Now depend on all-depsys. src/interp/ 2007-09-19 Gabriel Dos Reis <gdr@cs.tamu.edu> * util.lisp.pamphlet ($directory-list): Move to sys-globals.boot. ($library-directory-list): Likewise. * spad.lisp.pamphlet: Import "bootlex". * preparse.lisp.pamphlet: Import "fnewmeta". * postprop.lisp: Import "macros". * postpar.boot.pamphlet: Import "postprop". * nlib.lisp.pamphlet (rdefiostream): Define unconditionally. (get-io-index-stream): Likewise. (makedir): Likewise. (get-directory-list): Don't use $current-diretory. ($filetype-table): Move to sys-constants.boot. * patches.lisp.pamphlet ($current-directory): Remove. (|cd|): Simplify implementation. * newaux.lisp.pamphlet: Import "macros". (|PARSE-NewKEY|): Define. * metalex.lisp: Move various file, line, stack, character utilities to here. * macros.lisp.pamphlet (NREVERSE0): Move to sys-macros.lisp. Tidy. * fnewmeta.lisp.pamphlet: Import "parsing". * comp.lisp: Import "macros". * def.lisp: Likewise. (B-MDEF): Fix thinko. * bootlex.lisp: Import "preparse", "def", and "nlib". (BOOT-LINE-STACK): Move to metalex.lisp. (NEXT-LINES-CLEAR): Likewise. (NEXT-LINES-SHOW): Likewise. (XCAPE): Likewise. (KEYWORDS): Likewise. * Makefile.pamphlet (${DEPSYS}): Now have all Lisp in compiled form and load them. * bookvol5.pamphlet ($current-directory): Remove.
2007-08-222007-08-21 Gabriel Dos Reis <gdr@cs.tamu.edu>dos-reis1-0/+4
* 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-17src/dos-reis1-5/+2
2007-08-17 Gabriel Dos Reis <gdr@cs.tamu.edu> * Makefile.pamphlet (all-lisp): Don't make $(axiom_build_bindir) here. Pass target tp $(MAKE). (all-boot): Likewise. (all-lib): Don't make $(OUT) here. Pass target to $(MAKE). * Makefile.in: Regenerate. src/boot/ 2007-08-17 Gabriel Dos Reis <gdr@cs.tamu.edu> * Makefile.pamphlet (BOOTSYS_FOR_TARGET): Remove. (stamp): Update prerequisite. ($(axiom_build_bindir)/bootsys$(EXEEXT)): Rename from $(BOOTSYS_FOR_TARGET). (%/.started): Rename from mk-statge0-dir. Tidy. (stage0/%.clisp): Update prerequisite. (%/initial-env.$(FASLEXT)): Likewise. (mk-stage1-dir): Remove. (mk-stage2-dir): Likewise. (mostlyclean-local): Update. * Makefile.in: Regenerate. src/lib/ 2007-08-17 Gabriel Dos Reis <gdr@cs.tamu.edu> * Makefile.pamphlet ($(axiom_target_libdir)/libspad.la): Remove prerequisite mk-target-libdir. (mk-target-libdir): Remove. * Makefile.in: Regenerate. src/lisp/ 2007-08-17 Gabriel Dos Reis <gdr@cs.tamu.edu> * Makefile.pamphlet ($(OUT)/lisp$(EXEEXT)): Create $(OUT) directory before installing lisp executable. * Makefile.in: Regenerate.
2007-08-14Initial population.dos-reis1-0/+74