valgrind: 3.12.0 -> 3.13.0

This commit is contained in:
Thomas Penteker 2017-08-20 22:40:11 +02:00
parent 6bee1b1fe5
commit 58dbec1f92
4 changed files with 22 additions and 23 deletions

View File

@ -28,7 +28,6 @@ drwxr-xr-x root/root usr/include/valgrind/
-rw-r--r-- root/root usr/include/valgrind/libvex_guest_ppc32.h
-rw-r--r-- root/root usr/include/valgrind/libvex_guest_ppc64.h
-rw-r--r-- root/root usr/include/valgrind/libvex_guest_s390x.h
-rw-r--r-- root/root usr/include/valgrind/libvex_guest_tilegx.h
-rw-r--r-- root/root usr/include/valgrind/libvex_guest_x86.h
-rw-r--r-- root/root usr/include/valgrind/libvex_ir.h
-rw-r--r-- root/root usr/include/valgrind/libvex_s390x_common.h
@ -75,6 +74,8 @@ drwxr-xr-x root/root usr/include/valgrind/
-rw-r--r-- root/root usr/include/valgrind/pub_tool_vkiscnums_asm.h
-rw-r--r-- root/root usr/include/valgrind/pub_tool_wordfm.h
-rw-r--r-- root/root usr/include/valgrind/pub_tool_xarray.h
-rw-r--r-- root/root usr/include/valgrind/pub_tool_xtmemory.h
-rw-r--r-- root/root usr/include/valgrind/pub_tool_xtree.h
-rw-r--r-- root/root usr/include/valgrind/valgrind.h
drwxr-xr-x root/root usr/include/valgrind/vki/
-rw-r--r-- root/root usr/include/valgrind/vki/vki-amd64-linux.h
@ -276,14 +277,15 @@ drwxr-xr-x root/root usr/lib/valgrind/
-rwxr-xr-x root/root usr/lib/valgrind/vgpreload_massif-x86-linux.so
-rwxr-xr-x root/root usr/lib/valgrind/vgpreload_memcheck-amd64-linux.so
-rwxr-xr-x root/root usr/lib/valgrind/vgpreload_memcheck-x86-linux.so
drwxr-xr-x root/root usr/man/
drwxr-xr-x root/root usr/man/man1/
-rw-r--r-- root/root usr/man/man1/callgrind_annotate.1.gz
-rw-r--r-- root/root usr/man/man1/callgrind_control.1.gz
-rw-r--r-- root/root usr/man/man1/cg_annotate.1.gz
-rw-r--r-- root/root usr/man/man1/cg_diff.1.gz
-rw-r--r-- root/root usr/man/man1/cg_merge.1.gz
-rw-r--r-- root/root usr/man/man1/ms_print.1.gz
-rw-r--r-- root/root usr/man/man1/valgrind-listener.1.gz
-rw-r--r-- root/root usr/man/man1/valgrind.1.gz
-rw-r--r-- root/root usr/man/man1/vgdb.1.gz
drwxr-xr-x root/root usr/share/
drwxr-xr-x root/root usr/share/man/
drwxr-xr-x root/root usr/share/man/man1/
-rw-r--r-- root/root usr/share/man/man1/callgrind_annotate.1.gz
-rw-r--r-- root/root usr/share/man/man1/callgrind_control.1.gz
-rw-r--r-- root/root usr/share/man/man1/cg_annotate.1.gz
-rw-r--r-- root/root usr/share/man/man1/cg_diff.1.gz
-rw-r--r-- root/root usr/share/man/man1/cg_merge.1.gz
-rw-r--r-- root/root usr/share/man/man1/ms_print.1.gz
-rw-r--r-- root/root usr/share/man/man1/valgrind-listener.1.gz
-rw-r--r-- root/root usr/share/man/man1/valgrind.1.gz
-rw-r--r-- root/root usr/share/man/man1/vgdb.1.gz

View File

@ -1 +1 @@
6eb03c0c10ea917013a7622e483d61bb valgrind-3.12.0.tar.bz2
817dd08f1e8a66336b9ff206400a5369 valgrind-3.13.0.tar.bz2

View File

@ -1,5 +1,5 @@
untrusted comment: verify with /etc/ports/opt.pub
RWSE3ohX2g5d/S8KhRFshFWU0E7o1/iVs6bEST4+bgIVNSbKUI5Bli4Oq8Q/8bDzb7Sz8aAhsUiZy/QedKJiKGskvxziV1zcdgk=
SHA256 (Pkgfile) = a4e928b11eb7c81e5e4c24e6b3d10e07bd5bbf647dcf2cfc23352b28547c2067
SHA256 (.footprint) = c772e28c676b80cc90b2c79c0c2ba38b036ddbb998740c06acb19742dd300057
SHA256 (valgrind-3.12.0.tar.bz2) = 67ca4395b2527247780f36148b084f5743a68ab0c850cb43e4a5b4b012cf76a1
RWSE3ohX2g5d/aM+7JfVX/ufgdnucjBOtE3hupnCq5u0hYoK3fgeEnGQsTJIfdpkN3kb7EPSs3GJHbIY7+sCU8pz8Ve3L4zY3wQ=
SHA256 (Pkgfile) = 9855e20a27dc919c8c523425b08b2b4b927078cba19a83b8d8a37b61df8b0eed
SHA256 (.footprint) = 74af71cd421ff299c5677568c30ffe82b358590948b58584ec164397f153335e
SHA256 (valgrind-3.13.0.tar.bz2) = d76680ef03f00cd5e970bbdcd4e57fb1f6df7d2e2c071635ef2be74790190c3b

View File

@ -5,22 +5,19 @@
# Nice to have: gdb
name=valgrind
version=3.12.0
version=3.13.0
release=1
source=(http://$name.org/downloads/$name-$version.tar.bz2)
source=(ftp://sourceware.org/pub/valgrind/valgrind-${version}.tar.bz2)
build() {
cd $name-$version
# suppot 4.x kernels, too
sed -i 's/2.6\.\*|3\.\*/&|4.*/1' configure.ac
autoconf
sed -i 's/2.18/2.19/' configure
./configure --prefix=/usr --mandir=/usr/man
./configure --prefix=/usr
make
make DESTDIR=$PKG install
rm -rf $PKG/usr/share/doc
rmdir $PKG/usr/share
}