BSD Portslang/polyml 5.9.2 FreeBSD
Fast open-source implementation of Standard ML
- System
- FreeBSD
- Repository
- FreeBSD ports
- Maintainer
- [email protected]
- Last update
- Commit
52e5a3eab9- License
- LGPL21
- Categories
- lang
Description
Poly/ML is a full implementation of Standard ML available as open-source. It includes a symbolic debugger which allows breakpoints to be set and local variables to be viewed as ML values.
In the other systems
| System | Port | Version |
|---|---|---|
| FreeBSD | lang/polyml | 5.9.2 |
| OpenBSD | lang/polyml | 5.9.2 |
| NetBSD | lang/polyml | 5.9.2 |
| DragonFly | lang/polyml | 5.9.1_1 |
| HardenedBSD | lang/polyml | 5.9.2 |
| GhostBSD | lang/polyml | 5.9.2 |
Install
Binary package:
pkg install polymlFrom the ports tree:
cd /usr/ports/lang/polyml/ && make install cleanTo depend on this port in another port's Makefile:
RUN_DEPENDS= polyml>0:lang/polyml
LIB_DEPENDS= libpolyml.so:lang/polymlPackages
The version each package repository carries. “-” means the repository builds no package of it, “n/a” that there is no such repository.
| Repository | aarch64 | amd64 | armv6 | armv7 | i386 |
|---|---|---|---|---|---|
| FreeBSD:14:latest | - | 5.9.2 | - | - | 5.9.2 |
| FreeBSD:14:quarterly | - | 5.9.2 | n/a | - | 5.9.2 |
| FreeBSD:15:latest | - | 5.9.2 | n/a | - | 5.9.1_1 |
| FreeBSD:15:quarterly | - | 5.9.2 | n/a | n/a | n/a |
| FreeBSD:16:latest | - | 5.9.2 | n/a | n/a | n/a |
| FreeBSD:16:quarterly | n/a | n/a | n/a | n/a | n/a |
Dependencies
As this port's Makefile names them.
Library 1
libffi.so: devel/libffi
The full lists below include those, and their dependencies in turn.
Build dependencies 4
Run dependencies 3
No port depends on this one.
Configuration
Options name: lang_polyml
| Option | Default | Description |
|---|---|---|
| GMP | on | GMP (multiple precision arithmetic) support |
| INTINF_AS_INT | on | Use IntInf.int as int type |
| MOTIF | off | Motif widget library support |
- USES
- libtool localbase pathfix pkgconfig
- Service scripts
- none
Files
Manual pages 3
- poly(1)
- polyc(1)
- polyimport(1)
pkg-plist 12
- bin/poly
- bin/polyc
- bin/polyimport
- lib/libpolymain.a
- lib/libpolyml.a
- lib/libpolyml.so
- lib/libpolyml.so.16
- lib/libpolyml.so.16.0.0
- libdata/pkgconfig/polyml.pc
- share/man/man1/poly.1.gz
- share/man/man1/polyc.1.gz
- share/man/man1/polyimport.1.gz
distinfo 1
| File | Size | SHA256 |
|---|---|---|
| polyml/polyml-polyml-v5.9.2_GH0.tar.gz | 3.878657e+06 | 5cf5f77767568c25cf880acc2d0a32ee3d399e935475ab1626e8192fc3b07390 |