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]
x86/GENERIC: Enable PCI_RESOURCE.
Has been needed for motherboards that are already several years old
by now, which require the OS to allocate PCI memory regions for some
devices like iwm(4); let's get some experience with having it on by
default.
PR port-amd64/59118: Thinkpad T495s - iwm PCI BAR is zero
make: in meta mode allow more general filtering
When a pre-built tree is cloned or relocated it is necessary to
filter all paths in .meta files that refer to the original location
to refer to the new.
For example (SB names the parent directory of src):
.if ${SB} != ${SB_ORIGIN:U${SB}}
.MAKE.META.FILTER += S,${SB_ORIGIN},${SB},
.endif
for commands; this is applied prior to any filters from
.MAKE.META.CMP_FILTER
but it is also applied to paths in the filemon syscall records
so we do not lose the benefit of them.
Reviewed by: rillig
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.
atomic_store(9): Fix byte indexing on hash-locked architectures.
Fixes the easy part of:
PR kern/60393: hash-locked atomic_store_* is all kinds of busted
The hard part will require redoing these to just hash-lock the whole
store.
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.
