#!/bin/csh -f
# Create a stand alone executable of SWI-Prolog

set pl=pl1.5

switch( $#argv )
	case 0:
		set bin=/usr/local/bin/$pl
		set lib=`(cd ../library; pwd)`
		breaksw
	case 1:
		set pl=$1
		set bin=/usr/local/bin/$pl
		set lib=`(cd ../library; pwd)`
		breaksw
	case 2:
		set pl=$1
		set lib=`(cd ../library; pwd)`
		set bin=$2
		breaksw
	case 3:
		set pl=$1
		set lib=`(cd $2; pwd)`
		set bin=$3
		breaksw
	default:
		echo "Usage: dump [sys] [library] [executable]"
		exit 1
endsw

$pl -x startup -f none -L10 -G10 -T5 << _EOS_
assert(library_directory('$lib')).
save_program('$bin',
	[ goal		= '''\$welcome'''
	, toplevel	= prolog
	, init_file	= '.plrc'
	]).	
halt.
_EOS_
