swigra_batch_recursive
1.11 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
#! /bin/bash
# Wsadowe wywołanie parsera
#
# Author: Marcin Woliński
# This file is in the public domain.
swigradir=`dirname $0`
parser=gfjp-bin
while getopts :12 OPT; do
case $OPT in
1)
parser=gfjp-bin
;;
2)
parser=gfjp2-bin
;;
*)
echo "usage: ${0##*/} [-12] "
exit 2
esac
done
shift $(( OPTIND - 1 ))
OPTIND=1
echo >>log
echo "====" `date` "====">>log
exec 2>>log
# ograniczenie czasu liczenia (w sekundach):
#let timelimit=4*60*60 # 2002/12/18
#let timelimit=8*60 # aprzyk9
#let timelimit=12*60 #
#let timelimit=60*60 # 2003/11/07
let timelimit=8*60
#let timelimit=30 # KIPI
ulimit -v 500000
for d in */*/; do
(echo $d
cd $d
for i in *.doa
do
wynik=`basename $i .doa`.forest
if [[ -s $wynik && $wynik -nt $i ]]
then continue
fi
echo Making $wynik
(
ulimit -t $timelimit
# nice -n 19 swipl -x $swigradir/$parser -G0 -T20m -L10m -t halt -g "['$i']" >$wynik
swipl -x $swigradir/$parser -t halt -g "['$i']" >$wynik
)
# gzip $wynik
done
)
done
### Local Variables:
### coding: utf-8
### mode: shell-script
### End: