Subversion Repositories wimsdev

Rev

Rev 20 | Rev 16107 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed

Rev 20 Rev 11566
Line 1... Line 1...
1 
#! /bin/sh
 1 
#! /bin/sh
2 
 
 2 
 
- 
 
 3 
LL="env LC_COLLATE=POSIX LANG=POSIX LC_CTYPE=fr_FR.UTF-8"
- 
 
 4 
LL="env LC_ALL=C LC_CTYPE=C LANG=C"
3 
thisdir=`pwd`
 5 
thisdir=`pwd`
4 
lastdir=$thisdir
 6 
lastdir=$thisdir
5 
if [ -z "$wims_home" ]; then wims_home=$w_wims_home; fi
 7 
if [ -z "$wims_home" ]; then wims_home=$w_wims_home; fi
6 
 
 8 
 
7 
while [ -z "$wims_home" ] && [ "$lastdir" != "/" ]
 9 
while [ -z "$wims_home" ] && [ "$lastdir" != "/" ]
Line 20... Line 22...
20 
 
 22 
 
21 
deff=`cd def; ls *.def 2>/dev/null`
 23 
deff=`cd def; ls *.def 2>/dev/null`
22 
for i in $deff
 24 
for i in $deff
23 
do
 25 
do
24 
 dd=`echo $i | sed 's!\.def!.ded!g'`
 26 
 dd=`echo $i | sed 's!\.def!.ded!g'`
25 
 if [ ! -f src/$dd ]; then
27 
 if [ ! -f src/$dd ]; then
26 
  echo Removing def/$i.
 28 
  echo Removing def/$i.
27 
  rm -f def/$i >/dev/null;
 29 
  rm -f def/$i >/dev/null;
28 
 fi
 30 
 fi
29 
done
 31 
done
30 
 
 32 
 
Line 42... Line 44...
42 
  done
 44 
  done
43 
 done
 45 
 done
44 
 pref=`ls *.cpp 2>/dev/null`
 46 
 pref=`ls *.cpp 2>/dev/null`
45 
 for i in $pref
 47 
 for i in $pref
46 
 do
 48 
 do
47 
  list=`grep . $i | head -1 | grep target \
 49 
  list=`$LL grep . $i | head -1 | grep target \
48 
	| tr ',:;./?*#~$\\ ' '                  ' \
 50 
	| tr ',:;./?*#~$\\ ' '                  ' \
49 
	| awk -F'=' '{print $2}'`
 51 
	| awk -F'=' '{print $2}'`
50 
  test=`grep -E '^[[:blank:]]*#[[:blank:]]*include' $i \
 52 
  test=`grep -E '^[[:blank:]]*#[[:blank:]]*include' $i \
51 
	| grep -E -v '^[[:blank:]]*#[[:blank:]]*include[[:blank:]]*"[[:alnum:]_]+.inc"'`
 53 
	| grep -E -v '^[[:blank:]]*#[[:blank:]]*include[[:blank:]]*"[[:alnum:]_]+.inc"'`
52 
  if [ ! -z "$test" ]; then
 54 
  if [ ! -z "$test" ]; then
Line 77... Line 79...
77 
oef2wims_mdef="methods variables context environ equivalence startname goal newobject minsteps options"
 79 
oef2wims_mdef="methods variables context environ equivalence startname goal newobject minsteps options"
78 
export oef2wims_mdef
 80 
export oef2wims_mdef
79 
for i in $srcf
 81 
for i in $srcf
80 
do
 82 
do
81 
 dd=`echo $i | sed 's!\.ded!.def!g'`
 83 
 dd=`echo $i | sed 's!\.ded!.def!g'`
82 
 if [ ! -f def/$dd ] || [ src/$i -nt def/$dd ]; then
84 
 if [ ! -f def/$dd ] || [ src/$i -nt def/$dd ]; then
83 
  # echo $dd
 85 
  # echo $dd
84 
  rm -f def/$dd 2>/dev/null
 86 
  rm -f def/$dd 2>/dev/null
85 
  $wims_home/bin/oef2wims src/$i def/$dd
 87 
  $wims_home/bin/oef2wims src/$i def/$dd
86 
 fi
 88 
 fi
87 
done
 89 
done
Line 91... Line 93...
91 
 
 93 
 
92 
if [ -z "$list" ]; then exit; fi
 94 
if [ -z "$list" ]; then exit; fi
93 
titlist=
 95 
titlist=
94 
for i in $list
 96 
for i in $list
95 
do
 97 
do
96 
 tit=`awk -F= 'NF>=2 {print $2; exit}' def/$i.def | tr ',\11' '; '`
 98 
 tit=`awk -F= 'NF>=2 {print $2; exit}' def/$i.def | $LL tr ',\11' '; '`
97 
 echo "$i:$tit" >>Extitles
 99 
 echo "$i:$tit" >>Extitles
98 
 titlist="$titlist$tit
 100 
 titlist="$titlist$tit
99 
"
 101 
"
100 
done
 102 
done
101 
$wims_home/bin/dicsort Extitles
 103 
$wims_home/bin/dicsort Extitles
Line 103... Line 105...
103 
 mv Extitles.sorted Extitles
 105 
 mv Extitles.sorted Extitles
104 
fi
 106 
fi
105 
 
 107 
 
106 
echo "$titlist" >tmp1
 108 
echo "$titlist" >tmp1
107 
echo "$list" >tmp2
 109 
echo "$list" >tmp2
108 
llist=`paste tmp1 tmp2 | sort -t '	' -f -k 1,1`
 110 
llist=`$LL paste tmp1 tmp2 | $LL sort -t '	' -f -k 1,1`
109 
list=`echo "$llist" | awk -F'\11' 'length()>2 {print $2}' | tr '\n' ','`
 111 
list=`echo "$llist" | awk -F'\11' 'length()>2 {print $2}' |$LL tr '\n' ','`
110 
titlist=`echo "$llist" | awk -F'\11' 'length()>2 {print $1}' | tr '\n' ','`
 112 
titlist=`echo "$llist" | awk -F'\11' 'length()>2 {print $1}' | $LL tr '\n' ','`
111 
 
 113 
 
112 
cat >Exindex <<@
 114 
cat >Exindex <<@
113 
!set exolist  =!char 1 to -2 of $list
 115 
!set exolist  =!char 1 to -2 of $list
114 
!set titlelist=!char 1 to -2 of $titlist
 116 
!set titlelist=!char 1 to -2 of $titlist
115 
!set exototal =!itemcnt \$exolist
 117 
!set exototal =!itemcnt \$exolist