Actually, the debian patch named
./debian/patches/0001-debian-ports.patch
introduces the bug on hppa arch.
Attached is a patch on top of "./debian/patches/0001-debian-ports.patch" which
fixes it.
Thanks,
Helge
diff -up ./debian/patches/0001-debian-ports.patch.org ./debian/patches/0001-debian-ports.patch
--- ./debian/patches/0001-debian-ports.patch.org 2014-03-28 12:05:34.824044783 +0100
+++ ./debian/patches/0001-debian-ports.patch 2014-03-28 12:05:49.871556956 +0100
@@ -165,10 +165,10 @@ Author: Nobuhiro Iwamatsu <iwamatsu@debi
+#elif defined(ARCH_CPU_PARISC_FAMILY)
+
+inline void ReadMemoryBarrier() {
-+ __asm__ __volatile__("" : : : "memory")
++ __asm__ __volatile__("" : : : "memory");
+}
+inline void WriteMemoryBarrier() {
-+ __asm__ __volatile__("" : : : "memory")
++ __asm__ __volatile__("" : : : "memory");
}
#define LEVELDB_HAVE_MEMORY_BARRIER
