Overview
Comment:Removed a bash-ism: replaced [[ conditional ]] with [ conditional ]
Downloads: Tarball | ZIP archive | SQL archive
Timelines: family | ancestors | descendants | both | origin/master | trunk
Files: files | file ages | folders
SHA3-256: 250ff4615633848577d086a7ea6484718a18853b402c42fd5c42559c47e27d0f
User & Date: geraint@users.sourceforge.net on 2005-02-17 18:36:38
Other Links: branch diff | manifest | tags
Context
2005-02-17
18:54:23
Fixed a bash-sim: replaced let with $(( )) check-in: 9b647af872 user: geraint@users.sourceforge.net tags: origin/master, trunk
18:36:38
Removed a bash-ism: replaced [[ conditional ]] with [ conditional ] check-in: 250ff46156 user: geraint@users.sourceforge.net tags: origin/master, trunk
2005-01-19
09:45:15
Fixed whitespace. check-in: 0aaef84341 user: geraint@users.sourceforge.net tags: origin/master, trunk
Changes
Hide Diffs Unified Diffs Ignore Whitespace Patch

Modified mttroot/mtt/Makefile from [ac31fd0048] to [a0bd5a4a35].

︙︙
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144

	@echo '# This file is auto-generated - do not edit'		>>mtt.sh.tmp
	@echo ''							>>mtt.sh.tmp
	@echo 'mtt_config_file=$(CONFDIR)/mtt.conf'			>>mtt.sh.tmp
	@echo 'mtt_program_dir=$(PROGDIR)'				>>mtt.sh.tmp
	@echo 'mtt_install_dir=$(INSTDIR)'				>>mtt.sh.tmp
	@echo ''							>>mtt.sh.tmp
	@echo '# get site-specific settings'				>>mtt.sh.tmp
	@echo 'if [[ -r $${mtt_config_file} ]]; then'			>>mtt.sh.tmp
	@echo '   . $${mtt_config_file} $${mtt_install_dir} >/dev/null'	>>mtt.sh.tmp
	@echo ''							>>mtt.sh.tmp
	@echo 'elif [[ -r $${mtt_install_dir}/bin/mttrc ]]; then'	>>mtt.sh.tmp
	@echo '   . $${mtt_install_dir}/bin/mttrc $${mtt_install_dir}'	>>mtt.sh.tmp
	@echo 'fi'							>>mtt.sh.tmp
	@echo ''							>>mtt.sh.tmp
	@echo '# get user-specific settings'				>>mtt.sh.tmp
	@echo 'if [[ -r $${HOME}/.mttrc ]]; then'			>>mtt.sh.tmp
	@echo '   . $${HOME}/.mttrc'					>>mtt.sh.tmp
	@echo 'fi'							>>mtt.sh.tmp
	@echo ''							>>mtt.sh.tmp
	@echo '# get directory-specific settings'			>>mtt.sh.tmp
	@echo 'if [[ -r ./.mttrc ]]; then'				>>mtt.sh.tmp
	@echo '   . ./.mttrc'						>>mtt.sh.tmp
	@echo 'fi'							>>mtt.sh.tmp
	@echo ''							>>mtt.sh.tmp

mtt.sh: mtt.sh.tmp
	@cat mtt.sh.tmp bin/mtt						> mtt.sh









|


|




|




|








117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144

	@echo '# This file is auto-generated - do not edit'		>>mtt.sh.tmp
	@echo ''							>>mtt.sh.tmp
	@echo 'mtt_config_file=$(CONFDIR)/mtt.conf'			>>mtt.sh.tmp
	@echo 'mtt_program_dir=$(PROGDIR)'				>>mtt.sh.tmp
	@echo 'mtt_install_dir=$(INSTDIR)'				>>mtt.sh.tmp
	@echo ''							>>mtt.sh.tmp
	@echo '# get site-specific settings'				>>mtt.sh.tmp
	@echo 'if [ -r $${mtt_config_file} ]; then'			>>mtt.sh.tmp
	@echo '   . $${mtt_config_file} $${mtt_install_dir} >/dev/null'	>>mtt.sh.tmp
	@echo ''							>>mtt.sh.tmp
	@echo 'elif [ -r $${mtt_install_dir}/bin/mttrc ]; then'		>>mtt.sh.tmp
	@echo '   . $${mtt_install_dir}/bin/mttrc $${mtt_install_dir}'	>>mtt.sh.tmp
	@echo 'fi'							>>mtt.sh.tmp
	@echo ''							>>mtt.sh.tmp
	@echo '# get user-specific settings'				>>mtt.sh.tmp
	@echo 'if [ -r $${HOME}/.mttrc ]; then'				>>mtt.sh.tmp
	@echo '   . $${HOME}/.mttrc'					>>mtt.sh.tmp
	@echo 'fi'							>>mtt.sh.tmp
	@echo ''							>>mtt.sh.tmp
	@echo '# get directory-specific settings'			>>mtt.sh.tmp
	@echo 'if [ -r ./.mttrc ]; then'				>>mtt.sh.tmp
	@echo '   . ./.mttrc'						>>mtt.sh.tmp
	@echo 'fi'							>>mtt.sh.tmp
	@echo ''							>>mtt.sh.tmp

mtt.sh: mtt.sh.tmp
	@cat mtt.sh.tmp bin/mtt						> mtt.sh
︙︙

Modified mttroot/mtt/bin/mtt from [afe035df92] to [d18eed7c6b].

︙︙
13
14
15
16
17
18
19



20
21
22
23
24
25
26

# Copyright (C) 2001 by Peter J. Gawthrop

###############################################################
## Version control history
###############################################################
## $Header$
## $Log$



## Revision 1.405  2005/01/06 12:47:53  geraint
## Fixed generation of sese.r with -make-sort option.
##
## Revision 1.404  2004/09/10 21:05:15  geraint
## Ensure that the system exists before proceeding.
## This should stop me from copying my home directory to MTT_work.
##








>
>
>








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.406  2005/01/06 15:36:06  geraint
## Tidied output of options.
##
## Revision 1.405  2005/01/06 12:47:53  geraint
## Fixed generation of sese.r with -make-sort option.
##
## Revision 1.404  2004/09/10 21:05:15  geraint
## Ensure that the system exists before proceeding.
## This should stop me from copying my home directory to MTT_work.
##
︙︙
2313
2314
2315
2316
2317
2318
2319
2320
2321
2322
2323
2324
2325
2326
2327

     read_file_name=`basename ${read_file}`
     touch ${read_file_name}
    done
   done
fi

# Tidy mode - operate in the directory MTT-work
if [[ "$tidy" = "tidy" && "$level" = "0" ]]; then
    # make sure that a system exists in this directory
    if [ "${sys}_${rep}.${lang}" != "${sys}_abg.dia" ] && [ "${sys}_${rep}.${lang}" != "${sys}_abg.fig" ]; then
	nabgs=`ls ${sys}_abg.* 2>/dev/null | wc -l`
	if [ $nabgs -eq 0 ]; then
	    echo "MTT Error: System $sys does not exist"
	    exit -1;
	fi








|








2316
2317
2318
2319
2320
2321
2322
2323
2324
2325
2326
2327
2328
2329
2330

     read_file_name=`basename ${read_file}`
     touch ${read_file_name}
    done
   done
fi

# Tidy mode - operate in the directory MTT-work
if [ "$tidy" = "tidy" ] && [ "$level" = "0" ]; then
    # make sure that a system exists in this directory
    if [ "${sys}_${rep}.${lang}" != "${sys}_abg.dia" ] && [ "${sys}_${rep}.${lang}" != "${sys}_abg.fig" ]; then
	nabgs=`ls ${sys}_abg.* 2>/dev/null | wc -l`
	if [ $nabgs -eq 0 ]; then
	    echo "MTT Error: System $sys does not exist"
	    exit -1;
	fi
︙︙

Modified mttroot/mtt/bin/mtt_versions from [f87dfcf062] to [1a4f57c0f6].

︙︙
10
11
12
13
14
15
16



17
18
19
20
21
22
23

# Copyright (c) P.J.Gawthrop 1998

###############################################################
## Version control history
###############################################################
## $Id$
## $Log$



## Revision 1.3  2002/04/28 18:41:26  geraint
## Fixed [ 549658 ] awk should be gawk.
## Replaced calls to awk with call to gawk.
##
## Revision 1.2  2000/11/13 21:40:26  peterg
## Sorted out the non-gnu
##








>
>
>








10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26

# Copyright (c) P.J.Gawthrop 1998

###############################################################
## Version control history
###############################################################
## $Id$
## $Log$
## Revision 1.4  2003/08/06 22:39:40  geraint
## Fixed reporting of non-existent software, no longer says "is OK and has version .".
##
## Revision 1.3  2002/04/28 18:41:26  geraint
## Fixed [ 549658 ] awk should be gawk.
## Replaced calls to awk with call to gawk.
##
## Revision 1.2  2000/11/13 21:40:26  peterg
## Sorted out the non-gnu
##
︙︙
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64

echo Doing the non-GNU components

print_version ()
{
    program=${1:-"Error: unknown program"}
    shift;
    version=$*
    if [[ ${version:-""} ]]; then
	echo is OK and has version $version.
    else
	echo $program does not exist.
    fi
}

echo Trying xfig ...








|








53
54
55
56
57
58
59
60
61
62
63
64
65
66
67

echo Doing the non-GNU components

print_version ()
{
    program=${1:-"Error: unknown program"}
    shift;
    version=$*
    if [ ${version:-""} ]; then
	echo is OK and has version $version.
    else
	echo $program does not exist.
    fi
}

echo Trying xfig ...
︙︙

Modified mttroot/mtt/bin/trans/mtt_uncompress.sh from [f07c5061fe] to [164628bbec]. 

1
2
3
4
5
6
7
8
9
10
11
12

#! /bin/sh

file=$1

gzip --test --quiet $file 2> /dev/null ; file_is_uncompressed=$?

if [[ $file_is_uncompressed -eq 0 ]]; then
    gz=`mktemp $file.gz.tmpXXXXXX`
    mv $file $gz
    zcat $gz > $file
fi








|






1
2
3
4
5
6
7
8
9
10
11
12

#! /bin/sh

file=$1

gzip --test --quiet $file 2> /dev/null ; file_is_uncompressed=$?

if [ $file_is_uncompressed -eq 0 ]; then
    gz=`mktemp $file.gz.tmpXXXXXX`
    mv $file $gz
    zcat $gz > $file
fi

MTT: Model Transformation Tools
[ GitHub | SourceHut | Sourceforge | Fossil RSS ]