Admin/make_everything
changeset 16328 49c1f9dedc56
parent 16301 f9f2e1643593
child 17572 81fcc0029761
equal deleted inserted replaced
16327:cd2cd49e6c8f 16328:49c1f9dedc56
     1 #!/usr/bin/env bash
     1 #!/usr/bin/env bash
     2 #
     2 #
     3 # $Id$
     3 # $Id$
     4 #
     4 #
     5 # make_everything -- an adhoc script that demonstrates the general procedure
     5 # make_everything -- an adhoc script that demonstrates the general procedure
     6 #   of creating the Isabelle distribution and WWW page
     6 #   of creating the Isabelle distribution and WWW site
     7 #
     7 #
     8 # assumptions:
     8 # assumptions:
     9 #   - proper settings for polyml are present by magic
     9 #   - proper settings for polyml are present by magic
    10 #     (e.g. via ~/isabelle/etc/settings)
    10 #     (e.g. via ~/isabelle/etc/settings)
    11 #   - ~/tmp/isadist/contrib holds packages of external tools (polyml etc.)
    11 #   - ~/tmp/isadist/contrib holds packages of external tools (polyml etc.)
    12 #
    12 
    13 
    13 
    14 date
    14 date
    15 
    15 
    16 REPOS=~/isabelle/src
    16 REPOS=~/isabelle/src
    17 DIST=~/tmp/isadist
    17 DIST=~/tmp/isadist