the new API is not backward compatible with the version 2 API; this
was required to remove various deprecated API functions that had
accumulated over time, fix suboptimal design decisions and mistakes,
clean up inconsistent naming, increase flexibility, etc.
- Install tutorials as port examples; install documentation files into
the standard location instead of overriding the default DOCSDIR
- Drop no longer used `graphics/ImageMagick' dependency: BMP, GIF, PNG,
TGA, and TIFF formats are handled by the OpenImageIO now, but it is
somewhat heavy dependency and is disabled upstream by default, so do
the same (au contraire, JPEG and PNG are enabled unconditionally as
being backed by very common and light packages)
PR: 239314 (based on)
CTL-SAT is a CTL (Computation Tree Logic) SAT solver. The user may test
satisfiability of a CTL formula may by providing it as a command-line
argument to the ctl-sat program, e.g.:
ctl-sat "~( (A(pUq) ^ AG(q->r) ^ AG(r->EXr)) -> EFEGr )"
The worst-case time complexity is O((2^n)^3) for this SAT solver, while the
worst-case space complexity is O((2^n)^2).
WWW: https://github.com/nicolaprezza/CTLSAT
sh: /usr/local/bin/xkbcomp: not found
sh: /usr/local/bin/xkbcomp: not found
XKB: Failed to compile keymap
Keyboard initialization failed. This could be a missing or incorrect setup of xkeyboard-config.
After OpenBLAS update, new GCC is required:
CMake Error at /usr/local/share/cmake/Modules/FindPackageHandleStandardArgs.cmake:146 (message):
Could NOT find CBLAS (missing: CBLAS_LIBRARIES)
Newer GCC is required after OpenBlas update:
CMake Error at /usr/local/share/cmake/Modules/FindPackageHandleStandardArgs.cmake:146 (message):
Could NOT find OpenMP_CXX (missing: OpenMP_CXX_FLAGS OpenMP_CXX_LIB_NAMES)
Fix the optional dependency on emulators/wine-gecko-devel which is
now at version 2.47.1. This is the equivalent of revision 520954
for emulators/i386-wine.
PR: 238081
slave ports. Fast-forward some port revisions since those of the existing
packages cannot go backwards and make the ports' COMMENT lines more in line
against each other and less tautological.
In file included from ../glx/glxserver.h:70,
from ../glx/indirect_dispatch.c:29:
../include/glx_extinit.h:33: error: redefinition of typedef '__GLXscreen'
../glx/glxscreens.h:119: error: previous declaration of '__GLXscreen' was here
===> xwayland-devel-1.20.0.592 depends on package: wayland-protocols>=1.18 - not found
[...]
Dependency wayland-protocols found: NO found 1.17 but need: '>= 1.18'
Run-time dependency wayland-protocols found: NO (tried pkgconfig and cmake)
[...]
install -m 555 /usr/ports/default/x11-servers/xwayland-devel/work/xserver-1cfdd1a96580733df3625bcea3384ffee3dc92df-1cfdd1a96580733df3625bcea3384ffee3dc92df/_build/hw/xwayland/Xwayland /usr/ports/default/x11-servers/xwayland-devel/work/stage/usr/local/bin
install: /usr/ports/default/x11-servers/xwayland-devel/work/xserver-1cfdd1a96580733df3625bcea3384ffee3dc92df-1cfdd1a96580733df3625bcea3384ffee3dc92df/_build/hw/xwayland/Xwayland: No such file or directory
*** Error code 71
