kpriv/freebsd-ports
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
freebsd-ports/lang/polyml/pkg-plist

13 lines
219 B
Text
Raw Normal View History

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
lang/polyml: 5.5.2 -> 5.6 Changes: - New foreign-function interface (Foreign structure). - Reimplemented debugger so that code with debugging enabled is much faster. - Improved support for Poly/ML on native Windows. - Support for MIPS and 64-bit ARM processors through the byte-code interpreter. - Various bug fixes. PR: 208783, 199566 Submitted by: Phil Eaton <philneaton95@gmail.com>, brooks Approved by: Timothy Beyer <beyert@cs.ucr.edu> (maintainer)
2016-04-15 21:58:03 +02:00
lib/libpolyml.so.7
lib/libpolyml.so.7.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
Reference in a new issue Copy permalink