Guido Falsi 2b40e46093 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] - 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/D40599		2023-07-05 11:55:16 +02:00
..
amtk	accessibility/at-spi2-core: update to 2.46.0	2023-03-02 06:23:10 +01:00
blt	x11-toolkits/blt: Fix build with llvm16	2023-06-24 22:48:37 +02:00
bwidget
color-widgets-qt5
copperspice	audio/opus: bump consumers after update to 1.4	2023-04-25 17:17:15 +02:00
ctk
fltk
fox14	x11-toolkits/fox14: Fix build with llvm16	2023-06-26 13:25:25 -04:00
fox16	x11-toolkits/fox16: Genericize llvm16 fix from [1]	2023-06-25 17:05:52 -04:00
fox17	x11-toolkits/fox17: Update to 1.7.83	2023-06-17 00:40:25 -04:00
fpc-gtk2	x11-toolkits/fpc-gtk2: fix PORTREVISION bump in fa81a4f5f8	2023-03-10 16:32:45 +01:00
fpc-xforms
fxscintilla
gdl	accessibility/at-spi2-core: update to 2.46.0	2023-03-02 06:23:10 +01:00
girara	x11-toolkits/girara: unbreak with --auto-features=enabled	2023-03-27 10:29:11 +00:00
gnome-pty-helper
gnustep-back	audio/opus: bump consumers after update to 1.4	2023-04-25 17:17:15 +02:00
gnustep-gui	audio/opus: bump consumers after update to 1.4	2023-04-25 17:17:15 +02:00
granite	all: remove explicit versions in USES=python for "3.x+"	2023-06-27 21:34:34 +02:00
granite7	all: remove explicit versions in USES=python for "3.x+"	2023-06-27 21:34:34 +02:00
gstreamer1-plugins-gtk	accessibility/at-spi2-core: update to 2.46.0	2023-03-02 06:23:10 +01:00
gstreamer1-plugins-pango
gtk4-layer-shell	x11-toolkits/gtk4-layer-shell: update to 1.0.1	2023-07-02 11:15:35 +00:00
gtk20	x11-toolkits/gtk20: fix build with clang 16	2023-04-18 17:12:06 +02:00
gtk30	x11-toolkits/gtk30: allow ATK_BRIDGE without X11 after fa81a4f5f8	2023-06-03 15:31:30 +00:00
gtk40	all: remove explicit versions in USES=python for "3.x+"	2023-06-27 21:34:34 +02:00
gtk-layer-shell	x11-toolkits/gtk-layer-shell: update to 0.8.1	2023-04-12 18:31:57 +00:00
gtk-sharp20	accessibility/at-spi2-core: update to 2.46.0	2023-03-02 06:23:10 +01:00
gtk-sharp30	accessibility/at-spi2-core: update to 2.46.0	2023-03-02 06:23:10 +01:00
gtk-sharp-beans
gtkd	*: Bump PORTREVISIONs for math/mpc update to 1.3.1	2023-04-23 09:09:58 +00:00
gtkdatabox	x11-toolkits/gtkdatabox: Adopt/Update to 1.0.0	2023-04-07 11:30:09 +01:00
gtkextra	accessibility/at-spi2-core: update to 2.46.0	2023-03-02 06:23:10 +01:00
gtkglarea2	accessibility/at-spi2-core: update to 2.46.0	2023-03-02 06:23:10 +01:00
gtkglext	accessibility/at-spi2-core: update to 2.46.0	2023-03-02 06:23:10 +01:00
gtkglextmm	accessibility/at-spi2-core: update to 2.46.0	2023-03-02 06:23:10 +01:00
gtkimageview	accessibility/at-spi2-core: update to 2.46.0	2023-03-02 06:23:10 +01:00
gtkmm24	accessibility/at-spi2-core: update to 2.46.0	2023-03-02 06:23:10 +01:00
gtkmm30	accessibility/at-spi2-core: update to 2.46.0	2023-03-02 06:23:10 +01:00
gtksourceview2	accessibility/at-spi2-core: update to 2.46.0	2023-03-02 06:23:10 +01:00
gtksourceview3	accessibility/at-spi2-core: update to 2.46.0	2023-03-02 06:23:10 +01:00
gtksourceview4	accessibility/at-spi2-core: update to 2.46.0	2023-03-02 06:23:10 +01:00
gtksourceview5	accessibility/at-spi2-core: update to 2.46.0	2023-03-02 06:23:10 +01:00
gtksourceviewmm3	accessibility/at-spi2-core: update to 2.46.0	2023-03-02 06:23:10 +01:00
guile-gnome-platform	accessibility/at-spi2-core: update to 2.46.0	2023-03-02 06:23:10 +01:00
imgui	x11-toolkits/imgui: Update 1.89.6 → 1.89.7	2023-07-04 23:37:49 -07:00
irrlicht	x11-toolkits/irrlicht: Fix build with llvm16	2023-06-25 20:09:47 +02:00
itk	x11-toolkits/itk: Fix build with llvm16	2023-06-25 20:09:48 +02:00
iwidgets
kddockwidgets	x11-toolkits/kddockwidgets: Update 1.6.0 → 1.7.0	2023-05-29 11:33:23 -07:00
kf5-attica	KDE: Update KDE Frameworks to 5.107	2023-06-29 19:56:44 +02:00
kf5-kcompletion	KDE: Update KDE Frameworks to 5.107	2023-06-29 19:56:44 +02:00
kf5-kconfigwidgets	KDE: Update KDE Frameworks to 5.107	2023-06-29 19:56:44 +02:00
kf5-kdesignerplugin	KDE: Update KDE Frameworks to 5.107	2023-06-29 19:56:44 +02:00
kf5-kguiaddons	KDE: Update KDE Frameworks to 5.107	2023-06-29 19:56:44 +02:00
kf5-kirigami2	KDE: Update KDE Frameworks to 5.107	2023-06-29 19:56:44 +02:00
kf5-kitemviews	KDE: Update KDE Frameworks to 5.107	2023-06-29 19:56:44 +02:00
kf5-kjobwidgets	KDE: Update KDE Frameworks to 5.107	2023-06-29 19:56:44 +02:00
kf5-ktextwidgets	KDE: Update KDE Frameworks to 5.107	2023-06-29 19:56:44 +02:00
kf5-kwidgetsaddons	KDE: Update KDE Frameworks to 5.107	2023-06-29 19:56:44 +02:00
kf5-kxmlgui	KDE: Update KDE Frameworks to 5.107	2023-06-29 19:56:44 +02:00
kirigami-addons	audio/opus: bump consumers after update to 1.4	2023-04-25 17:17:15 +02:00
kproperty
lesstif
libadwaita	x11-toolkits/libadwaita: update to 1.3.3	2023-06-15 00:42:28 +00:00
libdazzle	accessibility/at-spi2-core: update to 2.46.0	2023-03-02 06:23:10 +01:00
libdecor
libgdiplus
libhandy	accessibility/at-spi2-core: update to 2.46.0	2023-03-02 06:23:10 +01:00
libhandy0	x11-toolkits/libhandy0: disable glade	2023-05-23 14:38:13 -04:00
libshumate	accessibility/at-spi2-core: update to 2.46.0	2023-03-02 06:23:10 +01:00
libunique3	accessibility/at-spi2-core: update to 2.46.0	2023-03-02 06:23:10 +01:00
libwnck	accessibility/at-spi2-core: update to 2.46.0	2023-03-02 06:23:10 +01:00
libwnck3	accessibility/at-spi2-core: update to 2.46.0	2023-03-02 06:23:10 +01:00
libxaw3dxft
libXaw
libXmu
libXt
linux-c7-gtk2
linux-c7-gtk3
linux-c7-openmotif
linux-c7-pango
linux-c7-qt-x11
linux-c7-tk85
movingmotif
mowitz
mygui
mygui-dummy
mygui-ogre
mygui-opengl
nanogui
neXtaw
ntk	x11-toolkits/ntk: Fix build with llvm16	2023-06-25 23:42:44 +02:00
nuklear	x11-toolkits/nuklear: Update 4.10.1 → 4.10.5	2023-02-27 22:11:47 -08:00
ocaml-lablgtk2	lang/ocaml: Update to 4.08.1	2023-07-05 11:55:16 +02:00
ocaml-lablgtk3	lang/ocaml: Update to 4.08.1	2023-07-05 11:55:16 +02:00
ocaml-labltk	lang/ocaml: Update to 4.08.1	2023-07-05 11:55:16 +02:00
open-motif	x11-toolkits/open-motif*: fix build with clang 16	2023-05-15 07:36:17 -07:00
open-motif-devel	x11-toolkits/open-motif*: fix build with clang 16	2023-05-15 07:36:17 -07:00
osm-gps-map	accessibility/at-spi2-core: update to 2.46.0	2023-03-02 06:23:10 +01:00
otk
p5-Alien-wxWidgets
p5-Glade2	accessibility/at-spi2-core: update to 2.46.0	2023-03-02 06:23:10 +01:00
p5-Gtk2	all: return swills' ports to the pools after safeeping his ports bit.	2023-04-11 22:34:04 +02:00
p5-Gtk2-Chmod
p5-Gtk2-Ex-Dialogs
p5-Gtk2-Ex-FormFactory
p5-Gtk2-Ex-PodViewer
p5-Gtk2-Ex-Simple-List
p5-Gtk2-Ex-Utils
p5-Gtk2-GladeXML	accessibility/at-spi2-core: update to 2.46.0	2023-03-02 06:23:10 +01:00
p5-Gtk2-ImageView
p5-Gtk2-PathButtonBar
p5-Gtk2-TrayIcon
p5-Gtk3	accessibility/at-spi2-core: update to 2.46.0	2023-03-02 06:23:10 +01:00
p5-Gtk3-ImageView	accessibility/at-spi2-core: update to 2.46.0	2023-03-02 06:23:10 +01:00
p5-Gtk3-SimpleList
p5-Pango
p5-Prima	x11-toolkits/p5-Prima: Update to 1.68002	2023-05-27 12:24:02 +08:00
p5-Tk	x11-toolkits/p5-Tk: fix build with clang 16	2023-05-20 00:16:54 +02:00
p5-Tk-Action
p5-Tk-Autoscroll
p5-Tk-ColourChooser
p5-Tk-Contrib
p5-Tk-CursorControl
p5-Tk-Date
p5-Tk-DKW
p5-Tk-DynaTabFrame
p5-Tk-Enscript
p5-Tk-FileDialog
p5-Tk-FontDialog
p5-Tk-GBARR
p5-Tk-Getopt
p5-Tk-HistEntry
p5-Tk-JComboBox
p5-Tk-ResizeButton
p5-Tk-Role-Dialog
p5-Tk-Role-HasWidgets
p5-Tk-Splashscreen
p5-Tk-Sugar
p5-Tk-TableMatrix
p5-Tk-ToolBar
p5-Tk-WaitBox
pango	x11-toolkits/pango: update to 1.50.14	2023-06-20 00:50:02 +00:00
pangolin	*/*: Bump all users of multimedia/ffmpeg*	2023-04-27 14:01:46 +02:00
pangomm
pangox-compat	x11-toolkits/pangox-compat: fix build with clang 16	2023-05-29 19:20:12 +02:00
plasma5-kdeplasma-addons	KDE: Update KDE Plasma Desktop to 5.27.6	2023-06-29 18:00:04 +02:00
plib	x11-toolkits/plib: Fix build with llvm16	2023-06-24 06:37:51 +02:00
py-AnyQt	all: remove explicit versions in USES=python for "3.x+"	2023-06-27 21:34:34 +02:00
py-awesometkinter
py-easygui	all: remove explicit versions in USES=python for "3.x+"	2023-06-27 21:34:34 +02:00
py-fltk	all: remove explicit versions in USES=python for "3.x+"	2023-06-27 21:34:34 +02:00
py-guietta	x11-toolkits/py-guietta: Update to 1.6.0	2023-06-15 20:38:17 +08:00
py-Pmw	all: remove explicit versions in USES=python for "3.x+"	2023-06-27 21:34:34 +02:00
py-python-xlib	all: remove explicit versions in USES=python for "3.x+"	2023-06-27 21:34:34 +02:00
py-qt5-chart	all: remove explicit versions in USES=python for "3.x+"	2023-06-27 21:34:34 +02:00
py-qt6-chart	all: remove explicit versions in USES=python for "3.x+"	2023-06-27 21:34:34 +02:00
py-tkinter
py-tktreectrl	all: remove explicit versions in USES=python for "3.x+"	2023-06-27 21:34:34 +02:00
py-wxPython4	all: remove explicit versions in USES=python for "3.x+"	2023-06-27 21:34:34 +02:00
pythonqt	all: remove explicit versions in USES=python for "3.x+"	2023-06-27 21:34:34 +02:00
qml-box2d
qt5-charts	x11-toolkits/qt5-charts: unbreak after 020693c166	2023-04-08 17:27:08 +00:00
qt5-datavis3d	x11-toolkits/qt5-datavis3d: unbreak after 020693c166	2023-04-10 09:59:00 +00:00
qt5-declarative	x11-toolkits/qt5-declarative: unbreak after 020693c166	2023-04-07 20:27:25 +00:00
qt5-declarative-test	x11-toolkits/qt5-declarative-test: unbreak after 020693c166	2023-04-08 15:41:32 +00:00
qt5-gamepad	x11-toolkits/qt5-gamepad: unbreak after 020693c166	2023-04-10 09:59:00 +00:00
qt5-gui	x11-toolkits/qt5-gui: drop mesa-dri dependency (optional at runtime)	2023-04-14 20:34:23 +00:00
qt5-quick3d	x11-toolkits/qt5-quick3d: unbreak after 020693c166	2023-04-10 09:59:01 +00:00
qt5-quickcontrols
qt5-quickcontrols2	x11-toolkits/qt5-quickcontrols2: unbreak after 020693c166	2023-04-08 15:12:34 +00:00
qt5-quicktimeline
qt5-uiplugin
qt5-virtualkeyboard
qt5-widgets
qt5pas	x11-toolkits/qt5pas: update to cbinding of lazarus main from freepascal gitlab	2023-04-10 13:14:39 -05:00
qt6-charts
qt6-datavis3d
qt6-declarative	all: remove explicit versions in USES=python for "3.x+"	2023-06-27 21:34:34 +02:00
qt6-quick3d	devel/icu: update to 73.1	2023-04-13 00:56:37 +00:00
qt6-quicktimeline	devel/icu: update to 73.1	2023-04-13 00:56:37 +00:00
qt6-shadertools	x11-toolkits/qt6-shadertools: unbreak with libglvnd/X11=off	2023-06-03 20:04:32 +00:00
qt6-virtualkeyboard
qtermwidget	x11-wm/lxqt: Update to 1.3.0	2023-06-20 19:51:44 +02:00
qwt5-qt5
qwt6
redkite
rep-gtk2	*/*: llvm15 build fixes	2023-05-17 18:30:15 +02:00
rubygem-gdk3	x11-toolkits/rubygem-gdk3: Update to 4.1.7	2023-06-06 02:49:05 +08:00
rubygem-gdk4	x11-toolkits/rubygem-gdk4: Update to 4.1.7	2023-06-06 02:49:05 +08:00
rubygem-gtk2	x11-toolkits/rubygem-gtk2: Fix build with Clang 15 and revert a4021dd9e2	2023-06-30 15:08:01 +08:00
rubygem-gtk3	x11-toolkits/rubygem-gtk3: Fix build with Clang 16 and remove the workaround	2023-06-30 15:08:01 +08:00
rubygem-gtk4	x11-toolkits/rubygem-gtk4: Update to 4.1.7	2023-06-06 02:49:06 +08:00
rubygem-gtksourceview3	x11-toolkits/rubygem-gtksourceview3: Update to 4.1.7	2023-06-06 02:49:06 +08:00
rubygem-gtksourceview4	x11-toolkits/rubygem-gtksourceview4: Update to 4.1.7	2023-06-06 02:49:06 +08:00
rubygem-pango	x11-toolkits/rubygem-pango: Update to 4.1.7	2023-06-06 02:49:06 +08:00
rubygem-poppler	x11-toolkits/rubygem-poppler: Update to 4.1.7	2023-06-06 02:49:07 +08:00
rubygem-tk
rubygem-uh
rubygem-vte3	x11-toolkits/rubygem-vte3: Update to 4.1.7	2023-06-06 02:49:07 +08:00
scintilla	accessibility/at-spi2-core: update to 2.46.0	2023-03-02 06:23:10 +01:00
sdl_pango
shared-desktop-ontologies
skinlf
soqt	audio/opus: bump consumers after update to 1.4	2023-04-25 17:17:15 +02:00
SoXt	audio/opus: bump consumers after update to 1.4	2023-04-25 17:17:15 +02:00
swt	*/*: llvm15 build fixes	2023-05-17 18:30:15 +02:00
tepl6	devel/icu: update to 73.1	2023-04-13 00:56:37 +00:00
termit	accessibility/at-spi2-core: update to 2.46.0	2023-03-02 06:23:10 +01:00
tix
tk85	lang/tcl8[5-7], x11-toolkits/tk8[5-7]: fix build with WITH_LLVM_BINUTILS	2023-04-24 15:51:34 +00:00
tk86	lang/tcl8[5-7], x11-toolkits/tk8[5-7]: fix build with WITH_LLVM_BINUTILS	2023-04-24 15:51:34 +00:00
tk87	lang/tcl8[5-7], x11-toolkits/tk8[5-7]: fix build with WITH_LLVM_BINUTILS	2023-04-24 15:51:34 +00:00
tk-wrapper
tkdnd
tkshape
tktable
tktray
tktreectrl
unique	accessibility/at-spi2-core: update to 2.46.0	2023-03-02 06:23:10 +01:00
viewklass
vte	accessibility/at-spi2-core: update to 2.46.0	2023-03-02 06:23:10 +01:00
vte3	all: remove explicit versions in USES=python for "3.x+"	2023-06-27 21:34:34 +02:00
wlroots	x11-toolkits/wlroots: unbreak DRM=off build after a8bed4f816	2023-04-21 12:18:56 +00:00
wlroots015	x11-toolkits/wlroots015: backport touchscreen fixes for x11-wm/phoc	2023-02-01 18:15:42 +00:00
wlroots-devel	x11-toolkits/wlroots-devel: update to 0.16.0.623	2023-07-02 00:18:06 +00:00
wmapp
wxgtk30	x11-toolkits/wxgtk30: fix build with clang 16	2023-04-18 17:12:06 +02:00
wxgtk32	accessibility/at-spi2-core: update to 2.46.0	2023-03-02 06:23:10 +01:00
Xaw3d
xbae	*/*: llvm15 build fixes	2023-05-17 18:30:15 +02:00
xforms
xmhtml	x11-toolkits/xmhtml: Fix build with llvm16	2023-06-24 20:10:02 +02:00
Xmt
xwallpaper
ztoolkit
Makefile	x11-toolkits/wlroots-devel: restore port	2023-04-22 14:40:08 +00:00