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
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)
On powerpc64 head, libopenblas_ppc970p-r0.3.7.* weren't added to the package, even though the package itself built succesfully. This problem doesn't exist on 12.
Lack of libopenblas_ppc970p-r0.3.7.* made many packages fail.
Add DYNAMIC_ARCH option everywhere since it will cause the post-install target dependent on this option to run and include libopenblas_ppc970p-r0.3.7.* in the package.
This is only to get the necessary libs in the package, the option only works on ppc64le, which we don't support.
Bump PORTREVISION because of package change.
Use C11 compiler:
../poly2tri/common/shapes.cc: In function 'bool p2t::IsDelaunay(const std::vector<p2t::Triangle*, std::allocator<p2t::Triangle*> >&)':
../poly2tri/common/shapes.cc:394: error: a function-definition is not allowed here before ':' token
../poly2tri/common/shapes.cc:409: error: expected primary-expression at end of input
This is further fallout from r523749 and r524642
While here, fix order of PORTREVISION. There is no PORTREVISION bump
because this a build fix.
PR: 231371
PR: 243739
Reported by: many
