cad/verilator: Fix run-time error when verilated program couldn't find lz4
/usr/local/share/verilator/include/verilated.mk is patched with relevant
values.
PR: 296673
Reported by: Joel Bodenmann <jbo at FreeBSD.org>
(cherry picked from commit d9a357804e97a3ab009c2f865530226c44eb5ea7)
cad/verilator: Fix run-time error when verilated program couldn't find lz4
/usr/local/share/verilator/include/verilated.mk is patched with relevant
values.
PR: 296673
Reported by: Joel Bodenmann <jbo at FreeBSD.org>
math/saga: Fix nullptr error
saga-gis/src/tools/io/io_webservices/soilgrids.cpp:433:57: error:
invalid operands to binary expression ('bool' and 'std::nullptr_t')
bResult = Get_Variable(Variable, Distribution, Layer) != NULL;
The upstream fix will be released with the next bugfix version.
Reported by: package builders
finance/taler-merchant: (new port) Merchant components of GNU Taler
These are the components needed to us GNU Taler as merchant (seller)
to accept payments.
biology/muscle: improve port
- remove unnecessary dependencies on gcc and bash
- use INSTALL_PROGRAM instead of INSTALL
Bump PORTREVISION
Reported by: danfe
math/adasat: New Port, DPLL-based SAT solver in Ada
SAT solver based on Davis–Putnam–Logemann–Loveland (DPLL) based
propositional satisfiability in Ada.
Supported features include:
* Conflict analysis and backjumping
* Two-watched literals scheme
* Built-in support for At-Most-One constraints
* Custom theories
PR: 296552
finance/taler-exchange: (new port) distributed privacy-preserving payment system
GNU Taler is a privacy-preserving payment system. Customers can stay
anonymous, but merchants can not hide their income through payments
with GNU Taler. This helps to avoid tax evasion and money laundering.
The primary use case of GNU Taler is payments; it is not meant as a
store of value. Payments are always backed by an existing currency.
Payments are made after exchanging existing money into electronic
money with the help of an Exchange service, that is, a payment
service provider for Taler.
When making a payment, customers only need a loaded wallet. A
merchant can accept payments without making their customers register
on the merchant's Website.
Supported-by: NLNet
Supported-by: Commons Caretakers
net/gnunet: update to 0.27.0 and add postgres
This is the latest release of GNUnet. The postgres dependency
is added for the intended consumers of GNUnet, GNUtaler.