aboutsummaryrefslogtreecommitdiff
path: root/lang/polyml
Commit message (Collapse)AuthorAgeFilesLines
* lang/polyml: Update to 5.8.2Wen Heping2021-06-103-6/+6
| | | | | | PR: 255975 Submitter: wen@ Approved by: maintainer(timeout, > 20 days)
* Remove # $FreeBSD$ from Makefiles.Mathieu Arnold2021-04-061-1/+0
|
* lang/polyml: Update to 5.8.1Rainer Hurling2021-02-127-43/+24
| | | | | | | | | | | | | | | | - 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 Notes: svn path=/head/; revision=565011
* lang/polyml: Fix build after libffi updateNiclas Zeising2020-07-041-0/+14
| | | | | | | | | | Add a patch to fix the build of lang/polyml after devel/libffi update. This was missed in r541232. PR: 247028 (for tracking) Notes: svn path=/head/; revision=541238
* Chanse update of devel/libffiNiclas Zeising2020-07-041-0/+1
| | | | | | | | | | | | | 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) Notes: svn path=/head/; revision=541232
* Update to 5.8Li-Wen Hsu2020-07-014-9/+30
| | | | | | | | | PR: 247062 Submitted by: Greg V <greg@unrelenting.technology> Approved by: Timothy Beyer <beyert@cs.ucr.edu> (maintainer) Notes: svn path=/head/; revision=540963
* lang/polyml: update to 5.7.1Fernando Apesteguía2018-06-293-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 Notes: svn path=/head/; revision=473559
* Fixup USE_GITHUB usage.Mathieu Arnold2016-11-262-4/+4
| | | | | | | | | | It already sets DISTNAME to a very nice unique name, do not set it yourself. Sponsored by: Absolight Notes: svn path=/head/; revision=427136
* lang/polyml: 5.5.2 -> 5.6Kurt Jaeger2016-04-153-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) Notes: svn path=/head/; revision=413374
* Remove ${PORTSDIR}/ from dependencies, categories h, i, j, k, and l.Mathieu Arnold2016-04-011-1/+1
| | | | | | | | With hat: portmgr Sponsored by: Absolight Notes: svn path=/head/; revision=412347
* - Allow exposing polyml as a shared library (as required by e.g. HOL4)Alexey Dokuchaev2015-10-232-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 Notes: svn path=/head/; revision=400041
* lang/polyml: depend on ffi, use pkg-plist, add motif optionSteve Wills2014-07-312-15/+20
| | | | | | | | PR: 192165 Approved by: Timothy Beyer <beyert@cs.ucr.edu> (maintainer) Notes: svn path=/head/; revision=363649
* lang/polyml: Upgrade version 5.5 => 5.5.2John Marino2014-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) Notes: svn path=/head/; revision=363018
* Update the default version of GCC used in the Ports Collection fromGerald Pfeifer2014-03-101-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) Notes: svn path=/head/; revision=347809
* lang/polyml: allow stagingWilliam Grzybowski2013-12-011-6/+4
| | | | | | | | | | | - Allow staging - Fix build on head PR: ports/184074 Submitted by: maintainer Notes: svn path=/head/; revision=335378
* Add NO_STAGE all over the place in preparation for the staging support (cat: ↵Baptiste Daroussin2013-09-201-0/+1
| | | | | | | lang) Notes: svn path=/head/; revision=327741
* - Update to 5.5Beech Rintoul2013-03-042-5/+4
| | | | | | | | PR: ports/176627 Submitted by: Timothy Beyer <beyert@cs.ucr.edu> (maintainer) Notes: svn path=/head/; revision=313421
* - Fix a segfault on startupMartin Wilke2013-02-082-5/+13
| | | | | | | | | | | - While here trim header PR: ports/173446 Submitted by: Imre Vadasz <imre@vdsz.com> Approved by: maintainer Notes: svn path=/head/; revision=311918
* - Update to 5.4.1Sunpoet Po-Chuan Hsieh2012-05-212-10/+4
| | | | | | | | | | - While I'm here, remove outdated OSVERSION check PR: ports/168180 Submitted by: Timothy Beyer <beyert@cs.ucr.edu> (maintainer) Notes: svn path=/head/; revision=297064
* - remove MD5Olli Hauer2011-07-031-1/+0
| | | | Notes: svn path=/head/; revision=276987
* - Try to fix build on amd64/6 (untested)Pav Lucistnik2010-10-191-1/+7
| | | | | | | Suggested by: maintainer Notes: svn path=/head/; revision=263308
* - Update to 5.4Sunpoet Po-Chuan Hsieh2010-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) Notes: svn path=/head/; revision=263083
* - Update to 5.3Li-Wen Hsu2010-08-223-5/+19
| | | | | | | | | | - Add copyright information PR: ports/149735 Submitted by: Timothy Beyer <beyert AT cs.ucr.edu> (maintainer) Notes: svn path=/head/; revision=259709
* Fix maintainer emailadressTilman Keskinoz2010-08-091-1/+1
| | | | | | | | PR: 149451 Submitted by: maintainer Notes: svn path=/head/; revision=259006
* - Pass maintainership to Timothy Beyer (beyert|at|cs.ucr.edu)Martin Wilke2010-02-261-1/+1
| | | | | | | | | PR: 143994 143995 143996 Submitted by: Timothy Bourke <timbob@bigpond.com> (maintainer) Feature safe: yes Notes: svn path=/head/; revision=250361
* - Update to 5.2.1Yi-Jheng Lin2009-10-203-24/+4
| | | | | | | | | PR: ports/139735 Submitted by: Timothy Bourke <timbob AT bigpond.com> (maintainer) Approved by: rafan (co-mentor) Notes: svn path=/head/; revision=243113
* - Switch SourceForge ports to the new File Release System: categories ↵Dmitry Marakasov2009-08-221-2/+1
| | | | | | | starting with H,I,J,K,L Notes: svn path=/head/; revision=240071
* [MAINTAINER] lang/polyml: 5.1 -> 5.2Edwin Groothuis2008-08-153-7/+16
| | | | | | | | PR: ports/126068 Submitted by: Timothy Bourke <timbob@bigpond.com> Notes: svn path=/head/; revision=218577
* - Remove USE_GCC where it can be satisfied with base compiler on followingPav Lucistnik2008-07-251-1/+0
| | | | | | | FreeBSD versions: 5.3 and up, 6.x, 7.x, 8-CURRENT Notes: svn path=/head/; revision=217485
* - Fix build with gcc 4Rong-En Fan2008-04-051-0/+11
| | | | | | | Submitted by: Timothy Bourke <timbob at bigpond.com> (maintainer) Notes: svn path=/head/; revision=210556
* - Update to 5.1Rong-En Fan2008-04-042-7/+7
| | | | | | | | PR: ports/120997 Submitted by: Timothy Bourke <timbob at bigpond.com> (maintainer) Notes: svn path=/head/; revision=210486
* - Marked broken for amd64Martin Wilke2007-03-201-0/+1
| | | | | | | | Submitted by: pointyhat via kris Approved by: maintainer Notes: svn path=/head/; revision=187800
* - Remove patchset (forget in last commit)Martin Wilke2007-03-114-68/+0
| | | | | | | Submitted by: pointyhat and maintainer Notes: svn path=/head/; revision=187117
* - Update to 5.0Martin Wilke2007-03-063-103/+19
| | | | | | | | PR: 109951 Submitted by: Timothy Bourke <timbob@bigpond.com> (maintainer) Notes: svn path=/head/; revision=186740
* - Update to 4.2.0Marcus Alves Grando2006-03-298-172/+74
| | | | | | | | | | - Is not RESTRICTED anymore PR: 94667 Submitted by: maintainer Notes: svn path=/head/; revision=158386
* SHA256ifyEdwin Groothuis2006-01-301-0/+4
| | | | | | | Approved by: krion@ Notes: svn path=/head/; revision=154800
* Add polyml 4.1.3, a fast open-source implementation of Standard ML.Simon Barner2005-07-2912-0/+290
PR: 83433 Submitted by: Timothy Bourke <timbob@bigpond.com> Notes: svn path=/head/; revision=140373
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-12 03:13:03 +0000