FreshPorts -- The Place For Ports If you buy from Amazon USA, please support us by using this link.
Follow us
Blog
Twitter

I am looking for an LTO tape library. Do you have one to spare?
Port details
polyml 5.5.2_1 lang on this many watch lists=2 search for ports that depend on this port
Fast open-source implementation of Standard ML
Maintained by: beyert@cs.ucr.edu search for ports maintained by this maintainer
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
SVNWeb : Main Web Site : Distfiles Availability : PortsMon

NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.

Required To Build:
  1. devel/pkgconf
Required Libraries:
  1. devel/libffi

This port is required by:

for Build * - deleted ports are only shown under the This port is required by section. It was harder to do for the Required section. Perhaps later...

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


Configuration Options
===> The following configuration options are available for polyml-5.5.2_1:
     MOTIF=off: Motif widget library support
===> Use 'make config' to modify these settings

Master Sites:
  1. http://aarnet.dl.sourceforge.net/project/polyml/polyml/5.5.2/
  2. http://distcache.FreeBSD.org/ports-distfiles/polyml/
  3. http://downloads.sourceforge.net/project/polyml/polyml/5.5.2/
  4. http://freefr.dl.sourceforge.net/project/polyml/polyml/5.5.2/
  5. http://garr.dl.sourceforge.net/project/polyml/polyml/5.5.2/
  6. http://heanet.dl.sourceforge.net/project/polyml/polyml/5.5.2/
  7. http://hivelocity.dl.sourceforge.net/project/polyml/polyml/5.5.2/
  8. http://ignum.dl.sourceforge.net/project/polyml/polyml/5.5.2/
  9. http://internode.dl.sourceforge.net/project/polyml/polyml/5.5.2/
  10. http://iweb.dl.sourceforge.net/project/polyml/polyml/5.5.2/
  11. http://jaist.dl.sourceforge.net/project/polyml/polyml/5.5.2/
  12. http://kaz.dl.sourceforge.net/project/polyml/polyml/5.5.2/
  13. http://kent.dl.sourceforge.net/project/polyml/polyml/5.5.2/
  14. http://master.dl.sourceforge.net/project/polyml/polyml/5.5.2/
  15. http://nchc.dl.sourceforge.net/project/polyml/polyml/5.5.2/
  16. http://ncu.dl.sourceforge.net/project/polyml/polyml/5.5.2/
  17. http://netcologne.dl.sourceforge.net/project/polyml/polyml/5.5.2/
  18. http://sunet.dl.sourceforge.net/project/polyml/polyml/5.5.2/
  19. http://superb-dca3.dl.sourceforge.net/project/polyml/polyml/5.5.2/
  20. http://switch.dl.sourceforge.net/project/polyml/polyml/5.5.2/
  21. http://tenet.dl.sourceforge.net/project/polyml/polyml/5.5.2/
  22. http://ufpr.dl.sourceforge.net/project/polyml/polyml/5.5.2/
  23. http://waix.dl.sourceforge.net/project/polyml/polyml/5.5.2/

Number of commits found: 26

Commit History - (may be incomplete: see SVNWeb link above for full details)
DateByDescription
31 Jul 2014 18:43:35
Original commit files touched by this commit  5.5.2_1
Revision:363649
swills search for other commits by this committer
lang/polyml: depend on ffi, use pkg-plist, add motif option

PR:		192165
Approved by:	Timothy Beyer <beyert@cs.ucr.edu> (maintainer)
27 Jul 2014 07:59:57
Original commit files touched by this commit  5.5.2
Revision:363018
marino search for other commits by this committer
lang/polyml: Upgrade version 5.5 => 5.5.2

Also:
  * add support for system libffi
  * Use sed instead of patch to fix configure
  * Adopt modern port conventions

PR:		191914
Submitted by:	maintainer (Timothy Beyer)
10 Mar 2014 20:55:22
Original commit files touched by this commit  5.5_1
Revision:347809
gerald search for other commits by this committer
Update the default version of GCC used in the Ports Collection from
GCC 4.6.4 to GCC 4.7.3.  This entails updating the lang/gcc port as
well as changing the default in Mk/bsd.default-versions.mk.

Part II, Bump PORTREVISIONs.

PR:		182136
Supported by:	Christoph Moench-Tegeder <cmt@burggraben.net> (fixing many ports)
Tested by:	bdrewery (two -exp runs)
01 Dec 2013 12:46:49
Original commit files touched by this commit  5.5
Revision:335378
wg search for other commits by this committer
lang/polyml: allow staging

- Allow staging
- Fix build on head

PR:		ports/184074
Submitted by:	maintainer
20 Sep 2013 19:53:10
Original commit files touched by this commit  5.5
Revision:327741
bapt search for other commits by this committer
Add NO_STAGE all over the place in preparation for the staging support (cat:
lang)
04 Mar 2013 19:21:32
Original commit files touched by this commit  5.5
Revision:313421
beech search for other commits by this committer
- Update to 5.5

PR:		ports/176627
Submitted by:	Timothy Beyer <beyert@cs.ucr.edu> (maintainer)
08 Feb 2013 08:24:18
Original commit files touched by this commit  5.4.1_1
Revision:311918
miwi search for other commits by this committer
- Fix a segfault on startup
- While here trim header

PR:		ports/173446
Submitted by:	Imre Vadasz <imre@vdsz.com>
Approved by:	maintainer
21 May 2012 01:53:23
Original commit files touched by this commit  5.4.1
sunpoet search for other commits by this committer
- 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)
03 Jul 2011 13:45:36
Original commit files touched by this commit  5.4
ohauer search for other commits by this committer
- remove MD5
19 Oct 2010 21:51:58
Original commit files touched by this commit  5.4
pav search for other commits by this committer
- Try to fix build on amd64/6 (untested)

Suggested by:   maintainer
16 Oct 2010 09:13:03
Original commit files touched by this commit  5.4
sunpoet search for other commits by this committer
- 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)
22 Aug 2010 01:26:48
Original commit files touched by this commit  5.3
lwhsu search for other commits by this committer
- Update to 5.3
- Add copyright information

PR:             ports/149735
Submitted by:   Timothy Beyer <beyert AT cs.ucr.edu> (maintainer)
09 Aug 2010 13:15:59
Original commit files touched by this commit  5.2.1
arved search for other commits by this committer
Fix maintainer emailadress

PR:             149451
Submitted by:   maintainer
26 Feb 2010 09:30:28
Original commit files touched by this commit  5.2.1
miwi search for other commits by this committer
- 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
20 Oct 2009 15:38:47
Original commit files touched by this commit  5.2.1
yzlin search for other commits by this committer
- Update to 5.2.1

PR:             ports/139735
Submitted by:   Timothy Bourke <timbob AT bigpond.com> (maintainer)
Approved by:    rafan (co-mentor)
22 Aug 2009 00:24:37
Original commit files touched by this commit  5.2
  Sanity Test Failure
amdmi3 search for other commits by this committer
- Switch SourceForge ports to the new File Release System: categories starting
with H,I,J,K,L
15 Aug 2008 00:42:08
Original commit files touched by this commit  5.2
edwin search for other commits by this committer
[MAINTAINER] lang/polyml: 5.1 -> 5.2

PR:             ports/126068
Submitted by:   Timothy Bourke <timbob@bigpond.com>
25 Jul 2008 14:34:52
Original commit files touched by this commit  5.1
pav search for other commits by this committer
- 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
05 Apr 2008 05:18:58
Original commit files touched by this commit  5.0
rafan search for other commits by this committer
- Fix build with gcc 4

Submitted by:   Timothy Bourke <timbob at bigpond.com> (maintainer)
04 Apr 2008 12:16:15
Original commit files touched by this commit  5.1
rafan search for other commits by this committer
- Update to 5.1

PR:             ports/120997
Submitted by:   Timothy Bourke <timbob at bigpond.com> (maintainer)
20 Mar 2007 16:18:24
Original commit files touched by this commit  5.0
miwi search for other commits by this committer
- Marked broken for amd64

Submitted by:   pointyhat via kris
Approved by:    maintainer
11 Mar 2007 10:30:13
Original commit files touched by this commit  5.0
miwi search for other commits by this committer
- Remove patchset (forget in last commit)

Submitted by: pointyhat and maintainer
06 Mar 2007 21:01:39
Original commit files touched by this commit  5.0
miwi search for other commits by this committer
- Update to 5.0

PR:             109951
Submitted by:   Timothy Bourke <timbob@bigpond.com> (maintainer)
29 Mar 2006 14:05:30
Original commit files touched by this commit  4.2.0
mnag search for other commits by this committer
- Update to 4.2.0
- Is not RESTRICTED anymore

PR:             94667
Submitted by:   maintainer
30 Jan 2006 12:14:44
Original commit files touched by this commit  4.1.3
edwin search for other commits by this committer
SHA256ify

Approved by:    krion@
29 Jul 2005 07:19:56
Original commit files touched by this commit  4.1.3
barner search for other commits by this committer
Add polyml 4.1.3, a fast open-source implementation of Standard ML.

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

Number of commits found: 26

Login
User Login
Create account

Servers and bandwidth provided by
New York Internet, SuperNews, and RootBSD

This site
What is FreshPorts?
About the authors
FAQ
How big is it?
The latest upgrade!
Privacy
Forums
Blog
Contact

Search
Enter Keywords:
 
more...

Latest Vulnerabilities
php53Aug 18
phpmyadminAug 17
chromiumAug 13
serfAug 11
subversionAug 11
subversion17Aug 11
nginxAug 09
nginx-develAug 09
mingw32-opensslAug 06
opensslAug 06
krfbAug 03
gpgmeAug 02
samba4Aug 02
samba41Aug 02
kdelibs4Jul 31

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

* - modified, not new

All vulnerabilities


Ports
Home
Categories
Deleted ports
Sanity Test Failures
Newsfeeds


Statistics
Graphs
NEW Graphs (Javascript)
Traffic

Calculated hourly:
Port count 24476
Broken 229
Deprecated 825
Ignore 571
Forbidden 36
Restricted 261
No CDROM 101
Vulnerable 23
Expired 0
Set to expire 812
Interactive 0
new 24 hours 0
new 48 hours7
new 7 days39
new fortnight153
new month215

Servers and bandwidth provided by
New York Internet, SuperNews, and RootBSD
Valid HTML, CSS, and RSS.
Copyright © 2000-2014 Dan Langille. All rights reserved.