git: dbcf335fdbcb - main - math/coq: Remove USES=emacs and associated flavors

The branch main has been updated by jrm:

URL: https://cgit.FreeBSD.org/ports/commit/?id=dbcf335fdbcb8b3006b70cbb26bb3ab5f998e857

commit dbcf335fdbcb8b3006b70cbb26bb3ab5f998e857
Author:     Joseph Mingrone <jrm@FreeBSD.org>
AuthorDate: 2026-03-25 22:37:18 +0000
Commit:     Joseph Mingrone <jrm@FreeBSD.org>
CommitDate: 2026-03-26 01:07:07 +0000

    math/coq: Remove USES=emacs and associated flavors
    
    Upstream removed all elisp files in 2018:
    https://github.com/rocq-prover/rocq/commit/41d597866d4f79fe5109c25c6f5cc57d0ebf7f0f
    
    Since there will no longer be coq-emacs_* packages, add an UPDATING
    entry with migration instructions.
    
    Sponsored by: The FreeBSD Foundation
---
 UPDATING           | 14 ++++++++++++++
 math/coq/Makefile  |  7 +++----
 math/coq/pkg-plist |  6 ------
 3 files changed, 17 insertions(+), 10 deletions(-)

diff --git a/UPDATING b/UPDATING
index 2eadd971bb6c..871d2f7a71ac 100644
--- a/UPDATING
+++ b/UPDATING
@@ -5,6 +5,20 @@ they are unavoidable.
 You should get into the habit of checking this file for changes each time
 you update your ports collection, before attempting any port upgrades.
 
+20260325:
+  AFFECTS: users of math/coq
+  AUTHOR: jrm@FreeBSD.org
+
+  Upstream no longer installs Emacs lisp, so the Emacs flavors have been
+  removed.  In order for a `pkg upgrade` to install new versions of coq,
+  any installed package for a non-default flavor must be renamed.  Do
+  this by running the commands below under /bin/sh with superuser
+  privileges:
+
+  on=$(pkg query -g %n coq-emacs_*)
+  nn=$(pkg query -g %n g coq-emacs_* | sed -e 's/-emacs_[a-z_]*//')
+  pkg set -n "$on":"$nn"
+
 20260304:
   AFFECTS: users of net-mgmt/netbox
   AUTHOR: kai@FreeBSD.org
diff --git a/math/coq/Makefile b/math/coq/Makefile
index 8ea7c773edbb..1e2957416844 100644
--- a/math/coq/Makefile
+++ b/math/coq/Makefile
@@ -1,11 +1,10 @@
 PORTNAME=	coq
 PORTVERSION=	8.20.1
-PORTREVISION=	2
+PORTREVISION=	3
 PORTEPOCH=	3
 CATEGORIES=	math
 DISTVERSIONPREFIX=	V
 #DISTVERSIONSUFFIX=	.0
-PKGNAMESUFFIX=	${EMACS_PKGNAMESUFFIX}
 
 MAINTAINER=	ports@FreeBSD.org
 COMMENT=	Theorem prover based on lambda-C
@@ -25,7 +24,7 @@ LIB_DEPENDS=	libfontconfig.so:x11-fonts/fontconfig \
 RUN_DEPENDS=	${SA_DIR}/num/META:math/ocaml-num \
 		${SA_DIR}/zarith/META:math/ocaml-zarith
 
-USES=		emacs gettext-runtime gmake gnome ocaml:camlp4,dune,ldconfig python:env shebangfix tex
+USES=		gettext-runtime gmake gnome ocaml:camlp4,dune,ldconfig python:env shebangfix tex
 SHEBANG_FILES=	tools/*.py
 USE_GITHUB=	yes
 USE_GNOME=	cairo gdkpixbuf gtk30 gtksourceview3
@@ -40,7 +39,7 @@ CONFIGURE_ARGS=	-prefix ${PREFIX} \
 		-bytecode-compiler yes \
 		-native-compiler yes
 
-CONFLICTS_INSTALL=	coq coq-emacs_* # bin/coq-tex bin/coq_makefile bin/coqc bin/coqchk bin/coqdep bin/coqdoc bin/coqide bin/coqmktop bin/coqtop bin/coqtop.byte bin/coqwc bin/coqworkmgr bin/gallina
+CONFLICTS_INSTALL=	coq-emacs_*
 
 OPTIONS_DEFINE=		DOCS IDE
 OPTIONS_DEFAULT=	IDE
diff --git a/math/coq/pkg-plist b/math/coq/pkg-plist
index e8d9acdd865d..4c7873e3f06e 100644
--- a/math/coq/pkg-plist
+++ b/math/coq/pkg-plist
@@ -25,12 +25,6 @@ bin/votour
 %%PORTDOCS%%%%DATADIR%%/coq.png
 %%PORTDOCS%%%%DATADIR%%/coq_style.xml
 @comment %%PORTDOCS%%%%DOCSDIR%%/FAQ-CoqIde
-@comment %%EMACS_SITE_LISPDIR%%/coq/coq-font-lock.el
-@comment %%EMACS_SITE_LISPDIR%%/coq/coq-inferior.el
-@comment %%EMACS_SITE_LISPDIR%%/coq/gallina-db.el
-@comment %%EMACS_SITE_LISPDIR%%/coq/gallina-syntax.el
-@comment %%EMACS_SITE_LISPDIR%%/coq/gallina.el
-@comment %%PORTDOCS%%%%EMACS_SITE_LISPDIR%%/coqdoc.sty
 %%DATADIR%%/default.bindings
 share/doc/ocaml/coq-core/LICENSE
 share/doc/ocaml/coq-core/README.md