diff options
author | PythonShell | 2015-06-13 11:30:28 +0000 |
---|---|---|
committer | PythonShell | 2015-06-13 11:30:28 +0000 |
commit | 86e0c767ef148f4e8eea81ea5c8a981639a3a419 (patch) | |
tree | 088223740bd538f9a99ef7a0cd0337be30765c5c | |
download | aur-86e0c767ef148f4e8eea81ea5c8a981639a3a419.tar.gz |
Initial commit
-rw-r--r-- | .SRCINFO | 22 | ||||
-rw-r--r-- | PKGBUILD | 34 |
2 files changed, 56 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO new file mode 100644 index 000000000000..86bbdf68c9ea --- /dev/null +++ b/.SRCINFO @@ -0,0 +1,22 @@ +pkgbase = cbmc + pkgdesc = Bounded Model Checking for ANSI-C + pkgver = 5.1 + pkgrel = 2 + url = http://www.cprover.org/cbmc/ + arch = i686 + arch = x86_64 + license = custom + makedepends = subversion + depends = flex + depends = bison + depends = make + depends = patch + depends = perl-libwww + provides = cbmc + conflicts = cbmc + conflicts = cbmc-bin + source = cbmc::svn+http://www.cprover.org/svn/cbmc/releases/cbmc-5.1 + sha1sums = SKIP + +pkgname = cbmc + diff --git a/PKGBUILD b/PKGBUILD new file mode 100644 index 000000000000..5d44d4e94608 --- /dev/null +++ b/PKGBUILD @@ -0,0 +1,34 @@ +# Maintainer: Python Shell <pythonshell@yeah.net> + +pkgname=cbmc +pkgver=5.1 +pkgrel=2 +pkgdesc="Bounded Model Checking for ANSI-C" +arch=('i686' 'x86_64') +url="http://www.cprover.org/cbmc/" +license=('custom') +makedepends=('subversion') +depends=('flex' 'bison' 'make' 'patch' 'perl-libwww') +source=("${pkgname}::svn+http://www.cprover.org/svn/cbmc/releases/cbmc-5.1") +sha1sums=('SKIP') + +provides=('cbmc') +conflicts=('cbmc' 'cbmc-bin') + +build() { + cd "${srcdir}/${pkgname}/src/" + make minisat2-download + make +} + +package() { + install -D "${srcdir}/${pkgname}/src/cbmc/cbmc"\ + "${pkgdir}/usr/bin/cbmc" + install -D "${srcdir}/${pkgname}/src/goto-cc/goto-cc"\ + "${pkgdir}/usr/bin/goto-cc" + install -D "${srcdir}/${pkgname}/src/goto-instrument/goto-instrument"\ + "${pkgdir}/usr/bin/goto-instrument" + install -D -m644\ + "${srcdir}/${pkgname}/LICENSE"\ + "${pkgdir}/usr/share/licenses/cbmc/LICENSE" +} |