blob: f317a4d5955282ff32b19af73bc4807bcfee7288 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
|
pkgname=sat-shell
pkgver=1.1
pkgrel=4
pkgdesc="sat-shell is an interactive tcl-shell for solving satisfiability problems"
url="https://github.com/TestudoAquatilis/sat-shell"
arch=('x86_64' 'i686')
license=('GPLv3')
depends=('tclln' 'glib2' 'zlib' 'minisat')
optdepends=()
makedepends=('git' 'gcc' 'make' 'flex' 'bison' 'sed')
conflicts=()
replaces=()
backup=()
#install='foo.install'
source=("git+https://github.com/TestudoAquatilis/sat-shell.git")
md5sums=('SKIP')
build () {
cd "${pkgname}"
make
}
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:
|