mirror of
https://github.com/mmueller41/genode.git
synced 2026-01-21 12:32:56 +01:00
6a11b78cdf
Download gmp, mpc and mpfr with the download script provided by the gcc source tree and let the gcc build system handle the build of these libraries with the correct compile options. This fixes build issues on armhf Linux and removes the need to maintain mpc and mpfr ports in the Genode tree. Issue #4094
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'.