Changeset abd28d1 for src

Timestamp:

02/22/12 23:10:23 (12 years ago)

Author:

Tomasz Obrebski <to@…>

Branches:

master

Children:

a15e59b

Parents:

b242df2

git-author:

Tomasz Obrebski <to@…> (02/22/12 23:10:23)

git-committer:

Tomasz Obrebski <to@…> (02/22/12 23:10:23)

Message:

fixed further bugs around compdic
cats file renamed and moved
config files updated

File:

• src/compdic/compdic (modified) (1 diff)

src/compdic/compdic

@@ -172 +172 @@
 done
 
-cat $automaton | fsttopsort | fstprint --acceptor --isymbols=$alphabet > aaaa
-cat aaaa | fsm2aut | aut2fsa > $2
+echo generating binary automaton file ...
+
+cat $automaton | fsttopsort | fstprint --acceptor --isymbols=$alphabet | fsm2aut | aut2fsa > $2
 rm -r $tempdir
+
+echo generating cats file ...
+
+cat $1 | cut -d ',' -f 2 | sort -u $2.cats