while there, bring across the now-repaired patch from php/5.6 to use
arc4random_buf rather than /dev/urandom for entropy for generated
session ids. simplified from an older diff by martijn@
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.
