--- a/Admin/Release/build Thu Oct 13 23:09:26 2016 +0200
+++ /dev/null Thu Jan 01 00:00:00 1970 +0000
@@ -1,166 +0,0 @@
-#!/usr/bin/env bash
-#
-# Author: Makarius
-#
-# build full Isabelle distribution from repository
-
-THIS="$(cd "$(dirname "$0")"; pwd)"
-PRG="$(basename "$0")"
-
-
-## diagnostics
-
-PRG="$(basename "$0")"
-
-function usage()
-{
- echo
- echo "Usage: isabelle $PRG [OPTIONS] DIR [VERSION]"
- echo
- echo " Options are:"
- echo " -M USER@HOST remote Mac OS X for dmg build"
- echo " -O official release (not release-candidate)"
- echo " -j INT maximum number of parallel jobs (default 1)"
- echo " -l build library"
- echo " -r RELEASE proper release with name"
- echo
- echo " Make Isabelle distribution DIR, using the local repository clone."
- echo
- echo " VERSION identifies the snapshot, using usual Mercurial terminology;"
- echo " the default is RELEASE if given, otherwise \"tip\"."
- echo
- exit 1
-}
-
-function fail()
-{
- echo "$1" >&2
- exit 2
-}
-
-function check_number()
-{
- [ -n "$1" -a -z "$(echo "$1" | tr -d '[0-9]')" ] || fail "Bad number: \"$1\""
-}
-
-
-## process command line
-
-# options
-
-REMOTE_MAC=""
-OFFICIAL_RELEASE=""
-JOBS=""
-LIBRARY=""
-RELEASE=""
-
-while getopts "M:Oj:lr:" OPT
-do
- case "$OPT" in
- M)
- REMOTE_MAC="$OPTARG"
- ;;
- O)
- OFFICIAL_RELEASE="-O"
- ;;
- j)
- check_number "$OPTARG"
- JOBS="-j $OPTARG"
- ;;
- l)
- LIBRARY="true"
- ;;
- r)
- RELEASE="$OPTARG"
- ;;
- \?)
- usage
- ;;
- esac
-done
-
-shift $(($OPTIND - 1))
-
-
-# args
-
-BASE_DIR=""
-[ "$#" -gt 0 ] && { BASE_DIR="$1"; shift; }
-[ -z "$BASE_DIR" ] && usage
-
-VERSION=""
-[ "$#" -gt 0 ] && { VERSION="$1"; shift; }
-[ -z "$VERSION" ] && VERSION="$RELEASE"
-[ -z "$VERSION" ] && VERSION="tip"
-
-[ "$#" -gt 0 ] && usage
-
-
-## Isabelle settings
-
-ISABELLE_TOOL="$THIS/../../bin/isabelle"
-ISABELLE_PLATFORM_FAMILY="$("$ISABELLE_TOOL" getenv -b ISABELLE_PLATFORM_FAMILY)"
-
-
-## main
-
-# make dist
-
-if [ -z "$RELEASE" ]; then
- DISTNAME="Isabelle_$(env LC_ALL=C date "+%d-%b-%Y")"
- "$ISABELLE_TOOL" makedist -d "$BASE_DIR" $JOBS $OFFICIAL_RELEASE
-else
- DISTNAME="$RELEASE"
- "$ISABELLE_TOOL" makedist -d "$BASE_DIR" $JOBS $OFFICIAL_RELEASE -r "$RELEASE"
-fi
-[ "$?" = 0 ] || exit "$?"
-
-DISTBASE="$BASE_DIR/dist-${DISTNAME}"
-
-
-# make bundles
-
-for PLATFORM_FAMILY in linux windows windows64 macos
-do
-
-echo
-echo "*** $PLATFORM_FAMILY ***"
-
-if [ -n "$REMOTE_MAC" ]; then
- "$ISABELLE_TOOL" makedist_bundle "$DISTBASE/${DISTNAME}.tar.gz" "$PLATFORM_FAMILY" "$REMOTE_MAC"
-else
- "$ISABELLE_TOOL" makedist_bundle "$DISTBASE/${DISTNAME}.tar.gz" "$PLATFORM_FAMILY"
-fi
-[ "$?" = 0 ] || exit "$?"
-
-done
-
-
-# minimal index
-
-cat > "$DISTBASE/index.html" <<EOF
-<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 3.2//EN">
-<html>
-<head>
-<title>${DISTNAME}</title>
-</head>
-
-<body>
-<h1>${DISTNAME}</h1>
-<ul>
-<li><a href="${DISTNAME}_app.tar.gz">Linux</a></li>
-<li><a href="${DISTNAME}-win32.exe">Windows</a></li>
-<li><a href="${DISTNAME}-win64.exe">Windows (64bit)</a></li>
-<li><a href="${DISTNAME}.dmg">Mac OS X</a></li>
-</ul>
-</body>
-
-</html>
-EOF
-
-
-# HTML library
-
-if [ -n "$LIBRARY" ]; then
- "$THIS/build_library" $JOBS "$DISTBASE/${DISTNAME}_${ISABELLE_PLATFORM_FAMILY}.tar.gz"
-fi