Artifact 1807d91d717287b9aef0bc464cc42266d5eafb8e6c92b7fc6da36b657e16e5e6:

• File r34.1/src/mkreduce.sl — part of check-in [f2fda60abd] at 2011-09-02 18:13:33 on branch master — Some historical releases purely for archival purposes

  git-svn-id: https://svn.code.sf.net/p/reduce-algebra/code/trunk/historical@1375 2bfe0521-f11c-4a00-b80e-6202646ff360 (user: arthurcnorman@users.sourceforge.net, size: 1817) [annotate] [blame] [check-ins using] [more...]

% Source for building REDUCE executable.

(reclaim)

(setq !*init!-stats!* (list (time) (gtheap nil) (free-bps) nextsymbol))

(setq !*verboseload t)                  % For debugging purposes

(setq !*argnochk t)                     % For argument no. checking

(cond ((filep "$reduce/psl/symget.b")
       (dskin "$reduce/util/symget.dat")))
(load addr2id)                          % For debugging purposes.
(load pipes)                            % Unix pipes.
(load nbig30)                           % PSL bignums.

% Load REDUCE code

(load module)                           % Definition of module etc.
(load prolog)                           % PSL-specific code
(flag '(foreach repeat while) 'lose)
(load rlisp)                            % RLISP
(load rend)                             % PSL dependent code
(load poly)
(load alg)                              % basic algebra
(load arith)
(load mathpr)
(remd 'crefon)                          % Since we don't use PSL version
(load entry)                            % entry points for other modules
(load init!-file)                       % allows for init file .reducerc

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

(initreduce)

% Print some statistics.

(setq !*usermode t)

(prog nil
   (reclaim)
   (terpri)
   (prin2 "Time for build: ")
   (prin2 (quotient (difference (time) (car !*init!-stats!*)) 1000.0))
   (prin2t " secs")
   (prin2 "Symbols used:   ")
   (prin2t (difference nextsymbol (cadddr !*init!-stats!*)))
   (prin2 "Heap used:      ")
   (prin2t (difference (cadr !*init!-stats!*) (gtheap nil)))
   (prin2 "BPS used:       ")
   (prin2t (difference (caddr !*init!-stats!*) (free-bps)))
   (prin2 "Heap left:      ")
   (prin2t (gtheap nil))
   (prin2 "BPS left:       ")
   (prin2t (free-bps))
   (setq !*init!-stats!* nil))