make-dist

Re-organised to perform the tests independently. Now test
is defined in terms of separate targets IMP, ex, etc. If ISABELLECOMP is set
wrongly then "exit 1" causes the Make to fail. Defines the macro "LOGIC" to
refer to the right command for running the object-logic. Uses "suffix
substitution" to shorten macro definitions.

#!/bin/sh
#make-dist <DIR> 
#make a distribution directory of Isabelle sources. Example:    
#    rm -r /usr/groups/theory/isabelle/91
#    make-dist /usr/groups/theory/isabelle/91

#BEFORE MAKING A NEW DISTRIBUTION VERSION, CHECK...
#   * that make-all works perfectly
#   * that README files are up-to-date
#   * that the version number has been updated

#This version copies EVERYTHING!!!!!!!!!!!!!!!!

set -e		#terminate if error

#Pure Isabelle
mkdir ${1?'No destination directory specified'}
cp -ipr . $1

#TO WRITE POLY/ML AND ISABELLE TAPES, USE SHELL SCRIPT write-dist
#TO PACK FOR EMAIL, USE SHELL SCRIPTS make-emaildist, send-emaildist