math/plman2.5.1_4

*/*: bump portrevision after java_default=25 update

Included all ports that have USES=java.

PR:	293559

*/*: bump portrevision after java_default=21 update

PR:	272855

Mk/**java.mk: Convert bsd.java.mk to USES

The following features have been added or changed:
- Instead of USE_JAVA use USES=java. This defaults to
  USES=java:build,run if NO_BUILD is undefined. Else it defaults to
  USES=java:run
- Instead of USE_ANT=yes use USES=java:ant which also implies
  USES=java:build
- Instead of JAVA_BUILD=yes use USES=java:build. Does not imply run or
  extract
- Instead of JAVA_EXTRACT=yes use USES=java:extract does not imply
  build or run
- Instead of JAVA_RUN=yes use USES=java:run does not imply extract or
  build
- Instead of USE_JAVA=<version> use USES=java and JAVA_VERSION=<version>

Approved by: mat (portmgr), glewis
Differential Revision:  https://reviews.freebsd.org/D48201

*/*: Update WWW to use HTTPS for sourceforge.net projects

Homepage link is permanent redirected to its HTTPS counterpart
Issue reported by repology : https://repology.org/repository/freebsd/problems

Approved by:	portmgr (blanket)
PR:		274888

Remove WWW entries moved into port Makefiles

Commit b7f05445c00f has added WWW entries to port Makefiles based on
WWW: lines in pkg-descr files.

This commit removes the WWW: lines of moved-over URLs from these
pkg-descr files.

Approved by:		portmgr (tcberner)

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.

This commit implements such a proposal and moves one of the WWW: entries
of each pkg-descr file into the respective port's Makefile. A heuristic
attempts to identify the most relevant URL in case there is more than
one WWW: entry in some pkg-descr file. URLs that are not moved into the
Makefile are prefixed with "See also:" instead of "WWW:" in the pkg-descr
files in order to preserve them.

There are 1256 ports that had no WWW: entries in pkg-descr files. These
ports will not be touched in this commit.

The portlint port has been adjusted to expect a WWW entry in each port
Makefile, and to flag any remaining "WWW:" lines in pkg-descr files as
deprecated.

Approved by:		portmgr (tcberner)

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
  *  Anton Berezin <tobez@FreeBSD.org>
  *  Anton Berezin <tobez@plab.ku.dk>
  *  Anton Berezin <tobez@tobez.org>
  *  Anton Shterenlikht
  *  Anton Shterenlikht <mexas@bris.ac.uk>
  *  Bob Eager <bob@eager.cx>
  *  Charlie Kester <corky1951@comcast.net>
  *  Cheng-Lung Sung <clsung@FreeBSD.org>
  *  Cheng-Lung Sung <clsung@dragon2.net>
  *  Chris D. Faulhaber <jedgar@fxp.org>
  *  Christopher J. Ruwe
  *  Christopher Key <cjk32@cam.ac.uk>
  *  Chuck Hein <geekdude@pacbell.net>
  *  Cyrille Szymanski <cnszym@gmail.com>
  *  Dan Rue <drue@therub.org>
  *  Danilo Egea Gondolfo <danilo@FreeBSD.org>
  *  David Naylor <dbn@FreeBSD.org>
  *  David Naylor <naylor.b.david@gmail.com>
  *  Dereckson <dereckson@gmail.com>
  *  Devin Teske <dteske@FreeBSD.org>
  *  Dmitry Sivachenko <demon@FreeBSD.org>
  *  Dmitry Sivachenko <mitya@yandex-team.ru>
  *  Don Croyle <croyle@gelemna.org>
  *  Douglas K. Rand (rand@meridian-enviro.com)
  *  Dylan Simon <dylan@dylex.net>
  *  Edwin Groothuis <edwin@mavetju.org>
  *  Eijiro Shibusawa <ej-sib@ice.uec.ac.jp>
  *  Emanuel Haupt <ehaupt@FreeBSD.org>
  *  Eoin Lawless (eoin@maths.tcd.ie)
  *  Eric A. Griff <eagriff@global2000.net>
  *  Eric van Gyzen <vangyzen@stat.duke.edu>
  *  Ewgenij Gawrilow <gawrilow@math.tu-berlin.de>
  *  Fernan Aguero <fernan@iib.unsam.edu.ar>
  *  Foxfair Hu <foxfair@FreeBSD.org>
  *  Frederic Han <han@math.jussieu.fr>
  *  Gabor Kovesdan <gabor@FreeBSD.org>
  *  Gea-Suan Lin <gslin@gslin.org>
  *  George Reid <greid@ukug.uk.freebsd.org>
  *  Giuseppe Pilichi aka Jacula Modyun <jacula@gmail.com>
  *  Greg Larkin <glarkin@FreeBSD.org>
  *  Guangyuan Yang <ygy@FreeBSD.org>
  *  Gustau Perez i Querol <gustau.perez@gmail.com>
  *  Heinz Tschabitscher
  *  Horia Racoviceanu <horia@racoviceanu.com>
  *  Hye-Shik Chang <perky@fallin.lv>
  *  Iblis Lin <iblis@hs.ntnu.edu.tw>
  *  Issei Suzuki <issei@jp.FreeBSD.ORG>
  *  Janni
  *  Jason Harris <jharris@widomaker.com>
  *  Javad Kouhi <javad.kouhi@gmail.com>
  *  Jean-Yves Lefort <jylefort@FreeBSD.org>
  *  Jin-Shan Tseng <tjs@cdpa.nsysu.edu.tw>
  *  Joe Marcus Clarke <marcus@FreeBSD.org>
  *  Johannes Dieterich <dieterich@ogolem.org>
  *  Johannes M Dieterich <jmd@FreeBSD.org>
  *  Johannes Meixner <johannes@perceivon.net>
  *  John Marino <marino@FreeBSD.org>
  *  Joseph Koshy <jkoshy@FreeBSD.org>
  *  Ju Pengfei <ju.pengfei@gmail.com>
  *  Jukka A. Ukkonen <jau@iki.fi>
  *  Kay Lehmann <kay_lehmann@web.de>
  *  Kevin Lo <kevlo@FreeBSD.org>
  *  Klaus T. Aehlig <aehlig@linta.de>
  *  Kubilay Kocak <koobs@FreeBSD.org>
  *  Kurt Jaeger <fbsd-ports@opsec.eu>
  *  Lars Engels <lme@FreeBSD.org>
  *  Lars Koeller <Lars.Koeller@Uni-Bielefeld.DE>
  *  Lars Koeller <Lars.Koeller@Uni-Bielefeld.de>
  *  Li-Wen Hsu <lwhsu@FreeBSD.org>
  *  Li-Wen Hsu <lwhsu@lwhsu.org>
  *  M. L. Dodson, <bdodson@scms.utmb.edu>
  *  Maho Nakata <maho@FreeBSD.org>
  *  Mario S F Ferreira <lioux@FreeBSD.org>
  *  Mario S F Ferreira <lioux@linf.unb.br> et al.
  *  Mario Sergio Fujikawa Ferreira <lioux@FreeBSD.org>
  *  Mark Felder <feld@FreeBSD.org>
  *  Mark R V Murray <markm@FreeBSD.org>
  *  Martin Matuska <mm@FreeBSD.org>
  *  Matthew Seaman <matthew@FreeBSD.org>
  *  Maurice Castro <maurice@serc.rmit.edu.au>
  *  Maxim Sobolev <sobomax@FreeBSD.org>
  *  Maxime Henrion <mux@FreeBSD.org>
  *  Michael Haro <mharo@FreeBSD.org>
  *  Michael Johnson <ahze@FreeBSD.org>
  *  Michael Johnson <ahze@ahze.net>
  *  Michael Neumann <mneumann@ntecs.de>
  *  Muhammad Moinur Rahmanh <5u623l20@gmail.com>
  *  NAKATA Maho <chat95@mbox.kyoto-inet.or.jp>
  *  NAKATA, Maho <maho@FreeBSD.org>
  *  Nakata Maho <maho@FreeBSD.org>
  *  Nicola Vitale <nivit@email.it>
  *  Olivier Duchateau
  *  Pedro F. Giffuni
  *  Pedro F. Giffuni <giffunip@asme.org>
  *  Pedro Giffuni
  *  Pedro Giffuni <giffunip@asme.org>
  *  Pedro Giffuni <pfg@FreeBSD.org>
  *  Peter Pentchev <roam@FreeBSD.org>
  *  Philip Paeps <philip@FreeBSD.org>
  *  Pierre-Paul Lavoie <ppl@nbnet.nb.ca>
  *  Pietro Cerutti <gahr@FreeBSD.org>
  *  Piotr Rybicki <meritus@innervision.pl>
  *  Po-Chuan Hsieh <sunpoet@FreeBSD.org>
  *  Rainer Hurling <rhurlin@gwdg.de>
  *  Robert Jenssen
  *  Robin Schilham
  *  Rod Taylor <ports@rbt.ca>
  *  Roman Neuhauser <neuhauser@sigpipe.cz>
  *  Sander Vesik <sander@haldjas.folklore.ee>
  *  Scott Flatman <sf@dsinw.com>
  *  Seamus Venasse <svenasse@polaris.ca>
  *  Sergey A. Osokin <osa@FreeBSD.org>
  *  Sergey Akifyev <asa@agava.com>
  *  Sergey Akifyev <asa@gascom.ru>
  *  Sergey Skvortsov <skv@FreeBSD.org>
  *  Sergey Skvortsov <skv@protey.ru>
  *  Shell Hung <shell@shellhung.org>
  *  Shin-ya MURAKAMI <murashin@gfd-dennou.org>
  *  Stas Timokhin <devel@stasyan.com>
  *  Stefan A. Deutscher (sad@mailaps.org)
  *  Stefan Esser <se@StefanEsser.FreeBSD.org>
  *  Stephen Montgomery-Smith <stephen@FreeBSD.edu>
  *  Stephen Montgomery-Smith <stephen@FreeBSD.org>
  *  Stephen Montgomery-Smith <stephen@math.missouri.edu>
  *  Stephen Montgomery-Smith <stephen@missouri.edu>
  *  Steve Wills <steve@mouf.net>
  *  Steve Wills <swills@FreeBSD.org>
  *  Steven Kreuzer <skreuzer@FreeBSD.org>
  *  Steven Kreuzer <skreuzer@f2o.org>
  *  Sunpoet Po-Chuan Hsieh <sunpoet@FreeBSD.org>
  *  TAKATSU Tomonari <tota@FreeBSD.org>
  *  Thierry Thomas (<thierry@pompo.net>)
  *  Thierry Thomas <thierry@pompo.net>
  *  Thomas Gellekum <tg@FreeBSD.org>
  *  Thomas Sandford <freebsduser@paradisegreen.co.uk>
  *  Timothy Bourke <timbob@bigpond.com>
  *  Tony Maher
  *  Tz-Huan Huang <tzhuan@csie.org>
  *  Vsevolod Stakhov <vsevolod@FreeBSD.org>
  *  Vsevolod Stakhov <vsevolod@highsecure.ru>
  *  Waitman Gobble <waitman@waitman.net>
  *  Wen Heping <wen@FreeBSD.org>
  *  Wen Heping <wenheping@gmail.com>
  *  Will Andrews <andrews@technologist.com>
  *  Yi-Hsuan Hsin <mhsin@mhsin.org>
  *  Ying-Chieh Liao <ijliao@FreeBSD.org>
  *  Yinghong.Liu <relaxbsd@gmail.com>
  *  Yoshiaki UCHIKAWA <yoshiaki@kt.rim.or.jp>
  *  Yukihiro Nakai <Nakai@technologist.com>
  *  Yuri Victorovich <yuri@FreeBSD.org>
  *  Yuri Victorovich <yuri@rawbw.com>
  *  Yuri Victorovich <yuri@tsoft.com>
  *  Zhen REN <bg1tpt@gmail.com>
  *  amir.husaini@gmail.com
  *  arved
  *  asami
  *  b.f. <bf@FreeBSD.org>
  *  bart <lbartoletti@FreeBSD.org>
  *  bauerm
  *  bf <bf2006a@yahoo.com>
  *  bf <bf@FreeBSD.org>
  *  bf@FreeBSD.org
  *  bremner@unb.ca
  *  chinsan
  *  chuckr@FreeBSD.org
  *  dawe <daweonline@gmail.com>
  *  dbader@ece.unm.edu
  *  dd
  *  demon@FreeBSD.org
  *  dikshie
  *  eserte
  *  fenner
  *  gahr
  *  giffunip
  *  gmarco@giovannelli.it
  *  gurkan@phys.ethz.ch
  *  ijliao
  *  janek@gaja.ipan.lublin.pl
  *  jhs@berklix.com / asami (original)
  *  jmz
  *  js@jeannot.org
  *  keith@FreeBSD.org
  *  ljo
  *  mr
  *  nobu@rd.isac.co.jp
  *  pauls@utdallas.edu
  *  pusto@web.de
  *  reg@shale.csir.co.za
  *  rfarmer@predatorlabs.net
  *  stephen@FreeBSD.org
  *  thierry@pompo.net
  *  tobez
  *  will
  * # Created by Matthias Fechner <mfechner@FreeBSD.org>

With hat:	portmgr

Remove # $FreeBSD$ from Makefiles.

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

Remove $FreeBSD$ from patches files everywhere.

With hat:	portmgr
Sponsored by:	Absolight

Remove Author from pkg-descr and white space fixes

Remove explicit dependency on javavmwrapper for ports that USE_JAVA

Cleanup plist

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)

Remove NOPORTDOCS and NOPORTEXAMPLES.

Approved by:	portmgr (blanket)

Stagify.

Approved by:	portmgr@

Convert m* to USES=zip

Fix properties on pkg-plist

Add NO_STAGE all over the place in preparation for the staging support (cat: math)

Decommissioning java 1.5 (EOLed since October 2009): suppress any reference to JAVA_VERSION=	1.5+ (part3)

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

- Get Rid MD5 support

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)

- Welcome X.org 7.2 \o/. - Set X11BASE to ${LOCALBASE} for recent ${OSVERSION}. - Bump PORTREVISION for ports intalling files in ${X11BASE}.

- Updated email address in my ports

Approved by:	alexbl (mentor)

- Remove email address from pkg-descr (as required by the Author)

PR:		ports/97138
Submitted by:	maintainer (Nicola Vitale)

Remove USE_REINPLACE from ports starting with M

[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>