notbugAs an Amazon Associate I earn from qualifying purchases.
Want a good read? Try FreeBSD Mastery: Jails (IT Mastery Book 15)
Ukraine
Some details on the 2023-01-16 website outage.
We just rebooted with several updates: * new HMTLify code * no port maintainer is now highly visible (e.g. https://freshports.org/security/sssd/) * fixed search logic error when using plain/ text details at https://github.com/FreshPorts/freshports/releases/tag/2.2.34
Port details
polyml Fast open-source implementation of Standard ML
5.9_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. pkg-fallout Version 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: 2022-09-07 21:58:51
Commit Hash: fb16dfe
People watching this port, also watch:: py39-tkinter, irssi, python, screen
License: LGPL21
Description:
Homepage    cgit ¦ Codeberg ¦ GitHub ¦ GitLab ¦ SVNWeb
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.9_1/catalog.mk
  3. /usr/local/share/licenses/polyml-5.9_1/LICENSE
  4. /usr/local/share/licenses/polyml-5.9_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.13
  12. lib/libpolyml.so.13.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
To install the port:
cd /usr/ports/lang/polyml/ && make install clean
To add the package, run one of these commands:
  • pkg install lang/polyml
  • pkg install polyml
NOTE: If this package has multiple flavors (see below), then use one of them instead of the name specified above.
PKGNAME: polyml
Flavors: there is no flavor information for this port.
ONLY_FOR_ARCHS: aarch64 amd64 i386
distinfo:

Packages (timestamps in pop-ups are UTC):
polyml
ABIlatestquarterly
FreeBSD:11:aarch64pkg-fallout5.8
FreeBSD:11:amd645.8.25.8.2
FreeBSD:11:armv6pkg-falloutpkg-fallout
FreeBSD:11:i3865.8.25.8.2
FreeBSD:11:mipspkg-falloutpkg-fallout
FreeBSD:11:mips64pkg-falloutpkg-fallout
FreeBSD:12:aarch64pkg-falloutpkg-fallout
FreeBSD:12:amd645.9_15.9_1
FreeBSD:12:armv6pkg-falloutpkg-fallout
FreeBSD:12:armv7pkg-falloutpkg-fallout
FreeBSD:12:i3865.9_15.9_1
FreeBSD:12:mipspkg-falloutpkg-fallout
FreeBSD:12:mips64pkg-falloutpkg-fallout
FreeBSD:12:powerpc64pkg-falloutpkg-fallout
FreeBSD:13:aarch64pkg-falloutpkg-fallout
FreeBSD:13:amd645.9_15.9_1
FreeBSD:13:armv6pkg-falloutpkg-fallout
FreeBSD:13:armv7pkg-falloutpkg-fallout
FreeBSD:13:i3865.9_15.9_1
FreeBSD:13:mipspkg-falloutpkg-fallout
FreeBSD:13:mips64pkg-falloutpkg-fallout
FreeBSD:13:powerpc64pkg-falloutpkg-fallout
FreeBSD:13:riscv64pkg-falloutpkg-fallout
FreeBSD:14:aarch64pkg-falloutpkg-fallout
FreeBSD:14:amd645.9_1pkg-fallout
FreeBSD:14:armv6pkg-falloutpkg-fallout
FreeBSD:14:armv7pkg-falloutpkg-fallout
FreeBSD:14:i3865.9_1pkg-fallout
FreeBSD:14:mipspkg-falloutpkg-fallout
FreeBSD:14:mips64pkg-falloutpkg-fallout
FreeBSD:14:powerpc64pkg-falloutpkg-fallout
FreeBSD:14:riscv64pkg-falloutpkg-fallout
 
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:
Options name:
USES:
FreshPorts was unable to extract/find any pkg message
Master Sites:
Expand this list (1 items)
Collapse this list.
  1. https://codeload.github.com/polyml/polyml/tar.gz/v5.9?dummy=/
Collapse this list.

Number of commits found: 42

Commit History - (may be incomplete: for full details, see links to repositories near top of page)
CommitCreditsLog message
07 Sep 2022 21:58:51
commit hash:fb16dfecae4a6efac9f3a78e0b759fb7a3c53de4commit hash:fb16dfecae4a6efac9f3a78e0b759fb7a3c53de4commit hash:fb16dfecae4a6efac9f3a78e0b759fb7a3c53de4commit hash:fb16dfecae4a6efac9f3a78e0b759fb7a3c53de4 files touched by this commit
Stefan Eßer (se) search for other commits by this committer
Remove WWW entries moved into port Makefiles

Commit b7f05445c00f has added WWW entries to port Makefiles based on
WWW: lines in pkg-descr files.

This commit removes the WWW: lines of moved-over URLs from these
pkg-descr files.

Approved by:		portmgr (tcberner)
5.9_1
07 Sep 2022 21:10:59
commit hash:b7f05445c00f2625aa19b4154ebcbce5ed2daa52commit hash:b7f05445c00f2625aa19b4154ebcbce5ed2daa52commit hash:b7f05445c00f2625aa19b4154ebcbce5ed2daa52commit hash:b7f05445c00f2625aa19b4154ebcbce5ed2daa52 files touched by this commit
Stefan Eßer (se) search for other commits by this committer
Add WWW entries to port Makefiles

It has been common practice to have one or more URLs at the end of the
ports' pkg-descr files, one per line and prefixed with "WWW:". These
URLs should point at a project website or other relevant resources.

Access to these URLs required processing of the pkg-descr files, and
they have often become stale over time. If more than one such URL was
present in a pkg-descr file, only the first one was tarnsfered into
the port INDEX, but for many ports only the last line did contain the
port specific URL to further information.

There have been several proposals to make a project URL available as
a macro in the ports' Makefiles, over time.
(Only the first 15 lines of the commit message are shown above View all of this commit message)
5.9_1
20 Jul 2022 14:22:15
commit hash:f98ae56653d5255e3519da4e97d6edbaa7e6df91commit hash:f98ae56653d5255e3519da4e97d6edbaa7e6df91commit hash:f98ae56653d5255e3519da4e97d6edbaa7e6df91commit hash:f98ae56653d5255e3519da4e97d6edbaa7e6df91 files touched by this commit
Tobias C. Berner (tcberner) search for other commits by this committer
lang: remove 'Created by' lines

A big Thank You to the original contributors of these ports:

  *  Aaron Dalton <aaron@FreeBSD.org>
  *  Adam Weinberger <adamw@FreeBSD.org>
  *  Akinori MUSHA aka knu <knu@idaemons.org>
  *  Alex Dupre <ale@FreeBSD.org>
  *  Alexey Dokuchaev <danfe@FreeBSD.org>
  *  Alonso Cardenas Marquez <acm@FreeBSD.org>
  *  Andreas Klemm <andreas@klemm.gtn.com>
  *  Andrew Pantyukhin <infofarmer@FreeBSD.org>
  *  Andrey Zakhvatov
  *  Anton Berezin <tobez@FreeBSD.org>
  *  Anton Berezin <tobez@tobez.org>
(Only the first 15 lines of the commit message are shown above View all of this commit message)
5.9_1
09 May 2022 19:23:51
commit hash:db78da8f8b7388d951665362479eb4aa0babf1b4commit hash:db78da8f8b7388d951665362479eb4aa0babf1b4commit hash:db78da8f8b7388d951665362479eb4aa0babf1b4commit hash:db78da8f8b7388d951665362479eb4aa0babf1b4 files touched by this commit
Kevin Bowling (kbowling) search for other commits by this committer
devel/libffi: Bump deps PORTREVISION for shlib change

PR:		263764
Reported by:	VVD <vvd@unislabs.com>
5.9
10 Jan 2022 00:15:31
commit hash:62826707b8f1be0d8f70e63ac6cba33f41e95835commit hash:62826707b8f1be0d8f70e63ac6cba33f41e95835commit hash:62826707b8f1be0d8f70e63ac6cba33f41e95835commit hash:62826707b8f1be0d8f70e63ac6cba33f41e95835 files touched by this commit
Wen Heping (wen) search for other commits by this committer
lang/polyml: Update to 5.9

PR:		261019
Reported by:	wen@
Approved by:	maintainer
5.8.2
10 Jun 2021 02:14:26
commit hash:64a3ba1431d247592c826cb547284a8b1174066acommit hash:64a3ba1431d247592c826cb547284a8b1174066acommit hash:64a3ba1431d247592c826cb547284a8b1174066acommit hash:64a3ba1431d247592c826cb547284a8b1174066a files touched by this commit
Wen Heping (wen) search for other commits by this committer
lang/polyml: Update to 5.8.2

PR:		255975
Submitter:	wen@
Approved by:	maintainer(timeout, > 20 days)
5.8.1
06 Apr 2021 14:31:07
commit hash:305f148f482daf30dcf728039d03d019f88344ebcommit hash:305f148f482daf30dcf728039d03d019f88344ebcommit hash:305f148f482daf30dcf728039d03d019f88344ebcommit hash:305f148f482daf30dcf728039d03d019f88344eb files touched by this commit
Mathieu Arnold (mat) search for other commits by this committer
Remove # $FreeBSD$ from Makefiles.
5.8.1
12 Feb 2021 11:42:54
Revision:565011Original commit files touched by this commit
rhurlin search for other commits by this committer
lang/polyml: Update to 5.8.1

- Bug fix release for version 5.8
- Visual Studio projects have been updated to VS2017 and SDK 10

Changelog: https://github.com/polyml/polyml/releases/tag/v5.8.1

PR:		253282
Submitted by:	Wen Heping <wen@FreeBSD.org>
Reviewed by:	tcberner (mentor)
Approved by:	arrowd (mentor)
Differential Revision:	https://reviews.freebsd.org/D28529
5.8_1
04 Jul 2020 21:38:31
Revision:541238Original commit files touched by this commit
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)
5.8_1
04 Jul 2020 18:11:42
Revision:541232Original commit files touched by this commit
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)
5.8
01 Jul 2020 13:39:23
Revision:540963Original commit files touched by this commit
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)
5.7.1
29 Jun 2018 16:48:11
Revision:473559Original commit files touched by this commit
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
5.6
26 Nov 2016 10:09:54
Revision:427136Original commit files touched by this commit
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
5.6
15 Apr 2016 19:58:04
Revision:413374Original commit files touched by this commit
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)
5.5.2_2
01 Apr 2016 14:08:38
Revision:412347Original commit files touched by this commit
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
5.5.2_2
23 Oct 2015 17:24:12
Revision:400041Original commit files touched by this commit
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
5.5.2_1
31 Jul 2014 18:43:35
Revision:363649Original commit files touched by this commit
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)
5.5.2
27 Jul 2014 07:59:57
Revision:363018Original commit files touched by this commit
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)
5.5_1
10 Mar 2014 20:55:22
Revision:347809Original commit files touched by this commit
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)
5.5
01 Dec 2013 12:46:49
Revision:335378Original commit files touched by this commit
wg search for other commits by this committer
lang/polyml: allow staging

- Allow staging
- Fix build on head

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

PR:		ports/176627
Submitted by:	Timothy Beyer <beyert@cs.ucr.edu> (maintainer)
5.4.1_1
08 Feb 2013 08:24:18
Revision:311918Original commit files touched by this commit
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
5.4.1
21 May 2012 01:53:23
Original commit files touched by this commit
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)
5.4
03 Jul 2011 13:45:36
Original commit files touched by this commit
ohauer search for other commits by this committer
- remove MD5
5.4
19 Oct 2010 21:51:58
Original commit files touched by this commit
pav search for other commits by this committer
- Try to fix build on amd64/6 (untested)

Suggested by:   maintainer
5.4
16 Oct 2010 09:13:03
Original commit files touched by this commit
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)
5.3
22 Aug 2010 01:26:48
Original commit files touched by this commit
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)
5.2.1
09 Aug 2010 13:15:59
Original commit files touched by this commit
arved search for other commits by this committer
Fix maintainer emailadress

PR:             149451
Submitted by:   maintainer
5.2.1
26 Feb 2010 09:30:28
Original commit files touched by this commit
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
5.2.1
20 Oct 2009 15:38:47
Original commit files touched by this commit
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)
5.2
22 Aug 2009 00:24:37
Original commit files touched by this commit 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
5.2
15 Aug 2008 00:42:08
Original commit files touched by this commit
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>
5.1
25 Jul 2008 14:34:52
Original commit files touched by this commit
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
5.0
05 Apr 2008 05:18:58
Original commit files touched by this commit
rafan search for other commits by this committer
- Fix build with gcc 4

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

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

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

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

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

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

Approved by:    krion@
4.1.3
29 Jul 2005 07:19:56
Original commit files touched by this commit
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: 42