/usr/share/hol88-2.02.19940316/contrib/AKCL-mods/hol-init.ml is in hol88-contrib-source 2.02.19940316-35.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 | %----------------------------------------------------------------------------%
% %
% AKCL initialisation for speed. %
% %
% FILE: hol-init.ml %
% %
% AUTHOR: John Van Tassel %
% ADDRESS: University of Cambridge Computer Laboratory %
% New Museums Site %
% Pembroke Street %
% Cambridge CB2 3QG %
% ENGLAND %
% E-MAIL: jvt@cl.cam.ac.uk %
% TEL. +44 223 334729 %
% %
%----------------------------------------------------------------------------%
lisp `
#+kcl
#+sun (progn ()
(allocate 'cons 900)
(allocate 'string 100)
(system:allocate-relocatable-pages 100)
(system:set-hole-size 2048))
#+mips (progn ()
(allocate 'cons 2048)
(allocate 'string 100)
(system:allocate-relocatable-pages 100)
(system:set-hole-size 2048))
#+hp9000-800 (progn ()
(allocate 'cons 2024)
(allocate 'string 100)
(system:allocate-relocatable-pages 100)
(system:set-hole-size 2048))
#-(or sun mips hp9000-800) ()
#-kcl ()
`;;
|