Package Details: genode-toolchain-bin 19.05-1

Git Clone URL: (read-only, click to copy)
Package Base: genode-toolchain-bin
Description: GCC-based toolchain for the genode framework
Upstream URL:
Licenses: GPL2
Provides: genode-toolchain
Submitter: vali
Maintainer: vali
Last Packager: vali
Votes: 4
Popularity: 0.000000
First Submitted: 2014-01-07 16:29
Last Updated: 2019-06-03 11:57

Latest Comments

epitron commented on 2016-11-28 15:22

The sourceforge URL is currently broken.

A better URL to use is this:

source=("${pkgver}/${_filename}") will pick the mirror automatically.

vali commented on 2016-03-12 16:33

Due to the occasional out-of-date flags I receive for this package:
Please note that this package only contains the toolchain and not the actual Genode OS Framework. The latter actually pursues a quarterly release cycle whereas the toolchain is only released on a irregular basis.

medvid commented on 2014-01-27 21:13

Please use ${srcdir} instead of ../.. in package()