[Pkg-openmpi-maintainers] Bug#517543: openmpi_1.3-2 fails to build on alpha

[Arthur Loiret]

Package: openmpi
Version: 1.3-2
Severity: serious
User: debian-alpha at lists.debian.org
Tags: patch

Hi,

There is an issue with using TIMER_CYCLE_COUNTER as TIMER on alpha
(it uses TSC), so alpha should use TIMER_GETTIMEOFDAY. Here is a quick
patch:

--- a/ompi/contrib/vt/vt/configure
+++ b/ompi/contrib/vt/vt/configure
@@ -9738,6 +9738,15 @@
 				{ $as_echo "$as_me:$LINENO: selected timer: TIMER_GETTIMEOFDAY" >&5
 $as_echo "$as_me: selected timer: TIMER_GETTIMEOFDAY" >&6;}
 				;;
+			alpha*)
+
+cat >>confdefs.h <<\_ACEOF
+#define TIMER TIMER_GETTIMEOFDAY
+_ACEOF
+
+				{ $as_echo "$as_me:$LINENO: selected timer: TIMER_GETTIMEOFDAY" >&5
+$as_echo "$as_me: selected timer: TIMER_GETTIMEOFDAY" >&6;}
+				;;
 			*)
 
 cat >>confdefs.h <<\_ACEOF