4 pkgdesc="Ethernut real time operating system"
8 url="http://www.ethernut.de"
10 source=(http://downloads.sourceforge.net/project/ethernut/ethernut/4.8.8%20stable/ethernut-4.8.8.tar.bz2)
11 md5sums=('9ecd0efe8b6da0c1406aab5fe025af7e')
14 cd $startdir/src/$pkgname-$pkgver
15 ./configure --prefix=/opt/ethernut
17 make prefix=$startdir/pkg/usr install