math/coq8.20.1_3,3

- Fix trailing whitespace in pkg-descrs, categories [g-n]*

Approved by:	portmgr blanket

Remove ${PORTSDIR}/ from dependencies, categories m, n, o, and p.

With hat:	portmgr
Sponsored by:	Absolight

Update Coq to 8.4pl6

PR:		200409
Submitted by:	yuri@rawbw.com

- Add USE_OCAML_CAMLP4 and USE_OCAML_TK to bsd.ocaml.mk which add   depends on the camlp4 language and labltk ocaml modules, which are   now in separate ports. - Update x11-toolkits/ocaml-lablgtk2 to 2.18.3 - Update graphics/ocaml-lablgl to 1.05 - Make unison ports use USE_OCAML - Convert ports to the new flags where needed - Bump PORTREVISION on ports depending on ocaml-lablgtk2, those need to be

PR:			199845
Submitted by:		jbeich@
Differential Revision:	https://reviews.freebsd.org/D2434
Approved by:		portmgr (mat)

Update to Coq 8.4pl5

Cleanup plist

Update the default version of GCC in the Ports Collection from GCC 4.7.4 to GCC 4.8.3.

Part II, Bump PORTREVISIONs.

PR:		192025
Tested by:	antoine (-exp runs)
Approved by:	portmgr (implicit)

Fix packaging

Switch to texlive

multiple: avoid RUN_DEPENDS=${BUILD_DEPENDS} anti-pattern 	The ports infrastructure may insert additional content into the 	BUILD_DEPENDS variable which is not supposed to be a run depend.

Approved by:	portmgr (bapt)

- Update coq to 8.4.3 - Enable stage support - Simplify options handling

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

- Add build dependency due to tex changes

PR:		ports/179372
Submitted by:	John Marino <draco@marino.st>

Rectify USE_TEX to support both of teTeX and TeXLive.

TEX_DEFAULT:
	A knob to choose teTeX or TeXLive.  One can specify in /etc/make.conf.

USE_TEX:
	A knob for port developers.  Valid keywords are listed in
	bsd.tex.mk.

Remove *_DEPENDS from ports which depend on teTeX and add USE_TEX=tetex instead to make migration to TeXLive easier.

Update coq to 8.4.2

update x11-toolkits/ocaml-lablgtk2 to 2.16.0+bugfixes, and adjust dependent ports

PR:		144982, 149958
Reviewed by:	johans (earlier version of the patch)

- Update coq to 8.4 pl1 [1]   http://coq.inria.fr/coq-84 - Remove local patch that is now included upstream - Add ocaml-findlib as build dependency

PR:             ports/176056
Submitted by:   Jaap Boender <jaapb@kerguelen.org>

Convert to new options framework

- update png to 1.5.10

- Update coq to 8.3.3 - Fix build with new camlp5 (patch from official repo) - Remove BROKEN tag

Feature safe:	yes

- Mark BROKEN: does not compile   OCAMLC    pretyping/pretype_errors.mli   OCAMLOPT  pretyping/pretype_errors.ml   File "pretyping/pretype_errors.ml", line 48, characters 4-109:   Error: Unbound constructor Stdpp.Exc_located   gmake[1]: *** [pretyping/pretype_errors.cmx] Error 2

Reported by:	pointyhat
Feature safe:	yes

Mark as broken on powerpc: fails to link.

Hat:		portmgr
Feature safe:	yes

Bump PORTREVISION after open-mofit update

Update coq to 8.3.2

Correct PORTVERSION: pl (patch level) releases follow a main release

Reported by:		erwin

- Update coq to 8.3pl1 - Remove obsoleted patch (fixed in dist)

Fix build with new ocaml preprocessor (patch from upstream)

Reported by:	pointyhat via pav

- Update coq to 8.3 - Add a patch to fix threading issues

Submitted by:	AUGER Cedric <Cedric.Auger@lri.fr>

- Update to version 8.2pl1 - Bump EPOCH due to different versioning style - Build and install documentation

PR:		ports/148034
Submitted by:	Jacques Garrigue <garrigue@math.nagoya-u.ac.jp>
Feature safe:	yes

- update to 1.4.1 Reviewed by:	exp8 run on pointyhat Supported by:	miwi

Update my mail address to @FreeBSD.org

Feature safe:   yes

- update to jpeg-8

- bump all port that indirectly depends on libjpeg and have not yet been bumped or updated Requested by:	edwin

Fix pkg-plist

Reported by:	QAT

Update to 8.2.1

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)

- Due to depency updates, camlp5 (fresh port) is now required as well:   Include this dependency and bump portrevision

- Update to 8.1pl3 - Take advantage of USE_OCAML - Update MASTER_SITES

Update to 8.1.1  (bugfix release)

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

- Update to 8.1 - Grab maintainership - Remove FreeBSD-specific workaround that shouldn't be needed anymore

- Update to 8.0pl3

PR:		ports/93954
Submitted by:	Johan van Selst <johans@stack.nl>

BROKEN: Does not build

Approved by:    portmgr (implicit)

Replace ugly "@unexec rmdir %D... 2>/dev/null || true" with @dirrmtry

Approved by:    krion@
PR:             ports/88711 (related)

Unbreak: Add vendor-patch for ocaml 3.09

Bump PORTREVISION to regenerate the package with the newly enabled IDE on the cluster

Suggested by: kris

Enable IDE by default.

- Add SHA256

Drop MAINTAINER

PR:		88197
Submitted by:	Rene Ladan <r.c.ladan@student.tue.nl> (maintainer)