aboutsummaryrefslogtreecommitdiff
path: root/lang/polyml/Makefile
Commit message (Expand)AuthorAgeFilesLines
* lang/polyml: Update to 5.8.2Wen Heping2021-06-101-1/+1
* Remove # $FreeBSD$ from Makefiles.Mathieu Arnold2021-04-061-1/+0
* lang/polyml: Update to 5.8.1Rainer Hurling2021-02-121-9/+7
* Chanse update of devel/libffiNiclas Zeising2020-07-041-0/+1
* Update to 5.8Li-Wen Hsu2020-07-011-4/+11
* lang/polyml: update to 5.7.1Fernando Apesteguía2018-06-291-4/+5
* Fixup USE_GITHUB usage.Mathieu Arnold2016-11-261-2/+1
* lang/polyml: 5.5.2 -> 5.6Kurt Jaeger2016-04-151-3/+4
* Remove ${PORTSDIR}/ from dependencies, categories h, i, j, k, and l.Mathieu Arnold2016-04-011-1/+1
* - Allow exposing polyml as a shared library (as required by e.g. HOL4)Alexey Dokuchaev2015-10-231-7/+9
* lang/polyml: depend on ffi, use pkg-plist, add motif optionSteve Wills2014-07-311-15/+11
* lang/polyml: Upgrade version 5.5 => 5.5.2John Marino2014-07-271-12/+17
* Update the default version of GCC used in the Ports Collection fromGerald Pfeifer2014-03-101-0/+1
* lang/polyml: allow stagingWilliam Grzybowski2013-12-011-6/+4
* Add NO_STAGE all over the place in preparation for the staging support (cat: ...Baptiste Daroussin2013-09-201-0/+1
* - Update to 5.5Beech Rintoul2013-03-041-3/+2
* - Fix a segfault on startupMartin Wilke2013-02-081-5/+2
* - Update to 5.4.1Sunpoet Po-Chuan Hsieh2012-05-211-8/+2
* - Try to fix build on amd64/6 (untested)Pav Lucistnik2010-10-191-1/+7
* - Update to 5.4Sunpoet Po-Chuan Hsieh2010-10-161-3/+3
* - Update to 5.3Li-Wen Hsu2010-08-221-2/+5
* Fix maintainer emailadressTilman Keskinoz2010-08-091-1/+1
* - Pass maintainership to Timothy Beyer (beyert|at|cs.ucr.edu)Martin Wilke2010-02-261-1/+1
* - Update to 5.2.1Yi-Jheng Lin2009-10-201-1/+1
* - Switch SourceForge ports to the new File Release System: categories startin...Dmitry Marakasov2009-08-221-2/+1
* [MAINTAINER] lang/polyml: 5.1 -> 5.2Edwin Groothuis2008-08-151-1/+1
* - Remove USE_GCC where it can be satisfied with base compiler on followingPav Lucistnik2008-07-251-1/+0
* - Update to 5.1Rong-En Fan2008-04-041-4/+4
* - Marked broken for amd64Martin Wilke2007-03-201-0/+1
* - Update to 5.0Martin Wilke2007-03-061-55/+16
* - Update to 4.2.0Marcus Alves Grando2006-03-291-42/+29
* Add polyml 4.1.3, a fast open-source implementation of Standard ML.Simon Barner2005-07-291-0/+88
generated by cgit v1.2.3 (git 2.25.1) at 2024-05-23 19:19:03 +0000