Subversion Repositories wimsdev

#! /bin/sh

LL="env LC_COLLATE=POSIX LANG=POSIX LC_CTYPE=fr_FR.UTF-8"

LL="env LC_ALL=C LC_CTYPE=C LANG=C"

thisdir=`pwd`

lastdir=$thisdir

if [ -z "$wims_home" ]; then wims_home=$w_wims_home; fi

while [ -z "$wims_home" ] && [ "$lastdir" != "/" ]

do

 wims_home=`cat $lastdir/.wimshome 2>/dev/null`

 lastdir=`dirname $lastdir`

done

if [ -z "$wims_home" ]; then

 echo WIMS home directory not found.

 exit;

fi

proc=$wims_home/public_html/scripts/deduc

if [ ! -d def ]; then exit; fi

if [ ! -d src ]; then exit; fi

deff=`cd def; ls *.def 2>/dev/null`

for i in $deff

do

 dd=`echo $i | sed 's!\.def!.ded!g'`

 if [ ! -f src/$dd ]; then

  echo Removing def/$i.

  rm -f def/$i >/dev/null;

 fi

done

sext=ded

cd src

if [ -d cpp ]; then

 cd cpp

 incf=`ls *.inc 2>/dev/null`

 for i in $incf

 do

  list=`egrep -l '#[[:blank:]]*include[[:blank:]]+"'$i'"' *.cpp`

  for j in $list

  do

   if [ $i -nt $j ]; then touch $j; fi

  done

 done

 pref=`ls *.cpp 2>/dev/null`

 for i in $pref

 do

  list=`$LL grep . $i | head -1 | grep target \

	| tr ',:;./?*#~$\\ ' '                  ' \

	| awk -F'=' '{print $2}'`

  test=`grep -E '^[[:blank:]]*#[[:blank:]]*include' $i \

	| grep -E -v '^[[:blank:]]*#[[:blank:]]*include[[:blank:]]*"[[:alnum:]_]+.inc"'`

  if [ ! -z "$test" ]; then

   echo $i: include violation.

   list=

  fi

  grep . $i | awk 'BEGIN {l=0}; {l++}; l>1 {print}' >cpp.tmp

  for j in $list

  do

   if [ ! -f ../$j.$sext ] || [ $i -nt ../$j.$sext ]; then

    echo "Preprocessing: $i -> ../$j.$sext"

    cat <<@ >../$j.$sext

%% This file is generated by preprocessor!

%% Do not edit it by hand.

%% Edit the source file cpp/$i.

@

    cpp -P -C -nostdinc -A- -D TARGET_$j -A "TARGET($j)" cpp.tmp >>../$j.$sext

   fi

  done

  rm -f cpp.tmp

 done

 cd ..

fi

srcf=`ls *.ded 2>/dev/null`

cd ..

oef2wims_mdef="methods variables context environ equivalence startname goal newobject minsteps options"

export oef2wims_mdef

for i in $srcf

do

 dd=`echo $i | sed 's!\.ded!.def!g'`

 if [ ! -f def/$dd ] || [ src/$i -nt def/$dd ]; then

  # echo $dd

  rm -f def/$dd 2>/dev/null

  $wims_home/bin/oef2wims src/$i def/$dd

 fi

done

rm -f Exindex Extitles >/dev/null

list=`cd def; ls *.def 2>/dev/null | sed 's/\.def//g'`

if [ -z "$list" ]; then exit; fi

titlist=

for i in $list

do

 tit=`awk -F= 'NF>=2 {print $2; exit}' def/$i.def | $LL tr ',\11' '; '`

 echo "$i:$tit" >>Extitles

 titlist="$titlist$tit

"

done

$wims_home/bin/dicsort Extitles

if [ -s Extitles.sorted ]; then

 mv Extitles.sorted Extitles

fi

echo "$titlist" >tmp1

echo "$list" >tmp2

llist=`$LL paste tmp1 tmp2 | $LL sort -t '	' -f -k 1,1`

list=`echo "$llist" | awk -F'\11' 'length()>2 {print $2}' |$LL tr '\n' ','`

titlist=`echo "$llist" | awk -F'\11' 'length()>2 {print $1}' | $LL tr '\n' ','`

cat >Exindex <<@

!set exolist  =!char 1 to -2 of $list

!set titlelist=!char 1 to -2 of $titlist

!set exototal =!itemcnt \$exolist

@

rm -f tmp1 tmp2