diff options
Diffstat (limited to 'PKGBUILD')
| -rw-r--r-- | PKGBUILD | 43 |
1 files changed, 43 insertions, 0 deletions
diff --git a/PKGBUILD b/PKGBUILD new file mode 100644 index 000000000000..6de9801c4a60 --- /dev/null +++ b/PKGBUILD @@ -0,0 +1,43 @@ +# Maintainer: Guilhem Saurel <gsaurel@laas.fr> + +pkgorg='stack-of-tasks' +pkgname=('tsid' 'tsid-docs') +pkgver=1.3.1 +pkgrel=1 +pkgdesc="Efficient Task Space Inverse Dynamics (TSID) based on Pinocchio" +arch=('i686' 'x86_64') +url="https://github.com/$pkgorg/$pkgname" +license=('BSD') +depends=('pinocchio' 'eiquadprog') +optdepends=('doxygen') +makedepends=('cmake' 'eigen') +source=($url/releases/download/v$pkgver/$pkgname-$pkgver.tar.gz{,.sig}) +sha256sums=('SKIP' 'SKIP') +validpgpkeys=('9B1A79065D2F2B806C8A5A1C7D2ACDAF4653CF28') + +build() { + mkdir -p "$pkgbase-$pkgver/build" + cd "$pkgbase-$pkgver/build" + + cmake -DCMAKE_BUILD_TYPE=Release -DCMAKE_INSTALL_PREFIX=/usr -DCMAKE_INSTALL_LIBDIR=lib .. + make +} + +check() { + cd "$pkgbase-$pkgver/build" + make test +} + +package_tsid() { + cd "$pkgbase-$pkgver/build" + make DESTDIR="$pkgdir/" install + rm -rf $pkgdir/usr/share/doc + install -Dm644 ../LICENSE "$pkgdir/usr/share/licenses/$pkgname/LICENSE" +} + +package_tsid-docs() { + cd "$pkgbase-$pkgver/build" + make DESTDIR="$pkgdir/" install + rm -rf $pkgdir/usr/{lib,include} + install -Dm644 ../LICENSE "$pkgdir/usr/share/licenses/$pkgname/LICENSE" +} |