#!/bin/csh -f
# Copyright 1988 SRI International
source obj3-config
if (-e ../bin/objprelim) then
  echo objprelim exists
  exit -1
endif
if (0 < $#argv) then
  set kclload = $1
endif
limit core 0
$kclload << \eoi >& ! obj3-load.log
(progn
(setq *print-case* :downcase)
(load "obj3-config")
(load "obj3-load")
(initial_load)
(defun initial_load () nil)
(setq *modexp_eval$env* nil)
(setq si::*break-enable* t)
(obj3-init)
(let (($$debug nil))
   (obj_input "prelude/obj3sp"))
(obj3_save_status)
(setq *mod_eval$$last_module* nil)
(setq *obj$include_BOOL* t)
(defun si:top-level ()
  (sig-setup)
  (obj3-init-files)
  (timer)
  (let ((res (catch system::*quit-tag* (obj3) 'ok-exit)))
    (unless (eq res 'ok-exit)
      (princ "ERROR")
      (terpri))))
(defvar obj3-load-time)
(setq obj3-load-time
  (cdddr (reverse (multiple-value-list
      (decode-universal-time
        ( - (get-universal-time) 61200)
        ;( - (get-universal-time) 57600)
      )))))
(allocate 'cons 400)
(allocate 'symbol 120)
(allocate 'string 100)
(allocate-relocatable-pages 300)
(gbc t)
(save "../bin/objprelim")
)
:b (print$brief (lcl))
:p (print$brief (lcl))
:p (print$brief (lcl))
:p (print$brief (lcl))
:p (print$brief (lcl))
:p (print$brief (lcl))
\eoi
