polyml 5.2 lang =2

Fast open-source implementation of Standard ML
Maintained by: timbob@bigpond.com
Port Added: 29 Jul 2005 08:20:30

---

---

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.

WWW: http://www.polyml.org

CVSWeb : Sources : Main Web Site : Distfiles Availability : PortsMon

---

To install the port: cd /usr/ports/lang/polyml/ && make install clean
To add the package: pkg_add -r polyml

---

Configuration Options

     No options to configure

---

Master Sites:

http://nchc.dl.sourceforge.net/sourceforge/polyml/

http://kent.dl.sourceforge.net/sourceforge/polyml/

http://easynews.dl.sourceforge.net/sourceforge/polyml/

http://ufpr.dl.sourceforge.net/sourceforge/polyml/

http://umn.dl.sourceforge.net/sourceforge/polyml/

http://heanet.dl.sourceforge.net/sourceforge/polyml/

ftp://ftp.FreeBSD.org/pub/FreeBSD/ports/distfiles/polyml/

[MAINTAINER] lang/polyml: 5.1 -> 5.2

PR:             ports/126068
Submitted by:   Timothy Bourke <timbob@bigpond.com>

- Remove USE_GCC where it can be satisfied with base compiler on following
  FreeBSD versions: 5.3 and up, 6.x, 7.x, 8-CURRENT

- Fix build with gcc 4

Submitted by:   Timothy Bourke <timbob at bigpond.com> (maintainer)

- Update to 5.1

PR:             ports/120997
Submitted by:   Timothy Bourke <timbob at bigpond.com> (maintainer)

- Marked broken for amd64

Submitted by:   pointyhat via kris
Approved by:    maintainer

- Remove patchset (forget in last commit)

Submitted by: pointyhat and maintainer

- Update to 5.0

PR:             109951
Submitted by:   Timothy Bourke <timbob@bigpond.com> (maintainer)

- Update to 4.2.0
- Is not RESTRICTED anymore

PR:             94667
Submitted by:   maintainer

SHA256ify

Approved by:    krion@

Add polyml 4.1.3, a fast open-source implementation of Standard ML.

PR:             83433
Submitted by:   Timothy Bourke <timbob@bigpond.com>

6 vulnerabilities affecting 11 ports have been reported in the past 14 days

^* - modified, not new

All vulnerabilities