;;; -*- Mode:LISP; Package:LAMBDA; Readtable:CL; Base:10 -*-

(defsystem micro-tracer
  (:module jrm-customization       "dj:jrm;custom"        :package lambda)
  (:module m-p-utilities           "dj:jrm;m-p")
  (:module micro-code-symbols      "sys:lambda-diag;lambda-symbols")
  (:module sets-as-bignums         "dj:jrm;numsets"       :package lambda)
  (:module register-configuration  "dj:jrm;uregs")
  (:module micro-code-disassembler "dj:jrm;udasm")
  (:module micro-tracer            "dj:jrm;utrace")
  (:compile-load m-p-utilities)
  (:compile-load jrm-customization)
; (:readfile micro-code-symbols)
  (:compile-load sets-as-bignums (:fasload jrm-customization))
  (:compile-load register-configuration)
  (:compile-load micro-code-disassembler (:fasload jrm-customization
						   sets-as-bignums
						   m-p-utilities
						   register-configuration))
  (:compile-load micro-tracer (:fasload jrm-customization
					sets-as-bignums
					m-p-utilities
					register-configuration
					micro-code-disassembler)))