dep-selector
dep-selector copied to clipboard
undefined symbol: _ZN6Gecode16VarBranchOptions3defE
On debian unstable, the version 4 geode is installed.
The symptom of the problem
>>>>>> Message: Could not load or activate Berkshelf (Could not open library '/var/lib/gems/2.1.0/gems/dep_selector-1.0.3/lib/dep_gecode.so': /var/lib/gems/2.1.0/gems/dep_selector-1.0.3/lib/dep_gecode.so: undefined symbol: _ZN6Gecode16VarBranchOptions3defE)
The solution :
- add this to your apt-sources deb http://ftp.us.debian.org/debian/ wheezy main contrib non-freeroot
- install the right version apt-get install libgecode-dev=3.7.3-1
It would be great to have some check for the version in the code.
https://github.com/chef/dep-selector-libgecode/pull/45 pull request for updated doc. Really the dep selector needs to pick the right version, we might have multiple versions of the dep-selector-libgecode installed, in fact I did.