freebsd-ports/lang/polyml/pkg-plist

bin/poly
bin/polyc
bin/polyimport
lib/libpolymain.a
lib/libpolyml.a
lib/libpolyml.so
lib/libpolyml.so.6
lib/libpolyml.so.6.0.0
libdata/pkgconfig/polyml.pc
man/man1/poly.1.gz
man/man1/polyc.1.gz
man/man1/polyimport.1.gz
lang/polyml: depend on ffi, use pkg-plist, add motif option PR: 192165 Approved by: Timothy Beyer <beyert@cs.ucr.edu> (maintainer) 2014-07-31 20:43:35 +02:00			`bin/poly`
			`bin/polyc`
			`bin/polyimport`
			`lib/libpolymain.a`
			`lib/libpolyml.a`
- 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 19:24:12 +02:00			`lib/libpolyml.so`
			`lib/libpolyml.so.6`
			`lib/libpolyml.so.6.0.0`
lang/polyml: depend on ffi, use pkg-plist, add motif option PR: 192165 Approved by: Timothy Beyer <beyert@cs.ucr.edu> (maintainer) 2014-07-31 20:43:35 +02:00			`libdata/pkgconfig/polyml.pc`
			`man/man1/poly.1.gz`
			`man/man1/polyc.1.gz`
			`man/man1/polyimport.1.gz`