diff options
Diffstat (limited to 'PKGBUILD')
-rw-r--r-- | PKGBUILD | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/PKGBUILD b/PKGBUILD new file mode 100644 index 000000000000..d534eba2b8df --- /dev/null +++ b/PKGBUILD @@ -0,0 +1,16 @@ +# Maintainer: Konstantin Oblaukhov <oblaukhov.konstantin@gmail.com> + +pkgname=chibios +pkgver=16.1.6 +pkgrel=2 +pkgdesc="ChibiOS - free embedded RTOS" +arch=('any') +license=('GPL') +url="http://chibios.org" +source=("https://sourceforge.net/projects/chibios/files/ChibiOS_RT%20stable/Version%20${pkgver}/ChibiOS_${pkgver}.7z") +sha256sums=('5418afba1aa21ebf1e7d59f363e1e418c4e3b9275b1eb5b1ce98e7f3e245d690') + +package() { + mkdir -p ${pkgdir}/usr/src/chibios + cp -r ${srcdir}/ChibiOS_${pkgver}/* ${pkgdir}/usr/src/chibios +} |