isabelle: Admin/make_everything@e7ba448bc571 (annotated)

12721 226fc0e2e7e3 #!/usr/bin/env bash; wenzelm parents: 11121 diff changeset	1	#!/usr/bin/env bash
11121 44db3b518ca2 adhoc script for creating complete Isabelle dist pages; wenzelm parents: diff changeset	2	#
44db3b518ca2 adhoc script for creating complete Isabelle dist pages; wenzelm parents: diff changeset	3	# $Id$
44db3b518ca2 adhoc script for creating complete Isabelle dist pages; wenzelm parents: diff changeset	4	#
44db3b518ca2 adhoc script for creating complete Isabelle dist pages; wenzelm parents: diff changeset	5	# make_everything -- an adhoc script that demonstrates the general procedure
16328 49c1f9dedc56 added CONTRIBUTORS haftmann parents: 16301 diff changeset	6	# of creating the Isabelle distribution and WWW site
11121 44db3b518ca2 adhoc script for creating complete Isabelle dist pages; wenzelm parents: diff changeset	7	#
44db3b518ca2 adhoc script for creating complete Isabelle dist pages; wenzelm parents: diff changeset	8	# assumptions:
44db3b518ca2 adhoc script for creating complete Isabelle dist pages; wenzelm parents: diff changeset	9	# - proper settings for polyml are present by magic
44db3b518ca2 adhoc script for creating complete Isabelle dist pages; wenzelm parents: diff changeset	10	# (e.g. via ~/isabelle/etc/settings)
44db3b518ca2 adhoc script for creating complete Isabelle dist pages; wenzelm parents: diff changeset	11	# - ~/tmp/isadist/contrib holds packages of external tools (polyml etc.)
16328 49c1f9dedc56 added CONTRIBUTORS haftmann parents: 16301 diff changeset	12
11121 44db3b518ca2 adhoc script for creating complete Isabelle dist pages; wenzelm parents: diff changeset	13
44db3b518ca2 adhoc script for creating complete Isabelle dist pages; wenzelm parents: diff changeset	14	date
44db3b518ca2 adhoc script for creating complete Isabelle dist pages; wenzelm parents: diff changeset	15
44db3b518ca2 adhoc script for creating complete Isabelle dist pages; wenzelm parents: diff changeset	16	REPOS=~/isabelle/src
44db3b518ca2 adhoc script for creating complete Isabelle dist pages; wenzelm parents: diff changeset	17	DIST=~/tmp/isadist
44db3b518ca2 adhoc script for creating complete Isabelle dist pages; wenzelm parents: diff changeset	18
17572 81fcc0029761 tuned; wenzelm parents: 16328 diff changeset	19	$REPOS/Admin/makedist ${1:--}
11121 44db3b518ca2 adhoc script for creating complete Isabelle dist pages; wenzelm parents: diff changeset	20	ISABELLE_DIST=$(cat $DIST/ISABELLE_DIST)
44db3b518ca2 adhoc script for creating complete Isabelle dist pages; wenzelm parents: diff changeset	21
44db3b518ca2 adhoc script for creating complete Isabelle dist pages; wenzelm parents: diff changeset	22	case $(hostname) in
44db3b518ca2 adhoc script for creating complete Isabelle dist pages; wenzelm parents: diff changeset	23	broy)
44db3b518ca2 adhoc script for creating complete Isabelle dist pages; wenzelm parents: diff changeset	24	#Note: this causes strange behaviour with "nohup" -- better use "screen"
44db3b518ca2 adhoc script for creating complete Isabelle dist pages; wenzelm parents: diff changeset	25	ssh sunbroy1 ". ~/.bashrc; $REPOS/Admin/makebin $ISABELLE_DIST"
44db3b518ca2 adhoc script for creating complete Isabelle dist pages; wenzelm parents: diff changeset	26	ssh atbroy37 ". ~/.bashrc; $REPOS/Admin/makebin $ISABELLE_DIST"
44db3b518ca2 adhoc script for creating complete Isabelle dist pages; wenzelm parents: diff changeset	27	;;
44db3b518ca2 adhoc script for creating complete Isabelle dist pages; wenzelm parents: diff changeset	28	*)
44db3b518ca2 adhoc script for creating complete Isabelle dist pages; wenzelm parents: diff changeset	29	$REPOS/Admin/makebin $ISABELLE_DIST
44db3b518ca2 adhoc script for creating complete Isabelle dist pages; wenzelm parents: diff changeset	30	;;
44db3b518ca2 adhoc script for creating complete Isabelle dist pages; wenzelm parents: diff changeset	31	esac
44db3b518ca2 adhoc script for creating complete Isabelle dist pages; wenzelm parents: diff changeset	32
44db3b518ca2 adhoc script for creating complete Isabelle dist pages; wenzelm parents: diff changeset	33	cd $(dirname "$ISABELLE_DIST")
44db3b518ca2 adhoc script for creating complete Isabelle dist pages; wenzelm parents: diff changeset	34	cp -a ../contrib .
44db3b518ca2 adhoc script for creating complete Isabelle dist pages; wenzelm parents: diff changeset	35
16301 f9f2e1643593 migrated scripts to new webiste haftmann parents: 12721 diff changeset	36	cd website && make && cd .. && rm -rf website
11121 44db3b518ca2 adhoc script for creating complete Isabelle dist pages; wenzelm parents: diff changeset	37
44db3b518ca2 adhoc script for creating complete Isabelle dist pages; wenzelm parents: diff changeset	38	date

author	wenzelm
	Tue, 31 Jul 2007 00:56:31 +0200
changeset 24077	e7ba448bc571
parent 17572	81fcc0029761
permissions	-rwxr-xr-x