Package Details: genode-toolchain-bin 16.05-1

Git Clone URL: https://aur.archlinux.org/genode-toolchain-bin.git (read-only)
Package Base: genode-toolchain-bin
Description: GCC-based toolchain for the genode framework
Upstream URL: http://genode.org
Licenses: GPL2
Provides: genode-toolchain
Submitter: vali
Maintainer: vali
Last Packager: vali
Votes: 4
Popularity: 0.078815
First Submitted: 2014-01-07 16:29
Last Updated: 2016-11-28 15:28

Latest Comments

epitron commented on 2016-11-28 15:22

The sourceforge URL is currently broken.

A better URL to use is this:

source=("http://downloads.sourceforge.net/project/genode/genode-toolchain/${pkgver}/${_filename}")

download.sf.net 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()