No description
Find a file
Daniel Engberg a7559a88b5 math/z3: Improve port
* Use upstream release archive
* Change USES= compiler:c++11-lang to compiler:c++20-lang
* Do some slight rearragement of port Makefile to more closely follow Porters Handbook
* Respect CPUTYPE set by framework

Note:
Upstream is inconsistent about versioning but 4.13.4.0 is defined
in project files.

PR:		283858
Reviewed by:	arrowd (maintainer)
2025-01-05 12:50:16 +01:00
.hooks
accessibility Qt6: Update to 6.8.1 2025-01-05 01:28:11 -05:00
arabic editors/libreoffice: update to 24.8.4 release (+) 2024-12-23 02:51:50 +03:00
archivers archivers/brotli: Refresh distinfo for patch file 2025-01-05 02:06:35 +01:00
astro Mk/**java.mk: Convert bsd.java.mk to USES 2024-12-31 09:57:55 +01:00
audio audio/mumble: Update 1.5.634 → 1.5.735 2025-01-04 22:57:59 +03:00
benchmarks Mk/**java.mk: Convert bsd.java.mk to USES 2024-12-31 09:57:55 +01:00
biology biology/py-scikit-bio: Broken where OpenMP isn't available 2025-01-04 01:54:36 -08:00
cad cad/netgen-lvs: update 1.5.286 → 1.5.290 2025-01-03 02:27:39 -08:00
chinese chinese/eterm: Mark DEPRECATED 2024-12-27 11:37:24 +01:00
comms Qt6: Update to 6.8.1 2025-01-05 01:28:11 -05:00
converters Mk/**ocaml.mk: Convert remaining bsd.ocaml.mk to Uses/ocaml.mk 2024-12-31 08:41:54 +01:00
databases Qt6: Update to 6.8.1 2025-01-05 01:28:11 -05:00
deskutils deskutils/cairo-dock-plugins: Update to 3.5.1 2025-01-04 23:00:30 +00:00
devel Qt6: Update to 6.8.1 2025-01-05 01:28:11 -05:00
dns dns/godns: Update to 3.2.1 2025-01-05 02:06:35 +01:00
editors editors/ox: Broken on armv7 2025-01-04 01:42:45 -08:00
emulators emulators/virtualbox-ose{,-nox11}{,-legacy}: Fix listen VNC on TCP port on IPv6 address 2025-01-05 04:43:43 +03:00
filesystems filesystems/httpfs: Remove expired port 2025-01-01 13:16:33 +01:00
finance finance/electrs: Broken on armv7 2025-01-04 01:50:21 -08:00
french editors/libreoffice: update to 24.8.4 release (+) 2024-12-23 02:51:50 +03:00
ftp Mk/**java.mk: Convert bsd.java.mk to USES 2024-12-31 09:57:55 +01:00
games games/mizuma: chase MESA-DEMOS rename after 5b3354a080 2025-01-05 01:08:35 +01:00
german german/mythes: Update to 2024.12.29 2025-01-03 03:46:52 +08:00
graphics Qt6: Update to 6.8.1 2025-01-05 01:28:11 -05:00
hebrew editors/libreoffice: update to 24.8.4 release (+) 2024-12-23 02:51:50 +03:00
hungarian editors/libreoffice: update to 24.8.4 release (+) 2024-12-23 02:51:50 +03:00
irc irc/inspircd: update to 4.5.0 2025-01-05 11:22:53 +01:00
japanese japanese/sudachi: Broken on armv7 2025-01-03 23:30:31 -08:00
java Mk/Uses/java.mk: Runtime fix with USES=java:ant 2024-12-31 15:39:30 +01:00
Keywords
korean editors/libreoffice: update to 24.8.4 release (+) 2024-12-23 02:51:50 +03:00
lang lang/ldc: Update to 1.40.0 2025-01-04 20:38:51 +03:00
mail mail/p5-Mail-BIMI: Update to 3.20241209 and make more test safe 2025-01-05 01:46:45 +09:00
math math/z3: Improve port 2025-01-05 12:50:16 +01:00
misc misc/compat.el: Update to 30.0.2.0 2025-01-05 15:42:32 +09:00
Mk Qt6: Update to 6.8.1 2025-01-05 01:28:11 -05:00
multimedia Qt6: Update to 6.8.1 2025-01-05 01:28:11 -05:00
net Qt6: Update to 6.8.1 2025-01-05 01:28:11 -05:00
net-im net-im/telegram-desktop: Chase Qt6 update 2025-01-05 01:33:55 -05:00
net-mgmt net-mgmt/victoria-logs: update to 1.4.0 2025-01-01 14:38:01 +01:00
net-p2p net-p2p/twitch-tui: update 2.6.17 → 2.6.18 2025-01-03 20:15:59 -08:00
news Mk/**java.mk: Convert bsd.java.mk to USES 2024-12-31 09:57:55 +01:00
polish polish/hunspell: Update to 20250101 2025-01-03 03:46:53 +08:00
ports-mgmt ports-mgmt/pkg-devel: silent a warning which bothers poudriere 2025-01-03 17:00:41 +01:00
portuguese editors/libreoffice: update to 24.8.4 release (+) 2024-12-23 02:51:50 +03:00
print Qt6: Update to 6.8.1 2025-01-05 01:28:11 -05:00
russian editors/libreoffice: update to 24.8.4 release (+) 2024-12-23 02:51:50 +03:00
science Qt6: Update to 6.8.1 2025-01-05 01:28:11 -05:00
security security/libxcrypt: update 4.4.36 → 4.4.37 2025-01-02 12:12:00 -08:00
shells shells/nushell: update 0.100.0 → 0.101.0 2025-01-01 20:51:07 -08:00
sysutils sysutils/cbsd: Update to 14.2.2 2025-01-05 12:33:40 +01:00
Templates Framework: Finalize switch to share/man for manpages 2024-04-11 21:51:09 +03:00
textproc textproc/py-wordcloud: upgrade to 1.9.4 2025-01-04 18:27:48 +01:00
Tools Tools/scripts: In pypi-get-latest-version.sh, exclude alpha/beta/rc versions 2024-12-17 01:45:30 -08:00
ukrainian editors/libreoffice: update to 24.8.4 release (+) 2024-12-23 02:51:50 +03:00
vietnamese editors/libreoffice: update to 24.8.4 release (+) 2024-12-23 02:51:50 +03:00
www Qt6: Update to 6.8.1 2025-01-05 01:28:11 -05:00
x11 x11/foot: replace workaround with upstream fix 2025-01-04 20:10:00 +01:00
x11-clocks x11-clocks/xfce4-timer-plugin: Update to 1.7.3 2024-12-27 15:01:53 +01:00
x11-drivers x11-drivers/xorgxrdp-devel: Update to 0.10.80.b20241215 9698ba0 2024-12-30 01:00:11 +09:00
x11-fm x11-fm/thunar: Update to 4.20.1 2024-12-31 17:06:34 +01:00
x11-fonts x11-fonts/fcft: update to 3.1.10 2025-01-04 01:09:15 +01:00
x11-servers x11-servers/xwayland: update 24.1.2 -> 24.1.4 to fix CVE-2024-9632 2024-11-20 20:14:36 +01:00
x11-themes x11-themes/icons-tango-extras: Refactor 2024-12-27 11:37:11 +01:00
x11-toolkits Qt6: Update to 6.8.1 2025-01-05 01:28:11 -05:00
x11-wm all: remove support for expired FreeBSD 13.3 2025-01-01 17:09:59 +01:00
.arcconfig
.gitignore
.mailmap .mailmap: Add old commit mails of jbo@ 2024-03-06 16:09:09 +01:00
CHANGES Mk/**java.mk: Convert bsd.java.mk to USES 2024-12-31 09:57:55 +01:00
CONTRIBUTING.md CONTRIBUTING.md: Partially revert "games/xteddy: Adopt" 2024-10-30 18:04:31 +01:00
COPYRIGHT Happy New Year 2025! 2025-01-01 15:34:59 +09:00
GIDs sysutils/tempo: add new port. 2025-01-05 14:55:03 +08:00
Makefile filesystems: add new category for file systems and related utilities 2024-11-06 16:17:35 +01:00
MOVED MOVED: fix typo with the net-im/telegram-desktop port name 2025-01-04 21:15:30 -05:00
README README: searchable index of all ports is at ports.freebsd.org 2024-08-14 14:58:31 +00:00
UIDs sysutils/tempo: add new port. 2025-01-05 14:55:03 +08:00
UPDATING net/xrdp-devel: Update to 0.10.80.b20241229 4c8c773 2024-12-30 01:02:15 +09:00

This is the FreeBSD Ports Collection.  For an easy to use
WEB-based interface to it, please see:

	https://ports.FreeBSD.org

For general information on the Ports Collection, please see the
FreeBSD Handbook ports section which is available from:

	https://docs.freebsd.org/en/books/handbook/ports/
		for the latest official version
	or:
	The ports(7) manual page (man ports).

These will explain how to use ports and packages.

If you would like to search for a port, you can do so easily by
saying (in /usr/ports):

	make search name="<name>"
	or:
	make search key="<keyword>"

which will generate a list of all ports matching <name> or <keyword>.
make search also supports wildcards, such as:

	make search name="gtk*"

For information about contributing to FreeBSD ports, please see the Porter's
Handbook, available at:

	https://docs.freebsd.org/en/books/porters-handbook/

NOTE:  This tree will GROW significantly in size during normal usage!
The distribution tar files can and do accumulate in /usr/ports/distfiles,
and the individual ports will also use up lots of space in their work
subdirectories unless you remember to "make clean" after you're done
building a given port.  /usr/ports/distfiles can also be periodically
cleaned without ill-effect.