search

semigroups / Semigroups

The GAP package Semigroups
https://semigroups.github.io/Semigroups/
Other
23 stars 35 forks source link

buildsys: unify rpath handling #976

Closed fingolfin closed 7 months ago

fingolfin commented 7 months ago

... between using a bundled and an external libsemigroups

james-d-mitchell commented 7 months ago

Thanks @fingolfin !