polyml 5.4.1 lang =2

Fast open-source implementation of Standard ML
Maintained by: beyert@cs.ucr.edu
Port Added: 29 Jul 2005 07:20:30
License: LGPL21

---

---

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 : PortsMonThere are no ports dependent upon this port

---

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://heanet.dl.sourceforge.net/project/polyml/polyml/5.4.1/

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

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

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

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

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

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

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

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

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

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

http://ncu.dl.sourceforge.net/project/polyml/polyml/5.4.1/

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

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

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

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

http://waix.dl.sourceforge.net/project/polyml/polyml/5.4.1/

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

- Update to 5.4.1
- While I'm here, remove outdated OSVERSION check

PR:             ports/168180
Submitted by:   Timothy Beyer <beyert@cs.ucr.edu> (maintainer)

- remove MD5

- Try to fix build on amd64/6 (untested)

Suggested by:   maintainer

- Update to 5.4
- Revive amd64 build

Changes:        http://www.polyml.org/docs/ReleaseNotes.html
PR:             ports/151476
Submitted by:   sunpoet (myself)
Approved by:    Timothy Beyer <beyert@cs.ucr.edu> (maintainer), pgollucci
(mentor, implicit)

- Update to 5.3
- Add copyright information

PR:             ports/149735
Submitted by:   Timothy Beyer <beyert AT cs.ucr.edu> (maintainer)

Fix maintainer emailadress

PR:             149451
Submitted by:   maintainer

- Pass maintainership to Timothy Beyer (beyert|at|cs.ucr.edu)

PR:             143994 143995 143996
Submitted by:   Timothy Bourke <timbob@bigpond.com> (maintainer)
Feature safe:   yes

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

12 vulnerabilities affecting 17 ports have been reported in the past 14 days

^* - modified, not new

All vulnerabilities