From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Date: Tue, 8 Mar 2016 14:48:02 +0300 (MSK) From: Ivan Zakharyaschev To: ALT Linux Team development discussions In-Reply-To: <20160304183928.GA18604@dad.imath.kiev.ua> Message-ID: References: <20160213233540.GA31448@dad.imath.kiev.ua> <20160304165221.GA16723@dad.imath.kiev.ua> <20160304202656.6d567d6b@sem.office.altlinux.ru> <20160304173359.GA17181@dad.imath.kiev.ua> <20160304204317.3e7ae861@sem.office.altlinux.ru> <20160304175053.GA17464@dad.imath.kiev.ua> <20160304211554.5e728fb9@sem.office.altlinux.ru> <20160304183928.GA18604@dad.imath.kiev.ua> User-Agent: Alpine 2.20 (LFD 67 2015-01-07) MIME-Version: 1.0 Content-Type: multipart/mixed; BOUNDARY="1807885841-1585806564-1457437682=:19380" Subject: [devel] cvc4 FTBFS; was: Re: I: java grand leap is finished X-BeenThere: devel@lists.altlinux.org X-Mailman-Version: 2.1.12 Precedence: list Reply-To: ALT Linux Team development discussions List-Id: ALT Linux Team development discussions List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Tue, 08 Mar 2016 11:48:02 -0000 Archived-At: List-Archive: List-Post: This message is in MIME format. The first part should be readable text, while the remaining parts are likely unreadable without MIME-aware tools. --1807885841-1585806564-1457437682=:19380 Content-Type: text/plain; format=flowed; charset=KOI8-R Content-Transfer-Encoding: 8BIT Добрый день! Нет ли соображений, что делать с непересобирающимся 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.(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.(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 --1807885841-1585806564-1457437682=:19380--