Closed jan0sch closed 8 years ago
not accepting patches against the vendored libgecode directly since this forks libgecode and we don't want to go down the yajl-ruby route.
this could be extracted to a rake task that patched it, or the upstream v4 libgecode could be pulled in after dep-selector supports that
On systems running a flavor of BSD the link
/bin/sh
does usually not link to abash
like on most linux systems. Usingenv
to locate the proper shell fixes an configure error which occurs otherwise: