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.
---
- the database format has changed from an internal format to sqlite3,
this is automatic but it's recommended to make an extra backup of old files
first.
Star Traders is a simple text-based game of interstellar trading, where
the objective is to create companies, buy and sell shares, borrow and
repay money, in order to become the wealthiest player (the winner).
OK bentley@
samurai is a ninja-compatible build tool written in C99 with a focus on
simplicity, speed, and portability.
samurai implements the ninja build language through version 1.8.2. It
uses the same format for .ninja_log and .ninja_deps as ninja, currently
version 5 and 3 respectively.
It is largely feature-complete and supports most of the same options as
ninja.
