diff options
| author | Joseph Mingrone <jrm@FreeBSD.org> | 2026-03-25 22:37:18 +0000 |
|---|---|---|
| committer | Joseph Mingrone <jrm@FreeBSD.org> | 2026-03-26 01:07:07 +0000 |
| commit | dbcf335fdbcb8b3006b70cbb26bb3ab5f998e857 (patch) | |
| tree | 29b395318c66392cf8cb64bd8865be58423d231e | |
| parent | 74997bb77e7c4924c390d884b82772956195d4c4 (diff) | |
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
| -rw-r--r-- | UPDATING | 14 | ||||
| -rw-r--r-- | math/coq/Makefile | 7 | ||||
| -rw-r--r-- | math/coq/pkg-plist | 6 |
3 files changed, 17 insertions, 10 deletions
@@ -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 |