switch LICENSE

2 files changed, 3 insertions, 2 deletions

diff --git a/.SRCINFO b/.SRCINFO
index 231cffbe02ca..8a43b40cbffd 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -4,7 +4,7 @@ pkgbase = clingo
 	pkgrel = 1
 	url = https://potassco.org/
 	arch = x86_64
-	license = GPL3
+	license = MIT
 	makedepends = clang
 	makedepends = cmake
 	makedepends = git
diff --git a/PKGBUILD b/PKGBUILD
index e44b907c28fe..42bbc2a2db1c 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -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: