diff options
Diffstat (limited to '.SRCINFO')
| -rw-r--r-- | .SRCINFO | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO new file mode 100644 index 000000000000..ba87038101f4 --- /dev/null +++ b/.SRCINFO @@ -0,0 +1,19 @@ +pkgbase = pin + pkgdesc = A tool for the dynamic instrumentation of programs + pkgver = 2.14.r71313 + pkgrel = 1 + url = http://www.pintool.org + arch = x86_64 + license = custom + depends = gcc>=4.4.7 + depends = bash + depends = lib32-gcc-libs>=4.4.7 + options = !strip + options = staticlibs + source = http://software.intel.com/sites/landingpage/pintool/downloads/pin-2.14-71313-gcc.4.4.7-linux.tar.gz + source = pin.sh + sha256sums = 1c29f589515772411a699a82fc4a3156cad95863a29741dfa6522865d4d281a1 + sha256sums = 7198073c94e785cbd9002cdd174ab3bb1d28cc4e26626905c12173ad31ae82fc + +pkgname = pin + |