This update adds ccadical.h to the cadical-devel subpackage, and bumps epoch on the cadical package to fix upgrades from version 06w. The cvc4 build is a simple rebuild for cadical.

How to install

sudo dnf upgrade --advisory=FEDORA-2019-d03acc263f

This update has been submitted for testing by jjames.

2 years ago

This update test gating status has been changed to 'waiting'.

2 years ago

This update test gating status has been changed to 'ignored'.

2 years ago

This update has been pushed to testing.

2 years ago
User Icon pointhi commented & provided feedback 2 years ago
karma

problem still persists after updating to this version.

$ cvc4 cvc4: symbol lookup error: /lib64/libcvc4.so.6: undefined symbol: _ZN7CaDiCaL6Solver3setEPKci

demangled: CaDiCaL::Solver::set(char const*, int)

BZ#1731031 cvc4: symbol lookup error: /lib64/libcvc4.so.6: undefined symbol: _ZN7CaDiCaL6Solver3setEPKci

Bodhi is disabling automatic push to stable due to negative karma. The maintainer may push manually if they determine that the issue is not severe.

2 years ago
User Icon pointhi commented & provided feedback 2 years ago

Seems to be a problem due to building with a different release of cadical than the one used in the official release:

The following command solves the issue:

$ sudo dnf install cadical --advisory=FEDORA-2019-24c26533c3 --enablerepo=updates-testing

FEDORA-2019-24c26533c3

This update has been unpushed.

jjames edited this update.

New build(s):

  • cadical-1.0.3-3.fc30

Karma has been reset.

2 years ago

This update has been submitted for testing by jjames.

2 years ago

This update has been pushed to testing.

2 years ago
User Icon pointhi commented & provided feedback 2 years ago
karma

thx

BZ#1731031 cvc4: symbol lookup error: /lib64/libcvc4.so.6: undefined symbol: _ZN7CaDiCaL6Solver3setEPKci
BZ#1731887 ccadical.h not present in cadical-devel

This update can be pushed to stable now if the maintainer wishes

2 years ago

This update has been submitted for stable by jjames.

2 years ago

This update has been pushed to stable.

2 years ago

Please login to add feedback.

Metadata
Type
bugfix
Karma
1
Signed
Content Type
RPM
Test Gating
Settings
Unstable by Karma
-3
Stable by Karma
disabled
Stable by Time
disabled
Dates
submitted
2 years ago
in testing
2 years ago
in stable
2 years ago
modified
2 years ago
BZ#1731031 cvc4: symbol lookup error: /lib64/libcvc4.so.6: undefined symbol: _ZN7CaDiCaL6Solver3setEPKci
0
1
BZ#1731887 ccadical.h not present in cadical-devel
0
1

Automated Test Results