4 Commits

Author	SHA1	Message	Date
Sebastian Sumpf	db18fc42fe	libports: update mpfr to 4.0.2 ... issue #3537	2019-11-19 14:45:39 +01:00
Norman Feske	366bba0227	Exclude higher-level repos from strict warnings ... This is a follow-up commit to "Increase default warning level", which overrides Genode's new default warning level for targets contained in higher-level repositories. By explicitly whitelisting all those targets, we can selectively adjust them to the new strictness over time - by looking out for 'CC_CXX_WARN_STRICT' in the target description files. Issue #465	2018-01-17 12:14:36 +01:00
Norman Feske	85a2ebc1c4	libports: migrate to new ports mechanism ... Issue #1082	2014-05-27 11:14:42 +02:00
Norman Feske	ca971bbfd8	Move repositories to 'repos/' subdirectory ... This patch changes the top-level directory layout as a preparatory step for improving the tools for managing 3rd-party source codes. The rationale is described in the issue referenced below. Issue #1082	2014-05-14 16:08:00 +02:00