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 chaieb
Wed, 19 May 2004 11:23:59 +0200
changeset 14758 af3b71a46a1c
parent 10511 efb3428c9879
child 14981 e73f8140af78
permissions -rwxr-xr-x
A new implementation for presburger arithmetic following the one suggested in technical report Chaieb Amine and Tobias Nipkow. It is generic an smaller. the tactic has also changed and allows the abstaction over fuction occurences whose type is nat or int.
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$
9818
wenzelm
parents: 6029
diff changeset 
     4
 
# Author: Markus Wenzel, TU Muenchen
wenzelm
parents: 6029
diff changeset 
     5
 
# License: GPL (GNU GENERAL PUBLIC LICENSE)
2650
96234bf96bf9 configure - adapt Isabelle distribution to system environment
wenzelm
parents:
diff changeset 
     6
 
#
96234bf96bf9 configure - adapt Isabelle distribution to system environment
wenzelm
parents:
diff changeset 
     7
 
# configure - adapt Isabelle distribution to system environment
96234bf96bf9 configure - adapt Isabelle distribution to system environment
wenzelm
parents:
diff changeset 
     8
 







2655






9420efbb868e
manual steps comment;



wenzelm


parents: 
2650

diff
changeset




     9


## patch scripts













9420efbb868e
manual steps comment;



wenzelm


parents: 
2650

diff
changeset




    10









10511





wenzelm


parents: 
10077

diff
changeset




    11


cd "`dirname "$0"`"








9915






8de4ea6de3d0
added THIS;



wenzelm


parents: 
9818

diff
changeset




    12









6029






30c957a74803
bash -c :;



wenzelm


parents: 
3007

diff
changeset




    13


if bash -c :








2650






96234bf96bf9
configure - adapt Isabelle distribution to system environment



wenzelm


parents: 

diff
changeset




    14


then








10077





wenzelm


parents: 
9915

diff
changeset




    15


  bash lib/scripts/patch-scripts.bash








2650






96234bf96bf9
configure - adapt Isabelle distribution to system environment



wenzelm


parents: 

diff
changeset




    16


else













96234bf96bf9
configure - adapt Isabelle distribution to system environment



wenzelm


parents: 

diff
changeset




    17


  echo "FATAL ERROR: bash not found!"













96234bf96bf9
configure - adapt Isabelle distribution to system environment



wenzelm


parents: 

diff
changeset




    18


  exit 2













96234bf96bf9
configure - adapt Isabelle distribution to system environment



wenzelm


parents: 

diff
changeset




    19


fi















isabelle