summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authortequa2016-05-24 18:56:27 +0200
committertequa2016-05-24 18:56:27 +0200
commitd2b67ddf166ed0ebe30ccbdf33d4263accfd1373 (patch)
treeb32c2bad0c6c3c39e36cfa7898312b17fd60456e
parent9338748e855a1d9fcc520be1912a10c63b4bff7b (diff)
downloadaur-d2b67ddf166ed0ebe30ccbdf33d4263accfd1373.tar.gz
added examples to pkg
-rw-r--r--.SRCINFO4
-rw-r--r--PKGBUILD3
2 files changed, 4 insertions, 3 deletions
diff --git a/.SRCINFO b/.SRCINFO
index fdf0a6ec2ec1..f9c8e2d17610 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,9 +1,9 @@
# Generated by mksrcinfo v8
-# Sat May 21 19:19:35 UTC 2016
+# Tue May 24 16:56:11 UTC 2016
pkgbase = sat-shell
pkgdesc = sat-shell is an interactive tcl-shell for solving satisfiability problems
pkgver = 1.1
- pkgrel = 2
+ pkgrel = 3
url = https://github.com/TestudoAquatilis/sat-shell
arch = x86_64
arch = i686
diff --git a/PKGBUILD b/PKGBUILD
index 8cdbc7053feb..8b35e004a4be 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -1,6 +1,6 @@
pkgname=sat-shell
pkgver=1.1
-pkgrel=2
+pkgrel=3
pkgdesc="sat-shell is an interactive tcl-shell for solving satisfiability problems"
url="https://github.com/TestudoAquatilis/sat-shell"
arch=('x86_64' 'i686')
@@ -23,6 +23,7 @@ build () {
package() {
cd "${srcdir}/${pkgname}"
install -Dm755 sat-shell "${pkgdir}/usr/bin/sat-shell"
+ install -Dm644 -t "${pkgdir}/usr/share/sat-shell/examples" examples/*
}
# vim:set ts=2 sw=2 et: