% Build checkpointed version of REDUCE.

(setq !*usermode nil)

(setq !*verboseload t)

(setq !*argnochk t)             % Check argument count.

(setq prolog_file 'pslprolo)

(setq rend_file 'pslrend)

(cond ((filep "$reduce/lisp/psl/$MACHINE/psl/symget.b")
       (dskin "$reduce/packages/support/symget.dat")))

(cond ((filep "$reduce/lisp/psl/$MACHINE/psl/addr2id.b")
       (load addr2id)))         % For debugging purposes.

(cond ((filep "$reduce/lisp/psl/$MACHINE/psl/pipes.b")
       (load pipes)))           % Unix pipes.

(load zbig)                     % PSL bignums.

(errorset '(load compat) nil nil)
				% Load PSL-based functions if there.
(load module)                   % Contains definition of load-package.

(load pslprolo)                 % PSL specific code.

% (load patches)

(dskin "$reduce/packages/support/mkred2.sl")

% (load init-file)              % So that .reducerc possible.
				% Now defined in pslrend.red.
(setq !*loadversion t)          % Load entry module during BEGIN.

(setq !*verboseload nil)        % Inhibit loading messages.
