Initial import of math/libpoly version 0.2.1.
SRI LibPoly is a C library for manipulating polynomials. The target
applications are symbolic reasoning engines, such as SMT solvers,
that need to reason about polynomial constraints. It is research
software under development, so the features and the API might change
rapidly.
Initial import of math/symfpu version 1.2.0.
SymFPU is an implementation of the SMT-LIB theory of (IEEE-754)
floating-point in terms of bit-vector operations. It is templated
in terms of the bit-vectors, propositions, floating-point formats
and rounding mode types used.
joker: update to 1.9.0
## General improvements
- Updated dependencies.
## Linter improvements
- Added support for union types in return values.
- Added linter return tags for core functions and expanded type
tagging coverage.
## Fixes
- Fixed type inference for stubs.
- Fixed linter deref return types for volatile and other core
functions.
kew: update to 4.1.6
4.1.0:
- Added custom layouts.
- Added AutoResume (persists playback state; enabled by default).
- Added experimental crossfade with new commands/settings.
- Added/improved visualizer modes (including Party Mode and others).
- Added new theme pack and improved themes/color behavior.
- Added scrolling lyrics behavior and more UX improvements.
- Included many bug fixes and internal refactors.
4.1.1:
- Fixed an issue affecting Homebrew tests.
4.1.2:
- Fixed an installation issue on FreeBSD.
4.1.3:
- Changed Discord integration to opt-in (off by default).
[13 lines not shown]
pinentry: add a CHECK_PORTABILITY_SKIP
build-aux/config.rpath:286:12: double brackets
if [[ $libdir = '/usr/lib' ]] || [[ $libdir = '/usr/lib64' ]] ;
This file comes from gnulib and was perhaps generated with an
old version? gnulib master does not have the double brackets.
This code is under a case statement for GNU platforms so don't
bother patching it in pkgsrc.
mk/compiler/gcc.mk: Require gcc 14 for c23
Note that NetBSD current has gcc 14. This is marked as temporary
because if a newer version is imported before branch, old current is
irrelevant.
While gcc documents that 15 is required for full support, we have a
long tradition of choosing a version that has almost full support,
when that results in fewer compiler builds. Guess that 14 will be ok,
with a comment indicating the choice is tentative.
Previously, putting c23 in USE_CC_FEATURES did nothing, so this commit
should not break any working packages. Tested on a random package not
to break, which is really about not having syntax errors.
mk/compiler/gcc.mk: Update C dialect comments
Be more precise about what gcc documents, including noting that C99
formally requires gcc 5 but we say 3 (and that it's been ok and use of
pre-5 is rare, so don't worry).
This is a comment-only change.
mk/compiler/gcc.mk: Update comments
- Note gcc12 in NetBSD 11.
- Explain that the point of limited versions is to build fewer
versions, not because is is simpler.
- Explain that long term we would prefer precise settings and a
per-platform limited list.
- Update gcc pointers, adding the C support matrix page and dropping
the C99 and C11 individual pages.
- Clarify that the gcc-current support page is about gcc-current,
not releases.
- Move C selection before C++.
- Sort C selection newest to oldest to align with C++ selection
sorting.
NFCI, and a single package test build showed no issues.
