Blame view

swigra/parser/swigra_batch 1.06 KB
Jan Lupa authored
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
#! /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 i in *.doa
do
    wynik=`basename $i .doa`.forest
    if [[ -s $wynik && $wynik -nt $i ]]
    then  continue 
    fi
    echo Making $wynik
    (
	ulimit -t $timelimit -v 470000
#	nice -n 19 swipl -x $swigradir/$parser -G0 -T20m -L10m -t halt -g "['$i']" >$wynik
	nice -n 19 swipl -x $swigradir/$parser  -t halt -g "['$i']" >$wynik
	)
#    gzip $wynik
done


### Local Variables: 
### coding: utf-8
### mode: shell-script
### End: