polyml 5.2.1 lang =2

IGNORE: is only for i386, while you are running amd64
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

A package is not available for ports marked as: Forbidden / Broken / Ignore / Restricted

---

Configuration Options

     No options to configure

---

Master Sites:

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

http://sunet.dl.sourceforge.net/project/polyml/polyml/5.2.1/

http://iweb.dl.sourceforge.net/project/polyml/polyml/5.2.1/

http://switch.dl.sourceforge.net/project/polyml/polyml/5.2.1/

http://surfnet.dl.sourceforge.net/project/polyml/polyml/5.2.1/

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

http://freefr.dl.sourceforge.net/project/polyml/polyml/5.2.1/

http://voxel.dl.sourceforge.net/project/polyml/polyml/5.2.1/

http://jaist.dl.sourceforge.net/project/polyml/polyml/5.2.1/

http://osdn.dl.sourceforge.net/project/polyml/polyml/5.2.1/

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

http://transact.dl.sourceforge.net/project/polyml/polyml/5.2.1/

http://softlayer.dl.sourceforge.net/project/polyml/polyml/5.2.1/

http://internode.dl.sourceforge.net/project/polyml/polyml/5.2.1/

http://biznetnetworks.dl.sourceforge.net/project/polyml/polyml/5.2.1/

http://upfr.dl.sourceforge.net/project/polyml/polyml/5.2.1/

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

- Update to 5.2.1

PR:             ports/139735
Submitted by:   Timothy Bourke <timbob AT bigpond.com> (maintainer)
Approved by:    rafan (co-mentor)

- Switch SourceForge ports to the new File Release System: categories starting
with H,I,J,K,L

[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>

5 vulnerabilities affecting 16 ports have been reported in the past 14 days

^* - modified, not new

All vulnerabilities