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 Foundationdbcf335fdb
Port details
math/coq8.20.1_3,3
Theorem prover based on lambda-C
- Maintainer
- ports@FreeBSD.org
- Packages
- coq 8.20.1_3,3
- Upstream
- Higher version available: 9.2.0
- CPE
- none, CVEs only via VuXML
- WWW
- https://coq.inria.fr/
- Links
- cgit · VuXML
Unaddressed (0) · The CVE record lists this version as affected, no VuXML entry names the CVE
None. There is no CVE without a VuXML entry for this version.
VuXML only (0) · listed, port not fixed yet
None.
pkg audit reports nothing for this version.Fixed (0)
No VuXML entries for this package.
Commits (106)
math/coq: reset maintainer Reset maintainer due to timeout (https://bugs.freebsd.org/283111). Hat: bugmeister48fcf99acb
editors/emacs: Update to 30.2 * Replace '30.1' in Mk/Uses/emacs.mk with '30.2'. * Bump PORTREVISION of dependent ports. ChangLog: https://cgit.git.savannah.gnu.org/cgit/emacs.git/tree/etc/NEWS?h=emacs-30.2 Reviewed by: jrm Differential Revision: https://reviews.freebsd.org/D5190641e3c046e7
gnome.mk: rename gdkpixbuf2 to gdkpixbuf to prepare for port move The GTK 1-based gdk-pixbuf has not existed for some time. No functional or package changes.e87d8134a3
*/*: Chase editors/emacs update Sponsored by: The FreeBSD Foundation12940d868a
math/coq: Update to 8.20.1 PR: 283111 Reported by: wenheping2000@hotmail.com Approved by: maintainer(timeout, > 60 days)c3734cabb4
Mk/**ocaml.mk: Convert remaining bsd.ocaml.mk to Uses/ocaml.mk - Instead of USE_OCAML=yes use USES=ocaml. If empty USES=ocaml implies build and run - Instead of USE_OCAMLFIND_PLIST use USES=ocaml:findplist which also implies USES=ocaml:findlib - Instead of USE_OCAML_CAMLP4 use USES=ocaml:camlp4 - Instead of USE_OCAML_FINDLIB use USES=ocaml:findlib - Instead of USE_OCAML_LDCONFIG use USES=ocaml:ldconfig - Instead of USE_OCAML_WASH use USES=ocaml:wash - Instead of NO_OCAML_BUILDDEPENDS use USES=ocaml:run - Instead of NO_OCAML_RUNDDEPENDS use USES=ocaml:build - Instead of USE_OCAML_TK use USES=ocaml:tk which actually implies USES=ocaml:tkbuild and USES=ocaml:tkrun - Instead of NO_OCAMLTK_BUILDDEPENDS use USES=ocaml:tkrun - Instead of NO_OCAMLTK_RUNDEPENDS use USES=ocaml:tkbuild - USES=ocaml:dune remains unchanged - Prepare to add/remove keywords easily Approved by: mat (portmgr) Reviewed by: freebsd@dev.thsi.be Differential Revision: https://reviews.freebsd.org/D48227c79c88017b
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 Foundationb946d410cc
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/D457053213a3f54a
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] - devel/ocaml-result: Set package version, strip shared objects [5] - devel/ocaml-sexplib: Resurrect and update to 0.16.0. - devel/ocaml-stdio: Update to 0.17.0 - security/ocaml-cryptokit: Update to 1.19, add LICENSE, other improvements - security/ocaml-ssl: Update to 0.7.0, install stublibs in package directory [6] - x11-toolkits/ocaml-graphics: Reorder Makefile, silence patch command - Bump PORTREVISION on ports requiring it after update. Adding ports: - devel/ocaml-cstruct - devel/ocaml-compiler-libs [7] - devel/ocaml-ppx_derivers [7] - devel/ocaml-ppxlib [7] - devel/ocaml-domain-name - devel/ocaml-ocplib-endian [8] - devel/ocaml-parsexp - devel/ocaml-ppx_sexp_conv - security/ocaml-lwt_ssl [9] Resetting maintainership from michipili@gmail.com due to multiple timeouts and long term unresponsiveness. Assigning maintainership of lang/ocaml to author of this patch. Many thanks to him for his work! PR: 278300 [1], 278791 [2], 277818 [3], 277781 [4], 277775 [6], 277779 [7], 277780 [8], 277782 [9] Approved by: michipili@gmail.com (maintainer timeout) [1], danfe@FreeBSD.org (maintainer timeout) [3] [4] [6], fixit, avoid breakage [5] Differential Revision: https://reviews.freebsd.org/D45254bb2bea65db
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/D4449226421ac37c
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 - devel/ocaml-camlp5: Updated to 8.02.01, homepage updated - devel/ocaml-dune: Patch to allow overriding the stublibs directory, strip binary and shared libraries - devel/ocaml-findlib: Improve port - devel/ocaml-lwt: Fix build with OCaml 4.14 - deve/ocaml-re: Update to 1.11.0, use new dune USES - devel/ocaml-sdl: Fix build with new ocaml - games/freetennis: Fix build, tidy Makefile - graphics/ocaml-images: Updated to 5.0.4, new homepage, use new dune USES, undeprecate - graphics/ocaml-lablgl: Moved into site-lib, dynamic objects stripped, add missing GL dependencies - math/coq: Updated to 8.19.0 - math/ocaml-zarith: strip shared libraries, fixed usage of USE_OCAML_LDCONFIG, use new dune USES - math/teyjus: Fix build - net/unison240: Fix build with new compiler - net/unison248: Fix build with new compiler, add MAKE_JOBS_UNSAFE - net-p2p/mldonkey: Fix build with new compiler, fix build on i386 - sysutils/ledit: Updated to 2.06, install native binary, Use github, fix man page installation - www/geneweb: Build fix for OCaml and Camlp5 updates - x11-toolkits/ocaml-lablgtk2: Fix build with new compiler - x11-toolkits/ocaml-lablgtk3: Updated to 3.1.4, added ocaml-camlp-stream dependency, build fix patch - x11-toolkits/ocaml-labltk: Updated to 8.06.12, Improve Makefile Added the following ports: - devel/ocaml-astring - devel/ocaml-base - devel/ocaml-bos - devel/ocaml-camlp-streams - devel/ocaml-csexp - devel/ocaml-fmt - devel/ocaml-fpath - devel/ocaml-logs - devel/ocaml-mtime - devel/ocaml-pcre2 - devel/ocaml-rresult - devel/ocaml-seq - devel/ocaml-stdio - x11-toolkits/ocaml-graphics PR: 250408 [1], 262781 [1], 262788 [3], 262789 [1], 262792 [1], 263006 [1], 263162 [3], 263206 [2], 276893 [1], 276945 [4], 276953 [1], 277026 [5], 277241 [1], 277242 [1], 277243 [1], 277244 [1], 277245 [1], 277246 [1], 277247 [1], 277248 [1], 277249 [1], 277250 [1], 277251 [1], 277252 [1], 277253 [1], 277254 [1], 277255 [1], 277256 [4], 277257 [1], 277258 [1] Approved by: maintainer timeout [1], yuri (maintainer) [2], overcome by events, fixit [3], madpilot (maintainer) [4] Reviewed by: madpilot Exp-run by: antoine [5] Differential Revision: https://reviews.freebsd.org/D438618025aa10ce
*/*: 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/D43615ab463bdca9
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
libraries.
* When PGTK option is ON and SCROLLBARS is OFF, configure fails as
following
----------------------------------------------------------------------
checking for gnutls >= 2.12.2... yes
checking for jansson >= 2.7... yes
checking for tree-sitter >= 0.20.2... yes
checking for libkqueue... no
checking for library containing kqueue... none required
configure: error: Non-toolkit scroll bars are not implemented for your system
----------------------------------------------------------------------
So add SCROLLBARS to PGTK_IMPLIES to avoid such options setting.
* When MODULES option is OFF and TREESITTER is ON, link error happens
as following.
----------------------------------------------------------------------
cc -o temacs.tmp \
-Demacs -I. -I. -I../lib -I../lib -I/usr/local/include -I/usr/local/include/librsvg-2.0 -I/usr/local/include/glib-2.0 -I/usr/local/lib/glib-2.0/include -I/usr/local/include -I/usr/local/include/gdk-pixbuf-2.0 -pthread -I/usr/local/include/cairo -I/usr/local/include/pixman-1 -I/usr/local/include/freetype2 -I/usr/local/include/libpng16 -D_THREAD_SAFE -I/usr/local/include/libpng16 -I/usr/local/include/libxml2 -I/usr/local/include/dbus-1.0 -I/usr/local/lib/dbus-1.0/include -I/usr/local/include -D_THREAD_SAFE -I/usr/local/include -D_THREAD_SAFE -I/usr/local/include -D_THREAD_SAFE -I/usr/local/include -D_THREAD_SAFE -I/usr/local/include -I/usr/local/include/webp -I/usr/local/include -I/usr/local/include -I/usr/local/include/glib-2.0 -I/usr/local/lib/glib-2.0/include -pthread -I/usr/local/include -I/usr/local/include/glib-2.0 -I/usr/local/lib/glib-2.0/include -I/usr/local/include/freetype2 -I/usr/local/include/libpng16 -I/usr/local/include -I/usr/local/include -I/usr/local/include/freetype2 -I/usr/local/include/libpng16 -I/usr/local/include/harfbuzz -I/usr/local/include/freetype2 -I/usr/local/include/libpng16 -I/usr/local/include -I/usr/local/include/glib-2.0 -I/usr/local/lib/glib-2.0/include -MMD -MF deps/.d -MP -I/usr/local/include -I/usr/local/include -I/usr/local/include -I/usr/local/include/p11-kit-1 -I/usr/local/include/cairo -I/usr/local/include -I/usr/local/include/glib-2.0 -I/usr/local/lib/glib-2.0/include -I/usr/local/include/pixman-1 -I/usr/local/include/freetype2 -I/usr/local/include/libpng16 -D_THREAD_SAFE -Wno-switch -Wno-pointer-sign -Wno-string-plus-int -Wno-unknown-attributes -Wno-unknown-pragmas -Wno-initializer-overrides -Wno-tautological-compare -Wno-tautological-constant-out-of-range-compare -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fstack-protector-strong -L/usr/local/lib -L/usr/local/lib \
dispnew.o frame.o scroll.o xdisp.o menu.o xmenu.o window.o charset.o coding.o category.o ccl.o character.o chartab.o bidi.o cm.o term.o terminal.o xfaces.o xterm.o xfns.o xselect.o xrdb.o xsmfns.o xsettings.o dbusbind.o emacs.o keyboard.o macros.o keymap.o sysdep.o bignum.o buffer.o filelock.o insdel.o marker.o minibuf.o fileio.o dired.o cmds.o casetab.o casefiddle.o indent.o search.o regex-emacs.o undo.o alloc.o pdumper.o data.o doc.o editfns.o callint.o eval.o floatfns.o fns.o sort.o font.o print.o lread.o syntax.o bytecode.o comp.o process.o gnutls.o callproc.o region-cache.o sound.o timefns.o atimer.o doprnt.o intervals.o textprop.o composite.o xml.o lcms.o kqueue.o profiler.o decompress.o thread.o systhread.o sqlite.o treesit.o itree.o xfont.o ftfont.o ftcrfont.o hbfont.o fontset.o fringe.o image.o xgselect.o json.o terminfo.o lastfile.o ../lib/libgnu.a ../oldXMenu/libXMenu11.a -ltiff -ljpeg -L/usr/local/lib -lpng16 -lgif -L/usr/local/lib -lwebpdemux -lwebpdecoder -lSM -lICE -lX11 -lXrender -L/usr/local/lib -lrsvg-2 -lm -lgio-2.0 -lgdk_pixbuf-2.0 -lgobject-2.0 -lglib-2.0 -lintl -lcairo -lrt -L/usr/local/lib -ldbus-1 -lexecinfo -L/usr/local/lib -lXrandr -L/usr/local/lib -lXinerama -L/usr/local/lib -lXfixes -lXext -lXext -L/usr/local/lib -lxml2 -lutil -L/usr/local/lib -lcairo -lncurses -L/usr/local/lib -lgio-2.0 -lgobject-2.0 -lglib-2.0 -lintl -L/usr/local/lib -lgobject-2.0 -lglib-2.0 -lintl -L/usr/local/lib -lfreetype -L/usr/local/lib -lfontconfig -lfreetype -L/usr/local/lib -lharfbuzz -L/usr/local/lib -lgnutls -lpthread -L/usr/local/lib -llcms2 -llcms2_fast_float -llcms2_threaded -lm -lz -L/usr/local/lib -ljansson -lgmp -L/usr/local/lib -lXi -L/usr/local/lib -ltree-sitter -lsqlite3 -lXcomposite -lXext
ld: error: undefined symbol: dynlib_error
>>> referenced by treesit.c
>>> treesit.o:(treesit_load_language)
>>> referenced by treesit.c
>>> treesit.o:(treesit_load_language)
>>> referenced by treesit.c
>>> treesit.o:(treesit_load_language)
>>> referenced 1 more times
ld: error: undefined symbol: dynlib_sym
>>> referenced by treesit.c
>>> treesit.o:(treesit_load_language)
ld: error: undefined symbol: dynlib_open
>>> referenced by treesit.c
>>> treesit.o:(treesit_load_language)
cc: error: linker command failed with exit code 1 (use -v to see invocation)
----------------------------------------------------------------------
So add MODULES to TREESITTER_IMPLIES to avoid such options setting.
* Bump PORTREVISION of ports that use "USES=emacs".
ChangeLog: https://git.savannah.gnu.org/cgit/emacs.git/tree/etc/NEWS?h=emacs-29.1
Reviewed by: ashish, jrm
Differential Revision: https://reviews.freebsd.org/D41444ba4eb3a50elang/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] - devel/ocaml-dune: Update to 3.7.1 [2] - devel/ocaml-findlib: Update to 1.9.6 [3] - devel/ocaml-ipaddr: Update to 3.1.0 - devel/ocaml-parmap: Update to 1.2.4, use dune for build [4] - devel/ocaml-ppx-tools: Update to 6.6, use dune for build - graphics/ocaml-cairo: Update to 0.6.4 - net-p2p/mldonkey: Update to 3.1.7-2 [2] - net/unison: Remove ocaml 4.07 compatibility patches - net/unison232: Mark broken, fails to build with newer ocaml [5] - security/ocaml-ssl: Update to 0.5.13 [2] - x11-toolkits/ocaml-labltk: Update to 8.06.7 [2] Dune now requires full path as argument to --libdir, so various ports have been patched accordingly. Bumping PORTREVISION for all dependent ports that were not updated. PR: 272067 Approved by: michipili@gmail.com (maintainer timeout), eduardo (maintainer timeout) [1], danfe [2], hrs (maintainer timeout) [3], dumbbell (maintainer timeout) [4], mandree (implicit) [5] Differential Revision: https://reviews.freebsd.org/D405992b40e46093
*: Bump PORTREVISIONs for math/mpc update to 1.3.18d3e020ed0
*/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 - print/texlive-texmf: Update version 20210325=>20230313 - print/texlive-texmf-source: Update version 20210325=>20230313 - print/latex-biber: Update version 2.16=>2.19 - print/tex-dvipdfmax: Update version 20210325=>20230313 - print/tex-dvipsk: Update version 2021.1=>2023.1 - print/tex-formats: Update version 20210325=>20230313 - print/tex-jadetex: Update distinfo from 20230313 dists - print/tex-luatex: Update version 1.12.0=>1.16.0 - print/tex-xetex: Update distinfo from 20230313 dists - print/tex-xmltex: Update distinfo from 20230313 dists - japanese/tex-ptex: Fix build * Remove ConTeXt format - textproc/foiltex: Update MASTER_SITES * Adopt port - There are multiple ports which uses the macro USE_TEX=texmf that is downloading a big DISTFILE. Unfortunately it is not possible for me to test all the consumers in runtime. So in the following ports I have removed USE_TEX=texmf so that someone who uses those can report the runtime files those are missing. If possible(based on LICENSE permission) I will try to create a smaller distfile out of the texlive-20230313-texmf and change dependency accordingly otherwise will reinstate USE_TEX=texmf. The list of ports that are affected are following: * arabic/arabtex * graphics/epix * math/cadabra2 * math/coq * math/gnuplot-tex-extras * net-mgmt/netmagis-www * print/dvisvg * print/lilypond * print/mftrace * print/tex-xdvik * print/latex-beamer Sponsored by: Nepustil24e24a1956
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. * xml: Add some missing DeviceEventController methods. * Bind the AT-SPI bus to the graphical session. * Mark bus service as belonging to the session slice. * Add ATSPI_ROLE_PUSH_BUTTON_MENU. * Add an "announcement" event/signal to allow objects to send notifications (!63). * Various code clean-ups and test improvements. What's new in at-spi2-core 2.45.1: * Atk and at-spi2-atk are now merged into this project. * Now requires meson 0.56.2 and glib 2.67.4. * at-spi2-atk: Expose the accessible hierarchy via dbus introspection. * Properly escape the AT-SPI bus address; fixes warnings about the address not containing a colon (!55). * Add a text value to AtspiValue, so that a value can expose a textual description, as in the new Atk value API. * Add atspi_event_listener_register_with_app, to allow an event listener to be registered only for a given application (!52). - accessibility/atk and accessibility/at-spi2-atk have been merged into accessibility/at-spi2-core - accessibility/at-spi2-core: bump consumers of removed ports atk and at-spi2-atk PR: 269704 Exp-run by: antoine ---fa81a4f5f8
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)721e5776c9
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...7939184fea66012756
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/D36613164249e867
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)fb16dfecae
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)b7f05445c0
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: 2638601da2c6c114
math/coq: enable on powerpc0ecc152474
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: antoine317aa0442c
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)d63665f7cd
math/coq: force unsafe strings to unbreak against modern OCaml.4c90e1b3af
Emacs ports: Bump PORTREVISION after Emacs 28.1 Reviewed by: ashish Sponsored by: The FreeBSD Foundation Differential Revision: https://reviews.freebsd.org/D34781d9dcd9c687
textproc/libxml2: bump all dependencies This should make sure that all dependent ports will pick up the new version commited with a13ec21cd733f67a9fc0dc00ab45268bdc236246247c7db751
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 cannot conflict with itself (due to logic in bsd.port.mk that supresses the pattern match result in that case). A few ports that set the conflicts variables depending on complex conditions (e.g. port options), have been left unmodified, despite probably containing outdated package names. These changes should only affect the installation of locally built ports, not the package building with poudriere. They should give an early indication of the install conflict in cases where currently the pkg command aborts an installation when it detects that an existing file would be overwritten, Approved by: portmgr (implicit)bcaf25a8c8
USES=emacs: Chase package name changes PR: 259259 Differential Revision: https://reviews.freebsd.org/D32613061afcca16
*: Chase new major version (29) of editors/emacs-devel Differential Revision: https://reviews.freebsd.org/D32258126e3bb1f1
One more small cleanup, forgotten yesterday. Reported by: lwhsucf118ccf87
Remove # $FreeBSD$ from Makefiles.305f148f48
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/D277004c42925142
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/D23966bea2b0b802
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/D23012ced1e88d5e
math: Add missing USES={gl,gnome,php,sdl,xorg}9284bc5ac0USES=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.html107b408c31
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/D13506a3cc513bfc
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 runbf43557044
Chase Emacs update53aec0cd56
Mark some ports failing on armv6, for errors classified as "???", part 2. While here, pet portlint. Approved by: portmgr (tier-2 blanket)c52a715800
Update to 8.6. Fix PORTEPOCH accidentally removed in the previous commit.bb3308956b
Update to 8.5.2f6eb8612d
- Add missing dependencies. - Strip installed binaries.72015275a6
Stepping down as maintainer for some ports.2127a44c33
- Move license information from port description into LICENSE knobs - Convert $arch-conditional BROKEN statement into BROKEN_$arch onefa0784d109
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 blanketc86e9d9724