equal
deleted
inserted
replaced
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 |
|