diff options
author | Andrew Sun | 2019-09-01 15:55:46 -0400 |
---|---|---|
committer | Andrew Sun | 2019-09-01 15:55:46 -0400 |
commit | 96f1f477889a3f211a72e2821775d6b043946d06 (patch) | |
tree | 61e7e824caad79c0b29c8ac8afbe21d897aa395a /PKGBUILD | |
parent | 5712f75d41e7bcb52f6fd62ce3bcc8a00162fe89 (diff) | |
download | aur-96f1f477889a3f211a72e2821775d6b043946d06.tar.gz |
switch LICENSE
Diffstat (limited to 'PKGBUILD')
-rw-r--r-- | PKGBUILD | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -8,7 +8,7 @@ pkgrel=1 pkgdesc='Grounding tools for (disjunctive) logic programs' arch=('x86_64') url='https://potassco.org/' -license=('GPL3') +license=('MIT') depends=('lua' 'python') makedepends=('clang' 'cmake' 'git' 'ninja' 're2c') conflicts=('clasp') @@ -37,6 +37,7 @@ build() { package() { DESTDIR="${pkgdir}" ninja -C build install + install -Dm644 "${srcdir}/${pkgname}/LICENSE.md" "${pkgdir}/usr/share/licenses/${pkgname}/LICENSE.md" } # vim: ts=2 sw=2 et: |