| non port: math/plman/Makefile |
|
SVNWeb
|
Number of commits found: 17 |
|
Wed, 7 Sep 2022
|
[ 21:10 Stefan Eßer (se)  ]    b7f0544 (Only the first 10 of 27931 ports in this commit are shown above.  )
Add WWW entries to port Makefiles
It has been common practice to have one or more URLs at the end of the
ports' pkg-descr files, one per line and prefixed with "WWW:". These
URLs should point at a project website or other relevant resources.
Access to these URLs required processing of the pkg-descr files, and
they have often become stale over time. If more than one such URL was
present in a pkg-descr file, only the first one was tarnsfered into
the port INDEX, but for many ports only the last line did contain the
port specific URL to further information.
There have been several proposals to make a project URL available as
a macro in the ports' Makefiles, over time.
(Only the first 15 lines of the commit message are shown above )
|
|
Wed, 20 Jul 2022
|
[ 14:22 Tobias C. Berner (tcberner) ] f53eb28 (Only the first 10 of 719 ports in this commit are shown above. )
math: remove 'Created by' lines
A big Thank You to the original contributors of these ports:
* Aaron Dalton <aaron@FreeBSD.org>
* Aaron Dalton <aaron@daltons.ca>
* Alessando Sagratini <ale_sagra@hotmail.com>
* Alex Dupre <ale@FreeBSD.org>
* Alexey Dokuchaev <danfe@FreeBSD.org>
* Amarendra Godbole <amarendra.godbole@gmail.com>
* Anders Nordby <anders@FreeBSD.org>
* Andreas Fehlner (fehlner@gmx.de)
* Andrew L. Neporada <andrew@chg.ru>
* Andrey <gugu@zoo.rambler.ru>
* Andrey Zakhvatov (Only the first 15 lines of the commit message are shown above )
|
|
Tue, 6 Apr 2021
|
[ 14:31 Mathieu Arnold (mat) ] 305f148 (Only the first 10 of 29333 ports in this commit are shown above. )
Remove # $FreeBSD$ from Makefiles.
|
|
Tue, 26 Nov 2019
|
[ 21:46 jkim ]   (Only the first 10 of 443 ports in this commit are shown above. )
Clean up after java/openjdk6 and java/openjdk6-jre removal
java/openjdk6 support was removed from Mk/bsd.java.mk (r512662) and
java/openjdk6 and java/openjdk6-jre were removed from the ports tree
(r512663). Now this patch completely removes remaining stuff from the
ports tree.
PR: 241953 (exp-run)
Reviewed by: glewis
Approved by: portmgr (antoine)
Differential Revision: https://reviews.freebsd.org/D22342
|
|
Fri, 23 Jan 2015
|
[ 16:03 antoine ] (Only the first 10 of 39 ports in this commit are shown above. )
Remove explicit dependency on javavmwrapper for ports that USE_JAVA
|
|
Mon, 7 Jul 2014
|
[ 15:31 olgeni ] (Only the first 10 of 193 ports in this commit are shown above. )
Remove indefinite articles and trailing periods from COMMENT, plus minor
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)
|
|
Fri, 4 Jul 2014
|
[ 00:52 adamw ] (Only the first 10 of 32 ports in this commit are shown above. )
Remove NOPORTDOCS and NOPORTEXAMPLES.
Approved by: portmgr (blanket)
|
|
Thu, 19 Jun 2014
|
[ 08:41 vanilla ]
Stagify.
Approved by: portmgr@
|
|
Mon, 10 Mar 2014
|
[ 16:25 bapt ] (Only the first 10 of 49 ports in this commit are shown above. )
Convert m* to USES=zip
|
|
Fri, 20 Sep 2013
|
[ 20:55 bapt ] (Only the first 10 of 665 ports in this commit are shown above. )
Add NO_STAGE all over the place in preparation for the staging support (cat:
math)
|
|
Mon, 10 Dec 2012
|
[ 13:43 bapt ] (Only the first 10 of 118 ports in this commit are shown above. )
Decommissioning java 1.5 (EOLed since October 2009):
suppress any reference to JAVA_VERSION= 1.5+ (part3)
|
|
Thu, 21 Jul 2011
|
[ 05:03 linimon ] (Only the first 10 of 269 ports in this commit are shown above. )
Now that the Java 1.3 and Java 1.4 ports are deprecated and will expire soon,
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
|
|
Fri, 6 Jun 2008
|
[ 13:44 edwin ] (Only the first 10 of 76 ports in this commit are shown above. )
Bump portrevision due to upgrade of devel/gettext.
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)
|
|
Sat, 19 May 2007
|
[ 20:32 flz ] (Only the first 10 of 7868 ports in this commit are shown above. )
- Welcome X.org 7.2 \o/.
- Set X11BASE to ${LOCALBASE} for recent ${OSVERSION}.
- Bump PORTREVISION for ports intalling files in ${X11BASE}.
|
|
Sun, 10 Dec 2006
|
[ 01:21 nivit ] (Only the first 10 of 66 ports in this commit are shown above. )
- Updated email address in my ports
Approved by: alexbl (mentor)
|
|
Wed, 10 May 2006
|
[ 22:37 edwin ] (Only the first 10 of 328 ports in this commit are shown above. )
Remove USE_REINPLACE from ports starting with M
|
|
Wed, 21 Dec 2005
|
[ 04:10 edwin ]
[NEW PORT] math/plman: A Propositional Logic sentence shell/interpreter
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>
|
Number of commits found: 17 |
As an Amazon Associate I earn from qualifying purchases.