Package Details: genode-toolchain-bin 16.05-1

Git Clone URL: (read-only)
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.171844
First Submitted: 2014-01-07 16:29
Last Updated: 2016-06-28 11:23

Latest Comments

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()