genode/ports
Norman Feske 179f742924 ports/libports: Handle failed integrity checks
This patch makes the handling of failed integrity checks of 3rd-party
packages more robust. Previously, a once failed 'make prepare PKG=curl'
would not leave any trace of the verification state. Hence, a successive
attempt to perform the 'make prepare' step again succeeded even if the
signature check failed.

To solve this problem, the outcome of a successful signature check is
represented by a tag file called 'download/<archive-name>.verified'.
Because the rule for extracting the archive depends on the .verify tag
file, the extraction step is not performed until the signature check
succeeds.

Issue 
2013-06-10 10:44:10 +02:00
..
doc Update the GDB monitor test documentation 2012-02-26 13:52:20 +01:00
include/noux_session Update copyright headers to 2013 2013-01-10 21:44:47 +01:00
lib Add 'seoul_libc_support' library 2013-03-18 13:09:16 +01:00
mk Merge base libraries into a single library 2013-02-19 14:45:55 +01:00
ports ports/libports: Handle failed integrity checks 2013-06-10 10:44:10 +02:00
run liquid_fb: dynamic reconfiguration support 2013-05-22 21:30:17 +02:00
src vancouver: Improved PS/2 mouse backend 2013-05-20 10:54:59 +02:00
Makefile ports: Global variables for integrity check 2013-06-10 10:44:09 +02:00
README Fixed a typo (added 'require'), fix 2012-01-19 20:37:29 +01:00

This directory contains ports of popular 3rd-party applications to Genode.

The 'ports' repository follows the line of the 'libports' repository.
For instructions about downloading and building 3rd-party applications,
please refer to 'libports/README'.


Dependencies from other repositories
------------------------------------

Application provided by the 'ports' repository typically expect a rich
runtime environment, including shared libraries provided by the 'libports'
repository. Hence, 'ports' depends on 'libports'. Furthermore, applications
may require additional repositories. For example, the Arora web browser depends
on the 'qt4' repository.