K 10
svn:author
V 5
danfe
K 8
svn:date
V 27
2015-10-23T17:24:12.395380Z
K 7
svn:log
V 235
- 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

END