︙ | | |
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
|
+
+
+
+
|
# Copyright (c) P.J.Gawthrop, 1989, 1990, 1991, 1993, 1994, 1995, 1996.
###############################################################
## Version control history
###############################################################
## $Header$
## $Log$
## Revision 1.118 1998/02/05 12:00:11 peterg
## Tidy mode now default.
## It seems to work ok but not for book type documents.
##
## Revision 1.117 1998/02/04 16:50:50 peterg
## Introduced the tidy (-t and -T) options
##
## Revision 1.116 1998/02/04 11:00:04 peterg
## Added view of subsystems.
##
## Revision 1.115 1998/01/29 19:37:31 peterg
|
︙ | | |
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
|
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
|
-
+
|
## Put in fig.fig target.
##
## Revision 1.1 1996/08/04 17:29:42 peter
## Initial revision
##
###############################################################
#Check $MTTPATH has bee set
#Check $MTTPATH has been set
mtt_check_var "$MTTPATH" "MTTPATH"
# MTT recursion level is zero unless explicitly set
level=0
#Computation mode is octave by default
computation=octave
|
︙ | | |
448
449
450
451
452
453
454
455
456
457
458
459
460
461
|
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
|
+
+
|
mtt_switches="$mtt_switches $1";
dae_is_ode=1 ;;
-s )
mtt_switches="$mtt_switches $1";
switches=1 ;;
-d )
directory=$2; cd $directory; shift ;;
-S )
directory=$2; shift;;
-D )
mtt_switches="$mtt_switches $1";
debug=debug ;;
-t )
tidy=tidy ;;
-T )
tidy=tidy;
|
︙ | | |
510
511
512
513
514
515
516
517
518
519
520
521
522
523
|
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
|
+
+
+
|
echo ' mtt <system_name> <representation> <language> <parameters>'
echo 'Options: -q quiet mode'
echo ' -p print environment variables'
echo ' -c c-code generation'
echo ' -o ode and dae are the same'
echo ' -s use switch (ISW and CSW) components'
echo ' -d <dir> use directory <dir>'
echo ' -t tidy mode (default)'
echo ' -u untidy mode (leaves files in current dir)'
echo ' -d <dir> use directory <dir>'
echo ' -D debug -- leave log files etc'
exit
fi
fi
if [ "$1" = "info" ] && [ "$3" = "" ]; then
|
︙ | | |
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
|
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
|
+
+
+
+
+
+
-
+
|
rm -fR $1_rep MTT_work
exit
fi
if [ "$2" = "rep" ]; then
documenttype=article
# See if we are making a book -- ie representation rep on a directory
isMTT_work=`pwd | grep 'MTT_work`
if [ -n "$isMTT_work" ]; then
dotdot='../'
fi
echo $dotdot$1
isdirectory=`file $1 | awk '{print $2}' | grep directory`
isdirectory=`file $dotdot$1 | awk '{print $2}' | grep directory`
if [ -n "$isdirectory" ]; then
documenttype=book
fi
else
documenttype=section
fi
|
︙ | | |
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
|
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
|
-
+
+
-
+
|
fi
exit
fi
# Tidy mode - operate in the directory MTT-work
if [ "$tidy" = "tidy" ]; then
mkdir -p MTT_work
cp -u *_*.* MTT_work
cp -u -f *_*.* MTT_work
cd MTT_work
Directory=$directory/MTT_work
mtt -u -q $mtt_switches $1 $2 $3 $4
mtt -u -q $mtt_switches -S $Directory $1 $2 $3 $4
if [ "$3" != "view" ]; then
cp -f $1_$2.$3 ..
fi
# Remove the MTT_work directory if very tidy
if [ "$verytidy" = "verytidy" ]; then
echo Removing all working files
|
︙ | | |
1067
1068
1069
1070
1071
1072
1073
1074
1075
1076
1077
1078
1079
1080
1081
|
1083
1084
1085
1086
1087
1088
1089
1090
1091
1092
1093
1094
1095
1096
1097
|
-
+
|
#SUMMARY rep report (txt)
#SUMMARY rep report (tex)
#SUMMARY rep report (view)
ifeq ($documenttype,book)
$1_rep.txt:
dir2rep $1;
dir2rep $1 $dotdot;
else
$1_rep.txt:
echo Creating $1_rep.txt;
( \
echo "# Outline report file for system $1 ($1_rep.txt)"; \
cat $MTTPATH/trans/m/rcs_header.txt; \
echo "mtt $1 abg tex"; \
|
︙ | | |
1639
1640
1641
1642
1643
1644
1645
1646
1647
1648
1649
1650
|
1655
1656
1657
1658
1659
1660
1661
1662
1663
1664
1665
1666
|
-
+
|
rm -f mtt_info.txt warning.txt
# rm -f *_*.idx *_*.ind *_*.ilg *_*.lof *_*.toc
# Remove logs if not debugging
if [ "$debug" != "debug" ]; then
rm -f *.log
else
echo Debugging - log files retained in $directory/LOGFILES
echo Debugging - log files retained in LOGFILES
mkdir -p LOGFILES
mv -f *.log LOGFILES
fi
|