Changeset 19dfa5c for app/dist


Ignore:
Timestamp:
04/24/08 12:36:13 (17 years ago)
Author:
pawelk <pawelk@…>
Branches:
master, help
Children:
12d8443
Parents:
a5fdde9
git-author:
pawelk <pawelk@…> (04/24/08 12:36:13)
git-committer:
pawelk <pawelk@…> (04/24/08 12:36:13)
Message:

gph i dgc obsluguja configi

git-svn-id: svn://atos.wmid.amu.edu.pl/utt@33 e293616e-ec6a-49c2-aa92-f4a8b91c5d16

File:
1 edited

Legend:

Unmodified
Added
Removed
  • app/dist/common/utt_make_config.pl

    ra5fdde9 r19dfa5c  
    1414conf_utt(catfile($usr_home, 'utt.conf'), $sys_home); 
    1515 
     16conf_cor(catfile($usr_home, 'cor.conf'), $sys_home); 
     17conf_kor(catfile($usr_home, 'kor.conf'), $sys_home); 
    1618conf_compiledic(catfile($usr_home, 'compiledic.conf'), $sys_home); 
    17 conf_cor(catfile($usr_home, 'cor.conf'), $sys_home); 
    18 conf_dgc(catfile($usr_home, 'dgc.conf'), $sys_home); 
    1919conf_grp(catfile($usr_home, 'grp.conf'), $sys_home); 
    2020conf_gue(catfile($usr_home, 'gue.conf'), $sys_home); 
    21 conf_kor(catfile($usr_home, 'kor.conf'), $sys_home); 
    2221conf_lem(catfile($usr_home, 'lem.conf'), $sys_home); 
    2322conf_ser(catfile($usr_home, 'ser.conf'), $sys_home); 
     23conf_dgc(catfile($usr_home, 'dgc.conf'), $sys_home); 
    2424 
    2525print "UTT user configuration created in $usr_home\n"; 
     
    3434 
    3535    if(-d $dir) { 
    36                 print "Old configuration detected. "; 
    37                 my $cnt = unlink <$dir/*>; 
    38                 print "($cnt files deleted)\n"; 
     36        print "Old configuration detected. "; 
     37        my $cnt = unlink <$dir/*>; 
     38        print "($cnt files deleted)\n"; 
    3939    } 
    4040    else { 
    41                 print "Creating directory $dir\n"; 
    42                 if(1 != mkdir $dir) { 
    43                     die "Unable to create UTT user configuration!\n"; 
    44                 } 
     41        print "Creating directory $dir\n"; 
     42        if(1 != mkdir $dir) { 
     43            die "Unable to create UTT user configuration!\n"; 
     44        } 
    4545    } 
    4646} 
     
    108108  print FILE makeConfigHeader(); 
    109109  print FILE "dictionary-home=", abs_path("$utthome/share/utt"), "\n"; 
    110   print FILE "weights=", abs_path("$utthome/lib/utt/weights.kor"), "\n"; 
     110  print FILE "weights=", abs_path("$utthome/lib/utt/weights.cor"), "\n"; 
    111111  print FILE "threshold=1.0\n"; 
    112112 
     
    222222 
    223223  print FILE makeConfigHeader(); 
    224   print FILE "categories=", abs_path("$utthome/lib/utt/cats.dgc"), "\n"; 
    225   print FILE "grammar=", abs_path("$utthome/lib/utt/gram.dgc"), "\n"; 
     224  print FILE "catfile=", abs_path("$utthome/lib/utt/cats.dgc"), "\n"; 
     225  print FILE "gramfile=", abs_path("$utthome/lib/utt/gram.dgc"), "\n"; 
    226226 
    227227  close FILE; 
Note: See TracChangeset for help on using the changeset viewer.