dep-selector icon indicating copy to clipboard operation
dep-selector copied to clipboard

undefined symbol: _ZN6Gecode16VarBranchOptions3defE

Open h4ck3rm1k3 opened this issue 9 years ago • 1 comments

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 :

  1. add this to your apt-sources deb http://ftp.us.debian.org/debian/ wheezy main contrib non-freeroot
  2. 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.

h4ck3rm1k3 avatar Sep 08 '15 10:09 h4ck3rm1k3

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.

h4ck3rm1k3 avatar Sep 08 '15 10:09 h4ck3rm1k3