|
0
|
1 |
#!/bin/sh
|
|
|
2 |
#make-dist <DIR>
|
|
|
3 |
#make a distribution directory of Isabelle sources. Example:
|
|
|
4 |
# rm -r /usr/groups/theory/isabelle/91
|
|
|
5 |
# make-dist /usr/groups/theory/isabelle/91
|
|
|
6 |
|
|
|
7 |
#BEFORE MAKING A NEW DISTRIBUTION VERSION, CHECK...
|
|
|
8 |
# * that make-all works perfectly
|
|
|
9 |
# * that README files are up-to-date
|
|
|
10 |
# * that the version number has been updated
|
|
|
11 |
|
|
|
12 |
#This version copies EVERYTHING!!!!!!!!!!!!!!!!
|
|
|
13 |
|
|
|
14 |
set -e #terminate if error
|
|
|
15 |
|
|
|
16 |
#Pure Isabelle
|
|
|
17 |
mkdir ${1?'No destination directory specified'}
|
|
|
18 |
cp -ipr . $1
|
|
|
19 |
|
|
|
20 |
#TO WRITE POLY/ML AND ISABELLE TAPES, USE SHELL SCRIPT write-dist
|
|
|
21 |
#TO PACK FOR EMAIL, USE SHELL SCRIPTS make-emaildist, send-emaildist
|