configure
author oheimb
Tue, 07 Apr 1998 13:46:05 +0200
changeset 4800 97c3a45d092b
parent 3007 e5efa177ee0c
child 6029 30c957a74803
permissions -rwxr-xr-x
replaced option_map_SomeD by option_map_eq_Some (RS iffD1) added option_map_eq_Some to simpset(), option_map_eq_Some RS iffD1 to claset()
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