Добрый день!

Нет ли соображений, что делать с непересобирающимся cvc4?

Это имеет отношение к обновлённой java?

checking for ANTLR3 C runtime library... found in /usr/local
checking for presence of older antlr3AsciiFileStreamNew()... failed
checking for presence of newer antlr3FileStreamNew()... found it (must be 
antlr3 3.4 or similar)
configure: WARNING: your antlr parser generator is version Exception in 
thread "main" java.lang.NoClassDefFoundError: 
org.stringtemplate.v4.misc.Misc
    at java.lang.Class.initializeClass(libgcj.so.16)
    at 
org.stringtemplate.v4.compiler.GroupLexer.mBIGSTRING(GroupLexer.java:776)
    at 
org.stringtemplate.v4.compiler.GroupLexer.mTokens(GroupLexer.java:1134)
    at org.antlr.runtime.Lexer.nextToken(Lexer.java:85)
    at 
org.antlr.runtime.BufferedTokenStream.fetch(BufferedTokenStream.java:143)
    at 
org.antlr.runtime.BufferedTokenStream.sync(BufferedTokenStream.java:137)
    at 
org.antlr.runtime.CommonTokenStream.consume(CommonTokenStream.java:68)
    at org.antlr.runtime.BaseRecognizer.match(BaseRecognizer.java:106)
    at 
org.stringtemplate.v4.compiler.GroupParser.templateDef(GroupParser.java:650)
    at org.stringtemplate.v4.compiler.GroupParser.def(GroupParser.java:518)
    at 
org.stringtemplate.v4.compiler.GroupParser.group(GroupParser.java:256)
    at org.stringtemplate.v4.STGroup.loadGroupFile(STGroup.java:612)
    at org.stringtemplate.v4.STGroupFile.load(STGroupFile.java:139)
    at org.stringtemplate.v4.STGroupFile.isDefined(STGroupFile.java:116)
    at org.antlr.tool.ErrorManager.verifyMessages(ErrorManager.java:888)
    at org.antlr.tool.ErrorManager.setLocale(ErrorManager.java:450)
    at org.antlr.tool.ErrorManager.<clinit>(ErrorManager.java:416)
    at java.lang.Class.initializeClass(libgcj.so.16)
    at org.antlr.Tool.version(Tool.java:740)
    at org.antlr.Tool.processArgs(Tool.java:235)
    at org.antlr.Tool.<init>(Tool.java:142)
    at org.antlr.Tool.main(Tool.java:95)
Caused by: java.lang.VerifyError: verification failed at PC 62 in 
org.stringtemplate.v4.misc.Misc:urlExists((Ljava.net.URL;)Z): incompatible 
type on stack
    at java.lang.Class.initializeClass(libgcj.so.16)
    ...21 more, which doesn't match the library!


-- 
Best regards,
Ivan