[devel] I: java grand leap is finished

[devel] I: java grand leap is finished

[Igor Vlasenko]

Уважаемые коллеги!

Несколько месяцев назад я начал готовиться к обновлению java.
В итоге где-то месяц назад я полностью забросил всю остальную 
деятельность в пользу работ по java репозиторию. 

Подвисли другие обновления в Сизифе и autoimports,
анонсированные, но так и не законченные обновления mate и lua,
приостановились обновления пакетов perl,
разработка движка импорта.

Прошу прощения, был очень большой объем работ.
А потом началось и собственно обновление. 
Это был двухнедельный марафон без сна и отдыха.

Но тем более приятно объявить, что 
обновление java достигло намеченных целей.

Репозиторий переехал на java8, 
упаковка пакетов теперь производится с помощью xmvn,
пакеты обновлены и переведены под новую систему сборки и упаковки.

Разлом Сизифа преодолен.
Работы по java продолжатся, но уже не в аварийном режиме 
и параллельно с возобновлением работ по другим направлениям.

-- 

I V

Re: [devel] I: java grand leap is finished

[Хихин Руслан]

[-- Attachment #1: Type: text/plain, Size: 176 bytes --]

Здравствуйте !
On Sunday 14 February 2016 02:35:40 Igor Vlasenko написал(а):

> Это был двухнедельный марафон без сна и отдыха.

Моё уважение !

-- 
C уважением, Хихин Руслан.

[-- Attachment #2: This is a digitally signed message part. --]
[-- Type: application/pgp-signature, Size: 198 bytes --]

Re: [devel] I: java grand leap is finished

[Igor Vlasenko]

On Fri, Mar 04, 2016 at 05:22:59AM +0000, Ildar Mulyukov wrote:
> Игорь, FYA,
> # echo n | apt-get install java-1.8.0-openjdk-javaws | grep headless
> java-1.6.0-sun-headless java-1.8.0-openjdk java-1.8.0-openjdk-headless

спасибо, буду отрывать.

-- 

I V

Re: [devel] I: java grand leap is finished

[Igor Vlasenko]

On Fri, Mar 04, 2016 at 05:22:59AM +0000, Ildar Mulyukov wrote:
> Игорь, FYA,
> # echo n | apt-get install java-1.8.0-openjdk-javaws | grep headless
> java-1.6.0-sun-headless java-1.8.0-openjdk java-1.8.0-openjdk-headless

починил в
mozilla-plugin-java-1.8.0-openjdk-1.6.2-alt2_1jpp8.src.rpm


-- 

I V

Re: [devel] I: java grand leap is finished

[Mikhail Efremov]

On Fri, 4 Mar 2016 18:52:21 +0200 Igor Vlasenko wrote:
> On Fri, Mar 04, 2016 at 05:22:59AM +0000, Ildar Mulyukov wrote:
> > Игорь, FYA,
> > # echo n | apt-get install java-1.8.0-openjdk-javaws | grep headless
> > java-1.6.0-sun-headless java-1.8.0-openjdk java-1.8.0-openjdk-headless  
> 
> починил в
> mozilla-plugin-java-1.8.0-openjdk-1.6.2-alt2_1jpp8.src.rpm

# apt-get install mozilla-plugin-java-1.8.0-openjdk
Чтение списков пакетов... Завершено
Построение дерева зависимостей... Завершено
Следующие дополнительные пакеты будут установлены:
  aether-api aether-connector-basic aether-impl aether-spi aether-transport-wagon aether-util ant ant-antlr ant-junit ant-lib antlr-tool aopalliance
  apache-commons-cli apache-commons-codec apache-commons-compress apache-commons-io apache-commons-lang apache-commons-logging args4j atinject
  beust-jcommander bsf bsh cdi-api eclipse-equinox-osgi fusesource-pom geronimo-annotation glassfish-el-api glassfish-servlet-api google-guice groovy-lib
  guava hamcrest-core hawtjni-runtime httpcomponents-client httpcomponents-core jansi jansi-native java-1.8.0-openjdk java-1.8.0-openjdk-headless javaewah
  jboss-interceptors-1.2-api jetty-http jetty-io jetty-security jetty-server jetty-servlet jetty-util jgit jline jsch jsoup jsr-305 junit jzlib liblksctp
  lksctp-tools log4j log4j12 maven maven-artifact maven-artifact-manager maven-file-management maven-filesystem maven-scm maven-shared-io maven-wagon-file
  maven-wagon-http maven-wagon-http-shared maven-wagon-provider-api objectweb-asm plexus-cipher plexus-classworlds plexus-containers-component-annotations
  plexus-containers-container-default plexus-interpolation plexus-sec-dispatcher plexus-utils publicsuffix-list python3-module-clyde python3-module-jinja2
  python3-module-jinja2-tests python3-module-markupsafe python3-module-runfile python3-module-setuptools python3-module-sugarbowl qdox rhino sisu-inject
  sisu-plexus slf4j slf4j-log4j12 tagsoup testng xalan-j2 xbean xerces-j2 xml-commons-apis xml-commons-resolver
Следующие пакеты будут ЗАМЕНЕНЫ:
  mozilla-plugin-java-1.7.0-openjdk (by mozilla-plugin-java-1.8.0-openjdk)
Следующие НОВЫЕ пакеты будут установлены:
  aether-api aether-connector-basic aether-impl aether-spi aether-transport-wagon aether-util ant ant-antlr ant-junit ant-lib antlr-tool aopalliance
  apache-commons-cli apache-commons-codec apache-commons-compress apache-commons-io apache-commons-lang apache-commons-logging args4j atinject
  beust-jcommander bsf bsh cdi-api eclipse-equinox-osgi fusesource-pom geronimo-annotation glassfish-el-api glassfish-servlet-api google-guice groovy-lib
  guava hamcrest-core hawtjni-runtime httpcomponents-client httpcomponents-core jansi jansi-native java-1.8.0-openjdk java-1.8.0-openjdk-headless javaewah
  jboss-interceptors-1.2-api jetty-http jetty-io jetty-security jetty-server jetty-servlet jetty-util jgit jline jsch jsoup jsr-305 junit jzlib liblksctp
  lksctp-tools log4j log4j12 maven maven-artifact maven-artifact-manager maven-file-management maven-filesystem maven-scm maven-shared-io maven-wagon-file
  maven-wagon-http maven-wagon-http-shared maven-wagon-provider-api mozilla-plugin-java-1.8.0-openjdk objectweb-asm plexus-cipher plexus-classworlds
  plexus-containers-component-annotations plexus-containers-container-default plexus-interpolation plexus-sec-dispatcher plexus-utils publicsuffix-list
  python3-module-clyde python3-module-jinja2 python3-module-jinja2-tests python3-module-markupsafe python3-module-runfile python3-module-setuptools
  python3-module-sugarbowl qdox rhino sisu-inject sisu-plexus slf4j slf4j-log4j12 tagsoup testng xalan-j2 xbean xerces-j2 xml-commons-apis
  xml-commons-resolver
0 будет обновлено, 100 новых установлено, 1 пакетов будет заменено, 0 пакетов будет удалено и 2 не будет обновлено.
Необходимо получить 0B/66,4MB архивов.
После распаковки потребуется дополнительно 164MB дискового пространства.

Ему правда все это нужно?

-- 
WBR, Mikhail Efremov

Re: [devel] I: java grand leap is finished

[Igor Vlasenko]

On Fri, Mar 04, 2016 at 08:26:56PM +0300, Mikhail Efremov wrote:
> On Fri, 4 Mar 2016 18:52:21 +0200 Igor Vlasenko wrote:
> > On Fri, Mar 04, 2016 at 05:22:59AM +0000, Ildar Mulyukov wrote:
> > > Игорь, FYA,
> > > # echo n | apt-get install java-1.8.0-openjdk-javaws | grep headless
> > > java-1.6.0-sun-headless java-1.8.0-openjdk java-1.8.0-openjdk-headless  
> > 
> > починил в
> > mozilla-plugin-java-1.8.0-openjdk-1.6.2-alt2_1jpp8.src.rpm
> 
> # apt-get install mozilla-plugin-java-1.8.0-openjdk
[...]
> Ему правда все это нужно?

это точно alt2_1?
-- 

I V

Re: [devel] I: java grand leap is finished

[Mikhail Efremov]

On Fri, 4 Mar 2016 19:34:00 +0200 Igor Vlasenko wrote:
> On Fri, Mar 04, 2016 at 08:26:56PM +0300, Mikhail Efremov wrote:
> > On Fri, 4 Mar 2016 18:52:21 +0200 Igor Vlasenko wrote:  
> > > On Fri, Mar 04, 2016 at 05:22:59AM +0000, Ildar Mulyukov wrote:  
> > > > Игорь, FYA,
> > > > # echo n | apt-get install java-1.8.0-openjdk-javaws | grep headless
> > > > java-1.6.0-sun-headless java-1.8.0-openjdk java-1.8.0-openjdk-headless    
> > > 
> > > починил в
> > > mozilla-plugin-java-1.8.0-openjdk-1.6.2-alt2_1jpp8.src.rpm  
> > 
> > # apt-get install mozilla-plugin-java-1.8.0-openjdk  
> [...]
> > Ему правда все это нужно?  
> 
> это точно alt2_1?

find /mnt/alt/ALT/Sisyphus/files/x86_64/RPMS -name 'mozilla-plugin-java-*'  
/mnt/alt/ALT/Sisyphus/files/x86_64/RPMS/mozilla-plugin-java-1.8.0-openjdk-debuginfo-1.6.2-alt2_1jpp8.x86_64.rpm
/mnt/alt/ALT/Sisyphus/files/x86_64/RPMS/mozilla-plugin-java-1.8.0-openjdk-1.6.2-alt2_1jpp8.x86_64.rpm

-- 
WBR, Mikhail Efremov

Re: [devel] I: java grand leap is finished

[Igor Vlasenko]

On Fri, Mar 04, 2016 at 08:43:17PM +0300, Mikhail Efremov wrote:
> > это точно alt2_1?
> 
mozilla-plugin-java-1.8.0-openjdk-debuginfo-1.6.2-alt2_1jpp8.x86_64.rpm

тогда через rhino или еще через что
цепляется один из пакетов ниже, которые вытягивают maven-local
Я в курсе проблемы, это будет странено, но там не одна голова,
чтобы ее отрубить.

Req: ---------------------------------
appframework-1.03-alt2_15jpp8.noarch|maven-local
batik-1.8-alt1_2jpp8.noarch|maven-local
beansbinding-1.2.1-alt1_14jpp8.noarch|maven-local
jrosetta-1.0.4-alt1_12jpp8.noarch|maven-local
sat4j-2.3.5-alt1_7jpp8.noarch|maven-local
bouncycastle-1.52-alt1_7jpp8.noarch|maven-local
bouncycastle-1.52-alt1_7jpp8.noarch|maven-local
bouncycastle-mail-1.52-alt1_6jpp8.noarch|maven-local
bouncycastle-pkix-1.52-alt1_7jpp8.noarch|maven-local
randomizedtesting-2.1.3-alt1_3jpp8.noarch|maven-local
simple-xml-2.7.1-alt1_6jpp8.noarch|maven-local
liquibase-3.4.1-alt1_1jpp8.noarch|maven-local
tycho-0.23.0-alt0.1jpp.noarch|maven-local
sbinary-0.4.2-alt1_4jpp8.noarch|maven-local
bindex-2.2-alt3_14.svn96jpp8.noarch|maven-local
mongo-java-driver-2.13.2-alt2_5jpp8.noarch|maven-local
mongo-java-driver-bson-2.13.2-alt2_5jpp8.noarch|maven-local
mongo-java-driver-bson-javadoc-2.13.2-alt2_5jpp8.noarch|maven-local
mongo-java-driver-javadoc-2.13.2-alt2_5jpp8.noarch|maven-local
je-5.0.97-alt1_4jpp8.noarch|maven-local
je-javadoc-5.0.97-alt1_4jpp8.noarch|maven-local
libmatthew-java-javadoc-0.8-alt2_13jpp8.noarch|maven-local
dbus-java-2.7-alt2_20jpp8.x86_64|maven-local
libmatthew-java-0.8-alt2_13jpp8.x86_64|maven-local
sbt-0.13.1-alt1_8jpp8.noarch|maven-local
gradle-local-4.6.0-alt9_12jpp8.noarch|maven-local
ivy-local-4.6.0-alt9_12jpp8.noarch|maven-local
javapackages-local-4.6.0-alt9_12jpp8.noarch|maven-local
fb303-java-0.9.1-alt1_16.4.noarch|maven-local
gradle-2.5-alt1_3jpp8.noarch|maven-local
libthrift-java-0.9.1-alt1_16.4.noarch|maven-local
java-1.8.0-openjdk-javadoc-1.8.0.71-alt3_1.b15jpp8.noarch|maven-local



-- 

I V

Re: [devel] I: java grand leap is finished

[Mikhail Efremov]

On Fri, 4 Mar 2016 19:50:53 +0200 Igor Vlasenko wrote:
> On Fri, Mar 04, 2016 at 08:43:17PM +0300, Mikhail Efremov wrote:
> > > это точно alt2_1?  
> >   
> mozilla-plugin-java-1.8.0-openjdk-debuginfo-1.6.2-alt2_1jpp8.x86_64.rpm
> 
> тогда через rhino или еще через что
> цепляется один из пакетов ниже, которые вытягивают maven-local
> Я в курсе проблемы, это будет странено, но там не одна голова,
> чтобы ее отрубить.

Вот то же самое с pkgMarkInstall, может поможет:

apt-get -o 'Debug::pkgMarkInstall=1;' install mozilla-plugin-java-1.8.0-openjdk
Чтение списков пакетов... Завершено
Построение дерева зависимостей... Завершено
MI2a: mark mozilla-plugin-java-1.8.0-openjdk
MI2a:  target java-1.8.0-openjdk
MI2a:   mark java-1.8.0-openjdk
MI2a:    target java-1.8.0-openjdk-headless
MI2a:     mark java-1.8.0-openjdk-headless
MI2a:      target lksctp-tools
MI2a:       mark lksctp-tools
MI2a:        target liblksctp
MI2a:         mark liblksctp
MI2a:  target tagsoup
MI2a:   mark tagsoup
MI2a:    target xalan-j2
MI2a:     mark xalan-j2
MI2a:      target xerces-j2
MI2a:       mark xerces-j2
MI2a:        target xml-commons-apis
MI2a:         mark xml-commons-apis
MI2a:        target xml-commons-resolver
MI2a:         mark xml-commons-resolver
MI2a:          target python3-module-runfile
MI2a:           mark python3-module-runfile
MI2a:            target python3.3(sugarbowl)
MI2a:             mark python3-module-sugarbowl
MI2a:            target python3.3(clyde)
MI2a:             mark python3-module-clyde
MI2a:              target python3.3(jinja2)
MI2a:               mark python3-module-jinja2
MI2a:                target python3-module-jinja2-tests
MI2a:                 mark python3-module-jinja2-tests
MI2a:                target python3.3(markupsafe)
MI2a:                 mark python3-module-markupsafe
MI2a:            target python3.3(pkg_resources)
MI2a:             mark python3-module-setuptools
MI2a:  target rhino
MI2a:   mark rhino
MI2a:    target jline
MI2a:     mark jline
MI2a:      target mvn(org.fusesource.jansi:jansi)
MI2a:       mark jansi
MI2a:        target fusesource-pom
MI2a:         mark fusesource-pom
MI2a:          target mvn(org.apache.maven.plugins:maven-scm-plugin)
MI2a:           mark maven-scm
MI2a:            target mvn(commons-io:commons-io)
MI2a:             mark apache-commons-io
MI2a:            target mvn(commons-lang:commons-lang)
MI2a:             mark apache-commons-lang
MI2a:            target mvn(org.apache.maven.shared:file-management)
MI2a:             mark maven-file-management
MI2a:              target mvn(org.apache.maven.shared:maven-shared-io)
MI2a:               mark maven-shared-io
MI2a:                target mvn(org.apache.maven.wagon:wagon-provider-api)
MI2a:                 mark maven-wagon-provider-api
MI2a:                  target mvn(org.codehaus.plexus:plexus-utils)
MI2a:                   mark plexus-utils
MI2a:                target mvn(org.apache.maven:maven-artifact-manager)
MI2a:                 mark maven-artifact-manager
MI2a:                  target mvn(org.apache.maven:maven-repository-metadata)
MI2a:                   mark maven
MI2a:                    target aether-api
MI2a:                     mark aether-api
MI2a:                    target aether-connector-basic
MI2a:                     mark aether-connector-basic
MI2a:                      target aether-spi
MI2a:                       mark aether-spi
MI2a:                      target aether-util
MI2a:                       mark aether-util
MI2a:                    target aether-impl
MI2a:                     mark aether-impl
MI2a:                    target aether-transport-wagon
MI2a:                     mark aether-transport-wagon
MI2a:                    target aopalliance
MI2a:                     mark aopalliance
MI2a:                    target apache-commons-cli
MI2a:                     mark apache-commons-cli
MI2a:                    target apache-commons-codec
MI2a:                     mark apache-commons-codec
MI2a:                    target apache-commons-logging
MI2a:                     mark apache-commons-logging
MI2a:                    target atinject
MI2a:                     mark atinject
MI2a:                    target geronimo-annotation
MI2a:                     mark geronimo-annotation
MI2a:                    target google-guice
MI2a:                     mark google-guice
MI2a:                      target mvn(com.google.guava:guava)
MI2a:                       mark guava
MI2a:                    target httpcomponents-client
MI2a:                     mark httpcomponents-client
MI2a:                      target publicsuffix-list
MI2a:                       mark publicsuffix-list
MI2a:                      target mvn(org.apache.httpcomponents:httpcore)
MI2a:                       mark httpcomponents-core
MI2a:                    target jsoup
MI2a:                     mark jsoup
MI2a:                    target jsr-305
MI2a:                     mark jsr-305
MI2a:                    target maven-wagon-file
MI2a:                     mark maven-wagon-file
MI2a:                    target maven-wagon-http
MI2a:                     mark maven-wagon-http
MI2a:                      target maven-wagon-http-shared
MI2a:                       mark maven-wagon-http-shared
MI2a:                    target objectweb-asm
MI2a:                     mark objectweb-asm
MI2a:                    target plexus-cipher
MI2a:                     mark plexus-cipher
MI2a:                    target plexus-classworlds
MI2a:                     mark plexus-classworlds
MI2a:                    target plexus-containers-component-annotations
MI2a:                     mark plexus-containers-component-annotations
MI2a:                    target plexus-interpolation
MI2a:                     mark plexus-interpolation
MI2a:                    target plexus-sec-dispatcher
MI2a:                     mark plexus-sec-dispatcher
MI2a:                    target sisu-inject
MI2a:                     mark sisu-inject
MI2a:                    target sisu-plexus
MI2a:                     mark sisu-plexus
MI2a:                    target slf4j
MI2a:                     mark slf4j
MI2a:                    target cdi-api
MI2a:                     mark cdi-api
MI2a:                      target /usr/share/java/jboss-interceptors-1.2-api.jar
MI2a:                       mark jboss-interceptors-1.2-api
MI2a:                      target mvn(javax.el:javax.el-api)
MI2a:                       mark glassfish-el-api
MI2a:                    target maven-filesystem
MI2a:                     mark maven-filesystem
MI2a:                  target mvn(org.codehaus.plexus:plexus-container-default)
MI2a:                   mark plexus-containers-container-default
MI2a:                    target mvn(org.apache.xbean:xbean-reflect)
MI2a:                     mark xbean
MI2a:                      target mvn(org.codehaus.groovy:groovy)
MI2a:                       mark groovy-lib
MI2a:                        target mvn(bsf:bsf)
MI2a:                         mark bsf
MI2a:                        target mvn(com.beust:jcommander)
MI2a:                         mark beust-jcommander
MI2a:                        target mvn(com.thoughtworks.qdox:qdox)
MI2a:                         mark qdox
MI2a:                        target mvn(junit:junit)
MI2a:                         mark junit
MI2a:                          target mvn(org.hamcrest:hamcrest-core)
MI2a:                           mark hamcrest-core
MI2a:                        target mvn(org.apache.ant:ant)
MI2a:                         mark ant-lib
MI2a:                        target mvn(org.apache.ant:ant-antlr)
MI2a:                         mark ant-antlr
MI2a:                          target ant
MI2a:                           mark ant
MI2a:                          target antlr
MI2a:                           mark antlr-tool
MI2a:                        target mvn(org.apache.ant:ant-junit)
MI2a:                         mark ant-junit
MI2a:                        target mvn(org.testng:testng)
MI2a:                         mark testng
MI2a:                          target mvn(org.beanshell:bsh)
MI2a:                           mark bsh
MI2a:                  target maven-artifact
MI2a:                   mark maven-artifact
MI2a:            target mvn(org.eclipse.jgit:org.eclipse.jgit)
MI2a:             mark jgit
MI2a:              target mvn(args4j:args4j)
MI2a:               mark args4j
MI2a:              target mvn(com.googlecode.javaewah:JavaEWAH)
MI2a:               mark javaewah
MI2a:              target mvn(com.jcraft:jsch)
MI2a:               mark jsch
MI2a:                target jzlib
MI2a:                 mark jzlib
MI2a:              target mvn(log4j:log4j)
MI2a:               mark log4j
MI2a:              target mvn(org.apache.commons:commons-compress)
MI2a:               mark apache-commons-compress
MI2a:              target mvn(org.eclipse.jetty:jetty-servlet)
MI2a:               mark jetty-servlet
MI2a:                target jetty-security
MI2a:                 mark jetty-security
MI2a:                  target jetty-server
MI2a:                   mark jetty-server
MI2a:                    target mvn(javax.servlet:javax.servlet-api)
MI2a:                     mark glassfish-servlet-api
MI2a:                    target jetty-http
MI2a:                     mark jetty-http
MI2a:                      target jetty-util
MI2a:                       mark jetty-util
MI2a:                    target jetty-io
MI2a:                     mark jetty-io
MI2a:              target mvn(org.eclipse.osgi:org.eclipse.osgi)
MI2a:               mark eclipse-equinox-osgi
MI2a:              target mvn(org.slf4j:slf4j-log4j12)
MI2a:               mark slf4j-log4j12
MI2a:                target mvn(log4j:log4j:1.2.17)
MI2a:                 mark log4j12
MI2a:        target mvn(org.fusesource.hawtjni:hawtjni-runtime)
MI2a:         mark hawtjni-runtime
MI2a:        target mvn(org.fusesource.jansi:jansi-native)
MI2a:         mark jansi-native
MI2a:  delete mozilla-plugin-java-1.7.0-openjdk
Следующие дополнительные пакеты будут установлены:

-- 
WBR, Mikhail Efremov

Re: [devel] I: java grand leap is finished

[Igor Vlasenko]

On Fri, Mar 04, 2016 at 09:15:54PM +0300, Mikhail Efremov wrote:
> Вот то же самое с pkgMarkInstall, может поможет:
> apt-get -o 'Debug::pkgMarkInstall=1;' install mozilla-plugin-java-1.8.0-openjdk
> Чтение списков пакетов... Завершено
> Построение дерева зависимостей... Завершено
> MI2a: mark mozilla-plugin-java-1.8.0-openjdk
> MI2a:  target rhino
> MI2a:   mark rhino
> MI2a:    target jline
> MI2a:     mark jline
> MI2a:      target mvn(org.fusesource.jansi:jansi)
> MI2a:       mark jansi
> MI2a:        target fusesource-pom
> MI2a:         mark fusesource-pom

Спасибо.

это даже не через maven-local, это в jansi Requires: fusesource-pom :(

Я быстро не возьмусь чинить, там если рубить сплеча
будет ломаться сборка пакетов.
мне надо будет сначала развернуть на песочниуе локальный карман
для тестирования изменений. Старой песочницы у меня уже нет,
а новую еще не обустроил :(

-- 

I V

[devel] cvc4 FTBFS; was: Re: I: java grand leap is finished

[Ivan Zakharyaschev]

[-- Attachment #1: Type: text/plain, Size: 2251 bytes --]

Добрый день!

Нет ли соображений, что делать с непересобирающимся 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

Re: [devel] cvc4 FTBFS; was: Re: I: java grand leap is finished

[Dmitry V. Levin]

[-- Attachment #1: Type: text/plain, Size: 359 bytes --]

On Tue, Mar 08, 2016 at 02:48:02PM +0300, Ivan Zakharyaschev wrote:
> Добрый день!
> 
> Нет ли соображений, что делать с 
> непересобирающимся cvc4?

Пакету cvc4 нужен мантейнер.  Пока его нет, пакет можно удалить
(вместе с python-module-pysmt для замыкания установки и сборки):
http://git.altlinux.org/tasks/161091/logs/events.1.1.log


-- 
ldv

[-- Attachment #2: Type: application/pgp-signature, Size: 819 bytes --]