Chase major version update of editors/emacs-devel

Bump PORTREVISION of most USES=emacs ports after editors/emacs-devel
major version increased from 30 to 31.

Sponsored by:	The FreeBSD Foundation

Chase editors/emacs update to 29.4

- Bump Emacs version in Mk/Uses/emacs.mk to update version-specific
  paths
- Bump PORTREVISION of ports with USES=emacs.  This is required for two
  reasons.  Emacs lisp files need to be byte compiled for the new Emacs
  version, and files installed under, e.g., EMACS_VERSION_SITE_LISPDIR
  need to be relocated.

Reviewed by:	ashish, yasu
Sponsored by:	The FreeBSD Foundation
Differential Revision:	https://reviews.freebsd.org/D45705

ocaml: Updates to ocaml compiler and several ocaml ports

- Update devel/ocaml to 4.14.2 [1]
- Specify runtime dependency on GNU AS as full path, this fixes
  build on armv6 - armv7 [1] [2]
- converters/ocaml-base64: Update to 3.5.1, add LICENSE, other
  improvements
- converters/ocaml-jsonm: Strip shared objects [3]
- databases/ocaml-dbm: Update to 1.3, move to gitlub, other
  improvements
- devel/menhir: Update to 20231231
- devel/ocaml-base: Unbreak non-x86 [2]
- devel/ocaml-camlp-streams: Silence patch and strip commands
- devel/ocaml-ipaddr: Update to 5.5.0
- devel/ocaml-lwt: Update to 5.7.0 [4]

Chase editors/emacs update

- Bump Emacs version in Mk/Uses/emacs.mk to update version-specific
  paths
- Bump PORTREVISION of ports with USES=emacs.  This is required for two
  reasons.  Emacs lisp files need to be byte compiled for the new Emacs
  version, and files installed under, e.g., EMACS_VERSION_SITE_LISPDIR
  need to be relocated.

Reviewed by:	ashish
Sponsored by:	The FreeBSD Foundation
Differential Revision:	https://reviews.freebsd.org/D44492

lang/ocaml: Update to 4.14.1

The 'force-safe-string; setting is NOT enabled, as opposed to the
new upstream default. OCaml users are encouraged to migrate to safe
strings as soon as possible.

- The X11 library isn't part of lang/ocaml anymore, users should
install x11-toolkits/ocaml-graphics.
- Add new 'ocaml' USES
- Bump PORTREVISION on dependent ports, due to ABI Change.

The update includes the following updates to existing ports (needed
to keep them working):

- devel/ocaml-camlp4: Updated to 4.14+1

*/*: Chase editors/emacs update

- Bump Emacs version in Mk/Uses/emacs.mk to update version-specific
  paths

- Bump PORTREVISION of ports with USES=emacs.  This is required for two
  reasons.  Emacs lisp files need to be byte compiled for the new Emacs
  version, and files installed under, e.g., EMACS_VERSION_SITE_LISPDIR
  need to be relocated.

Reviewed by:	ashish
Sponsored by:	The FreeBSD Foundation
Differential Revision:	https://reviews.freebsd.org/D43615

editors/emacs: Update to 29.1

* Update Canna patch to the one for Emacs 29.
* Add new options PGTK, SQLITE3, TREESITTER and WEBP. SQLITE3 and
  TREESITTER are ON by default. PGTK and WEBP options are excluded
  from nox flavor.
* CARGO option doesn't imply XFT but prevents it. It is caused as a
  result of adding pure GTK support (PGTK option).
* OTK options doesn't imply XTF any more. It is also caused as a
  result of adding pure GTK support.
* Update NATIVECOMP option so it specifies ahead-of-time compilation
  via the configure argument.
* Remove "experimental" from NATIVECOMP_DESC.
* Add print/freetype2 and x11-fonts/fontconfig to CAIRO_LIB_DEPENDS
  and GTK3_LIB_DEPENDS. Necessary to link emacs binary with shared

lang/ocaml: Update to 4.08.1

This update allows (and for some requires) to also update dependencies
to newer versions. Where possible I updated to the latest version.

The ocaml port now is MAKE_JOBS safe.

Changes to dependent ports included in this commit:

- devel/ocaml-sexplib: Rename to devel/ocaml-sexplib0 adapting to
  upstream. Update to 0.16.0
- devel/coccinelle: Update to 1.1.1, moved to github
- devel/ocaml-camlp4: Update to 4.08+1
- devel/ocaml-camomile: Use dune for build, adapt port
- devel/ocaml-cppo: Fix lib files installation [1]

*: Bump PORTREVISIONs for math/mpc update to 1.3.1

*/tex*: Update version 20210325=>20230313

- devel/tex-kpathsea: Update version 6.3.3=>6.3.5
- print/texlive-tlmgr: Update version 20210325=>20230313
  * Add LICENSE GPLv2
- devel/tex-libtexlua: Update distinfo from 20230313 dists
- devel/tex-libtexluajit: Update distinfo from 20230313 dists
- print/tex-ptexenc: Update version 1.3.9=>1.4.3
  * Pet portclippy
- devel/tex-web2c: Update version 20210325=>20230313
- devel/tex-synctex: Update distinfo from 20230313 dists
- print/tex-basic-engines: Update version 20210325=>20230313
- print/texlive-base: Update version 20210325=>20230313
- print/texlive-docs: Update version 20210325=>20230313
- print/texlive-full: Update version 20210325=>20230313

accessibility/at-spi2-core: update to 2.46.0

What's new in at-spi2-core 2.46.0:
* Fix GetInterfaces documentation on org.a11y.atspi.Accessible
  interface.

What's new in at-spi2-core 2.45.91:
* Send device event controller events using the same signature as other
  events.
* Document the Accessible, Action, and Cache dbus interfaces.
* Fix license of atspi-gmain.c (#87).

What's new in at-spi2-core 2.45.90:
* xml: Add some documentation.
* xml: Fix event arguments.

Mk/**tex.mk: Convert bsd.tex.mk to USES=tex

- Update all the consumers to use USES=tex
- USE_TEX=yes is the old way of writing USES=tex which has been removed
  and replaced in all ports
- Almost all of the USE_TEX features remains unchanged
- Some consumers had the same variables defined both in the mk
  infrastructure and also in the ports which have been removed from the
  ports as those are redundant.

In case any of the consumers are failing to build please make sure that
the nexessary USES=tex is there. Unlike previous USE_TEX=yes will no
longer load the required VARS for tex and related dependencies.

Reviewed by:	portmgr
Approved by:	portmgr (blanket)

editors/emacs-devel: Update to 2022-11-28 snapshot

Bump PORTREVISION of consumers as EMACS_VER is changed to 30.0.50.

Changes:	https://github.com/emacs-mirror/emacs/compare/51589f81...7939184f

editors/emacs: Update to 28.2

* Remove FCITXPATCH option as extra-patch-src_xfns.c can't be applied
  since 28.1.
* Tidy up Makefile with portfmt.
* Bump PORTREVISION of consumers.

ChangeLog:	https://www.gnu.org/software/emacs/news/NEWS.28.2

PR:		266454
Exp-run by:	antoine
Reviewed by:	ashish, jrm
Differential Revision:	https://reviews.freebsd.org/D36613

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.

math/coq: add missing run-time dependency on `math/ocaml-num'

This was missed in commit 317aa0442c99 when Num library was split
off the core OCaml distribution.

PR:	263860

math/coq: enable on powerpc

OCaml: transient update of the stack to version 4.07.1

This is the first step in modernizing our OCaml ports infrastructure,
as we had accumulated substantial technical debt over the years when
many of its consumer ports had not received proper care and updates.

It is currently considered as the lowest supported version (baseline)
in majority of open-source OCaml projects, which would help to pull
up other ports, e.g. `devel/ocaml-dune' in smaller, manageable pieces.

For conservative hackers among us and for compatibility with RHEL 8
which is also on it, having 4.07 in the tree would allow users stick
to that package (pkg lock it) if needed.

PR:		250408, 262781
Exp-run by:	antoine

textproc/libxml2: bump all LIB_DEPENDS consumers

This is a separate commit to facilitate easier cherry-picking for
quarterly.

PR: 262853, 262940, 262877, 263126
Approved by: fluffy (mentor)

math/coq: force unsafe strings to unbreak against modern OCaml.

Emacs ports: Bump PORTREVISION after Emacs 28.1

Reviewed by:	ashish
Sponsored by:	The FreeBSD Foundation
Differential Revision:	https://reviews.freebsd.org/D34781

textproc/libxml2: bump all dependencies

This should make sure that all dependent ports will pick
up the new version commited with a13ec21cd733f67a9fc0dc00ab45268bdc236246

Fix CONFLICTS entries of multiple ports

There have been lots of missing CONFLICTS_INSTALL entries, either
because conflicting ports were added without updating existing ports,
due to name changes of generated packages, due to mis-understanding
the format and semantics of the conflicts entries, or just due to
typoes in package names.

This patch is the result of a comparison of all files contained in
the official packages with each other. This comparison was based on
packages built with default options and may therefore have missed
further conflicts with optionally installed files.

Where possible, version numbers in conflicts entries have been
generalized, some times taking advantage of the fact that a port

USES=emacs: Chase package name changes

PR:		259259
Differential Revision:	https://reviews.freebsd.org/D32613

*: Chase new major version (29) of editors/emacs-devel

Differential Revision:	https://reviews.freebsd.org/D32258

One more small cleanup, forgotten yesterday.
Reported by:	lwhsu

Remove # $FreeBSD$ from Makefiles.

editors/emacs: Update to 27.2

This is a bug-fix release with no new features.

https://www.gnu.org/software/emacs/news/NEWS.27.2

Reviewed by:	ashish
Differential Revision:	https://reviews.freebsd.org/D27700

editors/emacs: Update to version 27.1

Please refer to the 20200811 UPDATING entry when upgrading
dependent (*-emacs26-*) ports.

Port changes:

- depend on math/gmp
- match upstream by turning CAIRO, HARFBUZZ, and JSON options and on and
  turning MAGICK off by default
- remove OPENMP check for graphics/ImageMagick as the openmp is now
  included in base
- update EMACS_VER in Mk/Uses/emacs.mk
- bump USES=emacs ports or remove BROKEN for net-im/jabber.el and
  deskutils/howm, which now build

Submitted by:	HIROSE Yuuji <yuuji@gentei.org> (canna patch)
Reviewed by:	ashish
Differential Revision:	https://reviews.freebsd.org/D23966

editors/emacs-devel: Update to latest master branch commit, 4f2b415

This update includes an Emacs major version change from 27.0.50 to 28.0.50.
Ports that may depend on editors/emacs-devel must chase this update
with a PORTREVISION bump.

Submitted by:	ashish (maintainer)
Differential Revision:	https://reviews.freebsd.org/D23012

math: Add missing USES={gl,gnome,php,sdl,xorg}

USES=emacs ports: Bump PORTREVISION for editors/emacs 26.1 upgrade

Or, mark ports that fail to build as BROKEN.
https://lists.freebsd.org/pipermail/freebsd-ports/2018-May/113518.html

Flavorize and modernize Emacs ports

- Convert USE_EMACS to USES=emacs
- Remove editors/emacs-nox11 (refer to nox flavors of editors/emacs and
  editors/emacs-devel)
- Permit default Emacs flavor to be specified in make.conf
- Rename japanese/migemo-emacs23 to japanese/migemo-emacs
- Update and simplify audio/emms and fix build on FreeBSD 10 [1]
- Update databases/bbdd and fix build on FreeBSD 10 [1]
- Update editors/emacs-devel
- Ensure Makefile shell commands that change directory are executed in a
  subshell
- Silence some portlint warnings

[1] By not depending on base texinfo

PR:		225404
Reviewed by:	antoine
Approved by:	portmgr (mat) ashish (maintainer)
Differential Revision:	https://reviews.freebsd.org/D13506

For ports that are marked BROKEN on armv6, and also fail to build on
armv7, mark them so.

This is part two of a multipart commit to bring armv7 ports to parity
with armv6.

Approved by:	portmgr (tier-2 blanket)
Obtained from:	lonesome.com -exp run

Chase Emacs update

Mark some ports failing on armv6, for errors classified as "???",
part 2.

While here, pet portlint.

Approved by:	portmgr (tier-2 blanket)

Update to 8.6.  Fix PORTEPOCH accidentally removed in the previous commit.

Update to 8.5.

- Add missing dependencies.
- Strip installed binaries.

Stepping down as maintainer for some ports.

- Move license information from port description into LICENSE knobs
- Convert $arch-conditional BROKEN statement into BROKEN_$arch one

Remove NLS, DOCS, EXAMPLES and IPV6 from OPTIONS_DEFAULT, they are enabled by
default anyway and don't need to be listed

Approved by:	portmgr blanket

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

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

- remove empty files and directories

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)

Update to 8.0p2

PR:             ports/76977
Submitted by:   Rene Laden (maintainer)

Fix packaging

PR:             ports/75787
Submitted by:   maintainer

- Unbreak on amd64
  (Johan van Selst succesfully ran the test-suite
  on an amd64 running 6-CURRENT and ocaml-3.08.2)

PR:             ports/75334
Submitted by:   maintainer

Mark broken on ia64 and amd64.

PR:             74502
Submitted by:   maintainer

- Add optional CoqIde support (depends on lablgtk2)
- Correct PORTVERSION to match actual source version
- Cosmetics

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

Add coq, a formal proof management system: a proof done with Coq is
mechanically checked by the machine.

In particular, Coq allows:
* the definition of functions or predicates,
* to state mathematical theorems and software specifications,
* to develop interactively formal proofs of these theorems,
* to check these proofs by a small certification "kernel".

PR:             ports/72718
Submitted by:   Rene Ladan <r.c.ladan@student.tue.nl>