undefined symbol: _ZN6Gecode16VarBranchOptions3defE

[h4ck3rm1k3]

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]

chef/dep-selector-libgecode#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.