#!/bin/sh
# --- University of Birmingham 1994.
# File:             $poplocal/local/com/mkboole
# Purpose:         make a saved image for the Logic program
# Author:          Aaron Sloman, Jan 28 1994
# Documentation:   HELP * logic
# Related Files:

# Image is stored in $poplocalbin

cd $usepop/pop      # no init.p vedinit.p etc
poplib=""
export poplib

$popsys/pop11 %nort << 'xxxx'
lib logic;
false -> popgctrace;
if syssave('$poplocalbin/boole.psv') then
    erase(trycompile('$poplib/init.p') or trycompile('init.p'));
    (poppid + systime()) && 2:11111111 -> ranseed;
    'See HELP LOGIC for more information'=>
    'Type "BYE" to quit' =>
     sysexit -> popsetpop;
    logic();
    sysexit();
endif;
sysexit();
xxxx

rm -f $poplocalbin/boole.psv-
echo "boole.psv done"
