11
12
13
14
15
16
17
18
19
20
21
22
23
24
|
# Copyright (C) 2000 by Peter J. Gawthrop
###############################################################
## Version control history
###############################################################
## $Header$
## $Log$
## Revision 1.242 2000/05/18 20:12:02 peterg
## Version 4.2
##
## Revision 1.241 2000/05/16 11:42:14 peterg
## Addded /usr/lib/libp2c.a to gcc
##
## Revision 1.240 2000/05/10 09:38:58 peterg
|
>
>
>
|
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
|
# Copyright (C) 2000 by Peter J. Gawthrop
###############################################################
## Version control history
###############################################################
## $Header$
## $Log$
## Revision 1.243 2000/05/19 11:36:36 peterg
## Added logic rep.
##
## Revision 1.242 2000/05/18 20:12:02 peterg
## Version 4.2
##
## Revision 1.241 2000/05/16 11:42:14 peterg
## Addded /usr/lib/libp2c.a to gcc
##
## Revision 1.240 2000/05/10 09:38:58 peterg
|
1457
1458
1459
1460
1461
1462
1463
1464
1465
1466
1467
1468
1469
1470
|
echo Removing all working files
rm -rf ../MTT_work
fi
exit
fi
# User defined representations
if [ -f "$2_rep.make" ]; then
if [ -n "$4" ]; then
filename=$1_$2-$4.$3
else
filename=$1_$2.$3
fi
|
>
>
>
>
>
>
>
>
>
>
|
1460
1461
1462
1463
1464
1465
1466
1467
1468
1469
1470
1471
1472
1473
1474
1475
1476
1477
1478
1479
1480
1481
1482
1483
|
echo Removing all working files
rm -rf ../MTT_work
fi
exit
fi
# User defined representations
## Copy from library if not already here
if [ -f "$MTT_REP/$2_rep.make" ]; then
if [ -f "$2_rep.make" ]; then
echo Using $2_rep.make
else
echo Copying $2_rep.make from $MTT_REP
cp $MTT_REP/$2_rep.make .
fi
fi
if [ -f "$2_rep.make" ]; then
if [ -n "$4" ]; then
filename=$1_$2-$4.$3
else
filename=$1_$2.$3
fi
|