Alexey Dokuchaev fa07ac670c - 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		2015-10-23 17:24:12 +00:00
..
distinfo
Makefile	- Allow exposing polyml as a shared library (as required by e.g. HOL4)	2015-10-23 17:24:12 +00:00
pkg-descr
pkg-plist	- Allow exposing polyml as a shared library (as required by e.g. HOL4)	2015-10-23 17:24:12 +00:00