notbugAs an Amazon Associate I earn from qualifying purchases.
Want a good read? Try FreeBSD Mastery: Jails (IT Mastery Book 15)
Ukraine
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 5.9Version 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-05-09 19:23:51
Commit Hash: db78da8
People watching this port, also watch:: py38-tkinter, irssi, python, screen
License: LGPL21
Description:
SVNWeb : git : 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.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:
  • For RUN/BUILD depends:
    • polyml>0:lang/polyml
  • For LIB depends:
    • libpolyml.so: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:aarch64-5.8
FreeBSD:11:amd645.8.25.8.2
FreeBSD:11:armv6--
FreeBSD:11:i3865.8.25.8.2
FreeBSD:11:mips--
FreeBSD:11:mips64--
FreeBSD:12:aarch64--
FreeBSD:12:amd645.9_15.9
FreeBSD:12:armv6--
FreeBSD:12:armv7--
FreeBSD:12:i3865.9_15.9
FreeBSD:12:mips--
FreeBSD:12:mips64--
FreeBSD:12:powerpc64--
FreeBSD:13:aarch64--
FreeBSD:13:amd645.9_15.9
FreeBSD:13:armv6--
FreeBSD:13:armv7--
FreeBSD:13:i3865.9_15.9
FreeBSD:13:mips--
FreeBSD:13:mips64--
FreeBSD:13:powerpc64--
FreeBSD:14:aarch64--
FreeBSD:14:amd645.9_1-
FreeBSD:14:armv6--
FreeBSD:14:armv7--
FreeBSD:14:i3865.9_1-
FreeBSD:14:mips--
FreeBSD:14:mips64--
FreeBSD:14: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:
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: 39

Commit History - (may be incomplete: see SVNWeb link above for full details)
DateByDescription
09 May 2022 19:23:51
 files touched by this commit commit hash:db78da8f8b7388d951665362479eb4aa0babf1b4  5.9_1
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>
10 Jan 2022 00:15:31
 files touched by this commit commit hash:62826707b8f1be0d8f70e63ac6cba33f41e95835  5.9
Wen Heping (wen) search for other commits by this committer
lang/polyml: Update to 5.9

PR:		261019
Reported by:	wen@
Approved by:	maintainer
10 Jun 2021 02:14:26
 files touched by this commit commit hash:64a3ba1431d247592c826cb547284a8b1174066a  5.8.2
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)
06 Apr 2021 14:31:07
 files touched by this commit commit hash:305f148f482daf30dcf728039d03d019f88344eb  5.8.1
Mathieu Arnold (mat) search for other commits by this committer
Remove # $FreeBSD$ from Makefiles.
12 Feb 2021 11:42:54
Original commit files touched by this commit Revision:565011  5.8.1
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
04 Jul 2020 21:38:31
Original commit files touched by this commit Revision:541238  5.8_1
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 Revision:541232  5.8_1
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 Revision:540963  5.8
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 Revision:473559  5.7.1
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 Revision:427136  5.6
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 Revision:413374  5.6
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 Revision:412347  5.5.2_2
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 Revision:400041  5.5.2_2
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 Revision:363649  5.5.2_1
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 Revision:363018  5.5.2
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 Revision:347809  5.5_1
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 Revision:335378  5.5
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 Revision:327741  5.5
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 Revision:313421  5.5
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 Revision:311918  5.4.1_1
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: 39