blob: 0d247ea2574b507826eca245f9385a611539789d (
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
|
pkgbase = cbmc-git
pkgdesc = Bounded Model Checking for ANSI-C
pkgver = 5.11.r1339.gabbb38942
pkgrel = 1
url = http://www.cprover.org/cbmc/
arch = i686
arch = x86_64
license = custom
makedepends = git
makedepends = patch
makedepends = make
makedepends = perl-libwww
makedepends = perl-lwp-protocol-https
makedepends = cmake
makedepends = doxygen
depends = flex
depends = bison
provides = cbmc-git
conflicts = cbmc
conflicts = cbmc-bin
source = cbmc-git::git+https://github.com/diffblue/cbmc.git#branch=develop
md5sums = SKIP
pkgname = cbmc-git
|