Port changes: * Added the patch to avoid permissions problem. Reported it upstream: https://github.com/gambitproject/gambit/issues/229 * Took maintainership. * Removed USE_LDCONFIG (not needed). Approved by: tcberner (mentor, implicit)
Port changes: * Added the patch to avoid permissions problem. Reported it upstream: https://github.com/gambitproject/gambit/issues/229 * Took maintainership. * Removed USE_LDCONFIG (not needed). Approved by: tcberner (mentor, implicit)