- Allow exposing polyml as a shared library (as required by e.g. HOL4)
- Strip installed library as advised by portlint(1)
- While here, sort knobs and remove useless .include <bsd.port.options.mk>
PR: 203467
Approved by: maintainer
Description
Description
Details
Details
- Provenance
danfe Authored on - Parents
- rP400040: TeamWords is unofficial cross-platform desktop client for Slack.
- Branches
- Unknown
- Tags