Release 0.5.9.

[helm.git] / helm / software / Makefile.defs.in

diff --git a/helm/software/Makefile.defs.in b/helm/software/Makefile.defs.in
index d7a7620d5949bcfd9eb6cac398a823ad8843ec79..b33d5cc85ff3974f5f7c8534c0082cc925ec3a49 100644 (file)
--- a/helm/software/Makefile.defs.in
+++ b/helm/software/Makefile.defs.in
@@ -5,7 +5,17 @@ OCAMLFIND = @OCAMLFIND@
 endif
 CAMLP5O = @CAMLP5O@
 LABLGLADECC = @LABLGLADECC@
-HAVE_OCAMLOPT = @HAVE_OCAMLOPT@
+# debian specific limitation of architecture on which native compilers are used
+ifeq "$(shell dpkg-architecture -qDEB_HOST_ARCH)" "alpha"
+       HAVE_OCAMLOPT = no
+else 
+ifeq "$(shell dpkg-architecture -qDEB_HOST_ARCH)" "ia64"
+       HAVE_OCAMLOPT = no
+else
+       HAVE_OCAMLOPT = @HAVE_OCAMLOPT@
+endif
+endif
+
 DISTRIBUTED = @DISTRIBUTED@
 ANNOT = @ANNOT@