Mercurial Mercurial > repos > isabelle / annotate
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
configure
author paulson
Tue, 30 Sep 1997 11:03:55 +0200
changeset 3745 4c5d3b1ddc75
parent 3007 e5efa177ee0c
child 6029 30c957a74803
permissions -rwxr-xr-x
Client, Server certificates now sent using the separate Certificate rule, simplifying ServerHello and ClientKeyExch. Resumption no longer needs its own version of ServerHello. Proofs run nearly three minutes faster.
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
2650
96234bf96bf9 configure - adapt Isabelle distribution to system environment
wenzelm
parents:
diff changeset 
     1
 
#!/bin/sh
96234bf96bf9 configure - adapt Isabelle distribution to system environment
wenzelm
parents:
diff changeset 
     2
 
#
96234bf96bf9 configure - adapt Isabelle distribution to system environment
wenzelm
parents:
diff changeset 
     3
 
# $Id$
96234bf96bf9 configure - adapt Isabelle distribution to system environment
wenzelm
parents:
diff changeset 
     4
 
#
96234bf96bf9 configure - adapt Isabelle distribution to system environment
wenzelm
parents:
diff changeset 
     5
 
# configure - adapt Isabelle distribution to system environment
96234bf96bf9 configure - adapt Isabelle distribution to system environment
wenzelm
parents:
diff changeset 
     6
 







2655






9420efbb868e
manual steps comment;



wenzelm


parents: 
2650

diff
changeset




     7


## patch scripts













9420efbb868e
manual steps comment;



wenzelm


parents: 
2650

diff
changeset




     8









3007






e5efa177ee0c
removed -norc;



wenzelm


parents: 
2754

diff
changeset




     9


if bash -c ""








2650






96234bf96bf9
configure - adapt Isabelle distribution to system environment



wenzelm


parents: 

diff
changeset




    10


then













96234bf96bf9
configure - adapt Isabelle distribution to system environment



wenzelm


parents: 

diff
changeset




    11


  bash lib/scripts/patch-scripts.bash













96234bf96bf9
configure - adapt Isabelle distribution to system environment



wenzelm


parents: 

diff
changeset




    12


else













96234bf96bf9
configure - adapt Isabelle distribution to system environment



wenzelm


parents: 

diff
changeset




    13


  echo "FATAL ERROR: bash not found!"













96234bf96bf9
configure - adapt Isabelle distribution to system environment



wenzelm


parents: 

diff
changeset




    14


  exit 2













96234bf96bf9
configure - adapt Isabelle distribution to system environment



wenzelm


parents: 

diff
changeset




    15


fi















isabelle