notbugAs an Amazon Associate I earn from qualifying purchases.
Want a good read? Try FreeBSD Mastery: Jails (IT Mastery Book 15)

Hardware failure

The website is running on the old server. The new server stopped working at about 0200 UTC on 2020-08-22. The database was restored from 2020-08-21 00:59:15+00 UTC. We think we have covered all commits. Nothing should be missing. Any changes you made to your accounts after the restore date will be lost. Sorry about that.
Port details
polyml Fast open-source implementation of Standard ML
5.8_1 lang on this many watch lists=2 search for ports that depend on this port Find issues related to this port Report an issue related to this port View this port on Repology. 5.8_1Version of this port present on the latest quarterly branch.
Maintainer: beyert@cs.ucr.edu search for ports maintained by this maintainer
Port Added: 2005-07-29 07:20:30
Last Update: 2020-07-04 22:38:31
SVN Revision: 541238

People watching this port, also watch: py27-tkinter, irssi, python, screen

License: LGPL21
Description:
SVNWeb : Homepage
pkg-plist: as obtained via: make generate-plist
Expand this list (19 items)
Collapse this list.
  1. @ldconfig
  2. /usr/local/share/licenses/polyml-5.8_1/catalog.mk
  3. /usr/local/share/licenses/polyml-5.8_1/LICENSE
  4. /usr/local/share/licenses/polyml-5.8_1/LGPL21
  5. bin/poly
  6. bin/polyc
  7. bin/polyimport
  8. lib/libpolymain.a
  9. lib/libpolyml.a
  10. lib/libpolyml.so
  11. lib/libpolyml.so.10
  12. lib/libpolyml.so.10.0.0
  13. libdata/pkgconfig/polyml.pc
  14. man/man1/poly.1.gz
  15. man/man1/polyc.1.gz
  16. man/man1/polyimport.1.gz
  17. @owner
  18. @group
  19. @mode
Collapse this list.
Dependency lines:
  • polyml>0:lang/polyml
  • libpolyml.so:lang/polyml
To install the port: cd /usr/ports/lang/polyml/ && make install clean
To add the package: pkg install polyml
PKGNAME: polyml
Flavors: there is no flavor information for this port.
ONLY_FOR_ARCHS: aarch64 amd64 i386
distinfo:
Packages: (move your mouse over the cells for more information)
polyml
ABIlatestquarterly
FreeBSD:11:aarch64-5.8
FreeBSD:11:amd645.8_15.8_1
FreeBSD:11:armv6--
FreeBSD:11:i3865.8_15.8_1
FreeBSD:11:mips--
FreeBSD:11:mips64--
FreeBSD:12:aarch64--
FreeBSD:12:amd645.8_15.8_1
FreeBSD:12:armv6--
FreeBSD:12:armv7--
FreeBSD:12:i3865.8_15.8_1
FreeBSD:12:mips--
FreeBSD:12:mips64--
FreeBSD:12:powerpc64--
FreeBSD:13:aarch64--
FreeBSD:13:amd645.8_1-
FreeBSD:13:armv6--
FreeBSD:13:armv7--
FreeBSD:13:i3865.8_1-
FreeBSD:13:mips--
FreeBSD:13:mips64--
FreeBSD:13:powerpc64--
 

Dependencies
NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.
Build dependencies:
  1. pkgconf>=1.3.0_1 : devel/pkgconf
Library dependencies:
  1. libffi.so : devel/libffi
  2. libgmp.so : math/gmp
This port is required by:
for Build

    Deleted ports which required this port:

    Expand this list of 1 deleted port
    1. devel/sml_tk*
    2. Collapse this list of deleted ports.
* - deleted ports are only shown under the This port is required by section. It was harder to do for the Required section. Perhaps later...

Configuration Options

USES:

Master Sites:
Expand this list (1 items)
    Collapse this list.
  1. https://codeload.github.com/polyml/polyml/tar.gz/v5.8?dummy=/
  2. Collapse this list.

Number of commits found: 34

Commit History - (may be incomplete: see SVNWeb link above for full details)
DateByDescription
04 Jul 2020 21:38:31
Original commit files touched by this commit  5.8_1
Revision:541238
zeising search for other commits by this committer
lang/polyml: Fix build after libffi update

Add a patch to fix the build of lang/polyml after devel/libffi update.
This was missed in r541232.

PR:		247028 (for tracking)
04 Jul 2020 18:11:42
Original commit files touched by this commit  5.8_1
Revision:541232
zeising search for other commits by this committer
Chanse update of devel/libffi

Chase the devel/libffi update
Bump portrevision of all dependent ports to chace shard library version bump
in libffi.
Update LIB_DEPENDS lines where needed to not require a specific version of
libffi.so.

PR:		247028 (for tracking)
01 Jul 2020 13:39:23
Original commit files touched by this commit  5.8
Revision:540963
lwhsu search for other commits by this committer
Update to 5.8

PR:		247062
Submitted by:	Greg V <greg@unrelenting.technology>
Approved by:	Timothy Beyer <beyert@cs.ucr.edu> (maintainer)
29 Jun 2018 16:48:11
Original commit files touched by this commit  5.7.1
Revision:473559
fernape search for other commits by this committer
lang/polyml: update to 5.7.1

Move some variables to its place.

PR:	229273
Reported by:	hannes@mehnert.org
Approved by:	tcberner (mentor) beyert@cs.ucr.edu (maintainer)
Differential Revision:	https://reviews.freebsd.org/D16022
26 Nov 2016 10:09:54
Original commit files touched by this commit  5.6
Revision:427136
mat search for other commits by this committer
Fixup USE_GITHUB usage.

It already sets DISTNAME to a very nice unique name, do not set it
yourself.

Sponsored by:	Absolight
15 Apr 2016 19:58:04
Original commit files touched by this commit  5.6
Revision:413374
pi search for other commits by this committer
lang/polyml: 5.5.2 -> 5.6

Changes:
- New foreign-function interface (Foreign structure).
- Reimplemented debugger so that code with debugging enabled is much faster.
- Improved support for Poly/ML on native Windows.
- Support for MIPS and 64-bit ARM processors through the byte-code interpreter.
- Various bug fixes.

PR:		208783, 199566
Submitted by:	Phil Eaton <philneaton95@gmail.com>, brooks
Approved by:	Timothy Beyer <beyert@cs.ucr.edu> (maintainer)
01 Apr 2016 14:08:38
Original commit files touched by this commit  5.5.2_2
Revision:412347
mat search for other commits by this committer
Remove ${PORTSDIR}/ from dependencies, categories h, i, j, k, and l.

With hat:	portmgr
Sponsored by:	Absolight
23 Oct 2015 17:24:12
Original commit files touched by this commit  5.5.2_2
Revision:400041
danfe search for other commits by this committer
- Allow exposing polyml as a shared library (as required by e.g. HOL4)
- Strip installed library as advised by portlint(1)
- While here, sort knobs and remove useless .include <bsd.port.options.mk>

PR:		203467
Approved by:	maintainer
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: 34

Login
User Login
Create account

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

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

Search
Enter Keywords:
 
more...

Latest Vulnerabilities
giteaNov 21
nodeNov 21
node12Nov 21
node14Nov 21
muttNov 20
mantisNov 14
goNov 12
py-saltNov 12
openoffice-4Nov 10
openoffice-develNov 10
raptor2Nov 09
py-notebookNov 08
mariadb103-server*Nov 07
mariadb104-server*Nov 07
mariadb105-server*Nov 07

9 vulnerabilities affecting 54 ports have been reported in the past 14 days

* - modified, not new

All vulnerabilities

Last updated:
2020-11-22 15:51:41


Ports
Home
Categories
Deleted ports
Sanity Test Failures
Newsfeeds

Statistics
Graphs
NEW Graphs (Javascript)
Traffic

Calculated hourly:
Port count 41452
Broken 61
Deprecated 279
Ignore 301
Forbidden 4
Restricted 142
No CDROM 73
Vulnerable 19
Expired 4
Set to expire 249
Interactive 0
new 24 hours 4
new 48 hours8
new 7 days33
new fortnight77
new month175

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