aboutsummaryrefslogtreecommitdiffstats
path: root/lang/polyml
Commit message (Collapse)AuthorAgeFilesLines
* lang/polyml: update to 5.7.1fernape2018-06-303-9/+10
| | | | | | | | | 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
* Fixup USE_GITHUB usage.mat2016-11-262-4/+4
| | | | | | | It already sets DISTNAME to a very nice unique name, do not set it yourself. Sponsored by: Absolight
* lang/polyml: 5.5.2 -> 5.6pi2016-04-163-7/+8
| | | | | | | | | | | | | 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)
* Remove ${PORTSDIR}/ from dependencies, categories h, i, j, k, and l.mat2016-04-011-1/+1
| | | | | With hat: portmgr Sponsored by: Absolight
* - Allow exposing polyml as a shared library (as required by e.g. HOL4)danfe2015-10-242-7/+12
| | | | | | | | - 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
* lang/polyml: depend on ffi, use pkg-plist, add motif optionswills2014-08-012-15/+20
| | | | | PR: 192165 Approved by: Timothy Beyer <beyert@cs.ucr.edu> (maintainer)
* lang/polyml: Upgrade version 5.5 => 5.5.2marino2014-07-273-25/+19
| | | | | | | | | | 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)
* Update the default version of GCC used in the Ports Collection fromgerald2014-03-111-0/+1
| | | | | | | | | | | 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)
* lang/polyml: allow stagingwg2013-12-011-6/+4
| | | | | | | | - Allow staging - Fix build on head PR: ports/184074 Submitted by: maintainer
* Add NO_STAGE all over the place in preparation for the staging support (cat: ↵bapt2013-09-211-0/+1
| | | | lang)
* - Update to 5.5beech2013-03-052-5/+4
| | | | | PR: ports/176627 Submitted by: Timothy Beyer <beyert@cs.ucr.edu> (maintainer)
* - Fix a segfault on startupmiwi2013-02-082-5/+13
| | | | | | | | - While here trim header PR: ports/173446 Submitted by: Imre Vadasz <imre@vdsz.com> Approved by: maintainer
* - Update to 5.4.1sunpoet2012-05-212-10/+4
| | | | | | | - While I'm here, remove outdated OSVERSION check PR: ports/168180 Submitted by: Timothy Beyer <beyert@cs.ucr.edu> (maintainer)
* - remove MD5ohauer2011-07-031-1/+0
|
* - Try to fix build on amd64/6 (untested)pav2010-10-201-1/+7
| | | | Suggested by: maintainer
* - Update to 5.4sunpoet2010-10-163-17/+6
| | | | | | | | | - 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.3lwhsu2010-08-223-5/+19
| | | | | | | - Add copyright information PR: ports/149735 Submitted by: Timothy Beyer <beyert AT cs.ucr.edu> (maintainer)
* Fix maintainer emailadressarved2010-08-091-1/+1
| | | | | PR: 149451 Submitted by: maintainer
* - Pass maintainership to Timothy Beyer (beyert|at|cs.ucr.edu)miwi2010-02-261-1/+1
| | | | | | PR: 143994 143995 143996 Submitted by: Timothy Bourke <timbob@bigpond.com> (maintainer) Feature safe: yes
* - Update to 5.2.1yzlin2009-10-203-24/+4
| | | | | | 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 ↵amdmi32009-08-221-2/+1
| | | | starting with H,I,J,K,L
* [MAINTAINER] lang/polyml: 5.1 -> 5.2edwin2008-08-153-7/+16
| | | | | PR: ports/126068 Submitted by: Timothy Bourke <timbob@bigpond.com>
* - Remove USE_GCC where it can be satisfied with base compiler on followingpav2008-07-251-1/+0
| | | | FreeBSD versions: 5.3 and up, 6.x, 7.x, 8-CURRENT
* - Fix build with gcc 4rafan2008-04-051-0/+11
| | | | Submitted by: Timothy Bourke <timbob at bigpond.com> (maintainer)
* - Update to 5.1rafan2008-04-042-7/+7
| | | | | PR: ports/120997 Submitted by: Timothy Bourke <timbob at bigpond.com> (maintainer)
* - Marked broken for amd64miwi2007-03-211-0/+1
| | | | | Submitted by: pointyhat via kris Approved by: maintainer
* - Remove patchset (forget in last commit)miwi2007-03-114-68/+0
| | | | Submitted by: pointyhat and maintainer
* - Update to 5.0miwi2007-03-073-103/+19
| | | | | PR: 109951 Submitted by: Timothy Bourke <timbob@bigpond.com> (maintainer)
* - Update to 4.2.0mnag2006-03-298-172/+74
| | | | | | | - Is not RESTRICTED anymore PR: 94667 Submitted by: maintainer
* SHA256ifyedwin2006-01-301-0/+4
| | | | Approved by: krion@
* Add polyml 4.1.3, a fast open-source implementation of Standard ML.barner2005-07-2912-0/+290
PR: 83433 Submitted by: Timothy Bourke <timbob@bigpond.com>
generated by cgit (git 2.34.1) at 2025-01-29 14:45:30 +0800