an object file with a .data section from a binary blob (ld -r
-b binary foo foo.blob), the target emulation must be specified
explicitly. Provide a variable LLD_EMUL that maps the architecture
to the respective emulation name. We include the -m switch for
direct use in an ld command line.
ok sthen@ espie@
This is now possible due to the libcxx update and pmap changes in the kernel.
Since swiftshader is not supported on aarch64 (amd64), create a PFRAG to be
included on anything else besides arm64.
get coq updated. Biggest improvement in this update is support for
amd64.
CompCert is not free software. This non-commercial release can only
be used for evaluation, research, educational and personal purposes.
Although this is a "no functional change" commit, the change does two
things:
* Removes the dependency on py-texscythe for generating the PLISTs.
Instead, I've added a small TLPDB parser which works (unlike
py-texsythe) entirely in-memory. This means that generating the
PLISTs now takes seconds instead of minutes.
* Splits the generation of the PLISTs into two scripts. The first --
update_plist_hints.py -- emits one line for file under the fake
install dir, advising which PLIST the file should go in. The second
-- write_plists.py -- reads those lines and writes them to the
correct PLIST. Eventually write_plists.py will be killed, as we plan
to integrate update_plist_hints.py with update-plist(1) itself.
At a later date, I will port all of these scripts to Python3, since that
seems to be the way the world is going.
The idea to integrate with update-plist(1) is espie@'s, and this change
is also OK espie@.
Many thanks.
Unlikely to come back as a port since it's now a nodejs monster, but
feel free to poke in the Attic. If someday i end up really bored^Wdrunk,
maybe i'll waste a hackathon night turning it into an ansible playbook..
but last i tried, it was a failure.
Reminded by danj@
Some of these variables may be moved to more permanent homes later, after
samurai gets through a bulk build, but for now this allows testing of
samurai without changing the default case of using ninja.
Adapted from sthen@'s diff. ok sthen@
config style, which still has DNS-01. ok landry@
---
acme-client is a client for the ACME protocol used by the Let's Encrypt CA.
It uses isolated processes for various operations - network code doesn't
have access to the filesystem, etc - this is enforced by pledge(2).
acme-client is present in the OpenBSD base system. This package is for the
original version, which uses a different configuration interface (CLI rather
than configuration file). It also supports the DNS-01 challenge type which
is not currently available in the version in the base system.
The executable is installed as "eacme-client".
---
and upgrading from radicale 1.x requires exporting from the older
version, so it makes sense to carry the two in parallel for a time.
---
The Radicale Project is a complete CalDAV calendar server solution,
capable of making multiple calendars available to local and remote
users, with optional authentication policies. Calendars can be
viewed and edited by a calendar client such as
Mozilla Lightning Calendar or Evolution.
The Radicale Project aims to be a light solution, easy to use, easy
to install, easy to configure. As a consequence, it requires few
software dependencies and is pre-configured to work out-of-the-box.
---
