;;; -*- Mode: LISP; Syntax: Common-Lisp; Package: (TMS Lisp 1000); Base: 10. -*-

"(c) Copyright 1986 Xerox Corporation.  All rights reserved.  Subject to
the following conditions, permission is granted to use and copy this
software and to prepare derivative works:  Such use, copying or
preparation of derivative works must be for non-commercial research or
educational purposes; each copy or derivative work must include this
copyright notice in full; a copy of each completed derivative work must
be returned to:  DEKLEER@XEROX.COM (Arpanet) or Johan de Kleer,
Xerox PARC, 3333 Coyote Hill Road, Palo Alto, CA 94304.  This software
is made available AS IS, and Xerox Corporation makes no warranty about
the software or its performance."

;;; The Assumption-Based TMS

;;; Needed because brain-damaged ZL otherwise puts it under zl's global.
(in-package 'tms)

;;; #+IL     Running in Interlisp.
;;; #+ZL     Running in pure ZetaLisp release 6.1 or better on a 3600.
;;; #+CADR   Running on a CADR or a TI machine.
;;; #+CL     Running in pure Common Lisp.
;;; #+CL-ZL  Running a "pure" Common Lisp on a ZetaLisp release 6.1 or better on a 3600.

(zl:defsystem TMS
  (:name "TMS")
  (:package TMS)
  (:pathname-default "atms:atms;")
  (:module walk "walk.lisp"
	        ;"avalon:>gregor>pcl>walk"
	   )
  (:module defs "defs")
  (:module body ("replay" "vector" "blists" "batms3" "hash" "tms7" "interp" "cons3"
		 "nml" "tree" "label"))
  (:module debug  ("examples" "diags" "dead-code"))
  (:compile-load walk)
  (:compile-load defs (:fasload walk) (:fasload walk))
  (:compile-load body (:fasload defs) (:fasload defs))
  (:compile-load debug (:fasload body) (:fasload body)))