/usr/share/hol88-2.02.19940316/lisp/akcl.l is in hol88-source 2.02.19940316-28.
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 | ;----------------------------------------------------------------------------;
; ;
; 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 ;
; ;
;----------------------------------------------------------------------------;
#+akcl
#+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) ()
#-akcl ()
|