[libvoikko] voikkovfstc crasher reported via Mayhem

[Harri Pitkänen]

On Thursday 11 July 2013, Timo Jyrinki wrote:
> You might be interested in this crasher that was reported as part of the
> 12000 bugs failed by CMU:
> 
> http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=716445

Thanks! The real bug here is that voikkovfstc should not have been enabled at 
all by default. It makes no sense since support for compiled VFST spellers and 
analyzers is experimental and disabled.

I will make sure that the compiler will validate its input properly once all 
the pieces in this toolchain have settled to some fixed input/output formats. 
Meanwhile there are two possible fixes:

1) Build libvoikko with --disable-buildtools. This will remove voikkovfstc but 
unfortunately its manual page will still be installed.

2) Apply this patch and regenerate the configure scripts:

  https://github.com/voikko/corevoikko/commit/00883e662123df16e2f1c7b4c1dc2bcb28050ee0

This will remove voikkovfstc and its manual page, no configure switches need 
to be added. This is going to be the default in libvoikko 3.7 unless we manage 
to finish the work on VFST by then (I think that's unlikely).

Harri