13
14
15
16
17
18
19
20
21
22
23
24
25
26
|
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
|
+
+
+
|
# Copyright (C) 2001 by Peter J. Gawthrop
###############################################################
## Version control history
###############################################################
## $Header$
## $Log$
## Revision 1.361 2002/09/16 08:08:00 geraint
## Merged changes from global-optimisation branch.
##
## Revision 1.360.2.3 2002/09/16 07:59:26 geraint
## Changed default optimisation to global.
##
## Revision 1.360.2.2 2002/09/04 10:44:59 geraint
## Added option to specify number of tmp variables declared (-ntmpvar <N>).
##
## Revision 1.360.2.1 2002/09/03 23:44:43 geraint
|
1614
1615
1616
1617
1618
1619
1620
1621
1622
1623
1624
1625
1626
1627
1628
|
1617
1618
1619
1620
1621
1622
1623
1624
1625
1626
1627
1628
1629
1630
1631
|
-
+
|
exit
fi
if [ "$1" = "hinfo" ] && [$2 = ""]; then
mtt_check_var "$HTMLVIEW" HTMLVIEW
(cd $MTT_DOC/; make --silent mtt.html)
echo Invoking $HTMLVIEW
(cd $MTT_DOC; $HTMLVIEW ./mtt.html)&
(cd $MTT_DOC; $HTMLVIEW file://$MTT_DOC/mtt.html)&
exit
fi
if [ "$1" = "manual" ] && [$2 = ""]; then
mtt_check_var "$PDFVIEW" PDFVIEW
(cd $MTT_DOC/; make --silent mtt.pdf)
echo Invoking $PDFVIEW
|