aboutsummaryrefslogtreecommitdiff
path: root/math/plman/Makefile
Commit message (Collapse)AuthorAgeFilesLines
* Remove explicit dependency on javavmwrapper for ports that USE_JAVAAntoine Brodin2015-01-231-2/+0
| | | | Notes: svn path=/head/; revision=377747
* Remove indefinite articles and trailing periods from COMMENT, plus minorJimmy Olgeni2014-07-071-1/+1
| | | | | | | | | | | | COMMENT typos and surrounding whitespace fixes. A few Makefiles where not included as they contain Latin-1 characters that break the Phabricator workflow. Category M. CR: D306 Approved by: portmgr (bapt) Notes: svn path=/head/; revision=361099
* Remove NOPORTDOCS and NOPORTEXAMPLES.Adam Weinberger2014-07-041-2/+2
| | | | | | | Approved by: portmgr (blanket) Notes: svn path=/head/; revision=360499
* Stagify.Vanilla I. Shu2014-06-191-6/+5
| | | | | | | Approved by: portmgr@ Notes: svn path=/head/; revision=358365
* Convert m* to USES=zipBaptiste Daroussin2014-03-101-2/+1
| | | | Notes: svn path=/head/; revision=347776
* Add NO_STAGE all over the place in preparation for the staging support (cat: ↵Baptiste Daroussin2013-09-201-0/+1
| | | | | | | math) Notes: svn path=/head/; revision=327746
* Decommissioning java 1.5 (EOLed since October 2009):Baptiste Daroussin2012-12-101-6/+2
| | | | | | | suppress any reference to JAVA_VERSION= 1.5+ (part3) Notes: svn path=/head/; revision=308605
* Now that the Java 1.3 and Java 1.4 ports are deprecated and will expire soon,Mark Linimon2011-07-211-1/+1
| | | | | | | | | | | | | | | | | | | remove support for them from bsd.java.mk. As Jikes is not available in Java 1.5 or higher, remove it from bsd.java.mk too (suggested by hq@) and from the ports which used it (only occurences were USE_JIKES=no). Support for the Blackdown VM is also removed, as it is not available in Java 1.5 and higher. Also remove the mapping from Java 1.1-1.4 to Java 1.5+ in bsd.java.mk to detect old, broken ports; therefore bump the minimal value of JAVA_VERSION to 1.5. While here, replace static values of JAVA_VERSION in files/*.in by %%JAVA_VERSION%% . PR: ports/158969 Submitted by: rene Tested on: pointyhat-west -exp Notes: svn path=/head/; revision=278068
* Bump portrevision due to upgrade of devel/gettext.Edwin Groothuis2008-06-061-1/+1
| | | | | | | | | | | | | The affected ports are the ones with gettext as a run-dependency according to ports/INDEX-7 (5007 of them) and the ones with USE_GETTEXT in Makefile (29 of them). PR: ports/124340 Submitted by: edwin@ Approved by: portmgr (pav) Notes: svn path=/head/; revision=214430
* - Welcome X.org 7.2 \o/.Florent Thoumie2007-05-191-0/+1
| | | | | | | | - Set X11BASE to ${LOCALBASE} for recent ${OSVERSION}. - Bump PORTREVISION for ports intalling files in ${X11BASE}. Notes: svn path=/head/; revision=191544
* - Updated email address in my portsNicola Vitale2006-12-101-1/+1
| | | | | | | Approved by: alexbl (mentor) Notes: svn path=/head/; revision=179349
* Remove USE_REINPLACE from ports starting with MEdwin Groothuis2006-05-101-1/+0
| | | | Notes: svn path=/head/; revision=162032
* [NEW PORT] math/plman: A Propositional Logic sentence shell/interpreterEdwin Groothuis2005-12-211-0/+49
PLMan, or Propositional LogicMan, is a user-friendly and powerful propositional logic (sometimes called sentential logic or propositional calculus) sentence shell/interpreter written in Java, capable of handling many existing propositional systems of propositional logic, especially the important ones. Author: Takayuki Hoshi <hoshi103@chapman.edu> WWW: http://plman.sourceforge.net/ PR: ports/90277 Submitted by: Nicola Vitale <nivit@email.it> Notes: svn path=/head/; revision=151700
generated by cgit v1.2.3 (git 2.25.1) at 2025-03-05 04:20:47 +0000