@NEWMASTER@ simonn Wed Jul 18 15:53:46 BST 1990
32d
28c
echo "saved ct image"
.
19,23c
'Finished compiling ct' =>
sysgarbage(); sys_lock_heap();
if syssave('$poplocalbin/ct.psv') then
    setpop -> interrupt;
    erase(trycompile('$poplib/init.p') or trycompile('init.p'));
    erase(trycompile('$poplib/ploginit.p') or trycompile('ploginit.p'));
    pr(popheader); pr(newline); false -> popheader;

    erase(prolog_invoke(prolog_maketerm("ct_start", 0)));
.
12a
$popsys/pop11 -$popsavelib/prolog << \\\\

.
11c
cd $usepop/pop      # no init.p vedinit.p etc
poplib=""
export poplib
.
9c
# Make saved image of prolog for beginners using $popsavelib/prolog.psv
.
2,3c
# --- Copyright University of Sussex 1986.  All rights reserved. ---------
# File:            $usepop/master/C.unix/com/mkct
.
@NEWMASTER@ simonn Wed Jul 18 16:48:35 BST 1990
29a
rm -f $poplocalbin/ct.psv-
.
28d
@NEWMASTER@ simonn Wed Jul 25 12:40:56 BST 1990
11c
$popsys/prolog noinit << \\\\
.
@NEWMASTER@ simonn Mon Sep 10 13:14:38 BST 1990
32d
11c
$popsys/pop11 +$popsavelib/prolog noinit << \\\\
.
@NEWMASTER@ johnw Thu Oct 4 15:39:38 BST 1990
32d
21c
	sys_startup_subsystems();
.
@NEWMASTER@ johnw Tue Oct 9 14:37:37 BST 1990
36a
# --- Aaron Sloman, Aug 15 1986 fixed environment. Inserted sysexit
.
33d
31d
11c
$popsys/pop11 +$popsavelib/prolog =noinit << \\\\
.
@NEWMASTER@ simonn Fri Oct 12 16:49:55 BST 1990
26d
18a
ved_notrace();

if sys_lock_system('$poplocalbin/ct.psv', true, pop_system_version) then
	prolog_version('CT saved image');
	syssetup();
	prolog_invoke(prolog_maketerm("ct_start", 0)) -> ;
	setpop();
endif;

.
15,17c
prolog_language("pop11").
.
@NEWMASTER@ simonn Fri Oct 12 17:41:40 BST 1990
26c
# --- Simon Nichols, Oct 12 1990 - Rewritten to use save/2
.
@NEWMASTER@ johng Fri May 24 23:50:26 BST 1991
26d
11c
$popsys/pop11 +$popsavelib/prolog %noinit << \\\\
.
@NEWMASTER@ robd Tue Sep 10 12:34:06 BST 1991
26d
13,17c
library(ct).
library(tracer).
version('CT saved image').
prolog_eval(apply(valof(ved_notrace))).
save('$poplocalbin/ct', [lock, share, init, banner]) -> ct_start ; true.
.
2c
# --- Copyright University of Sussex 1990.  All rights reserved. ---------
.
