X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2FMakefile.defs.in;h=b33d5cc85ff3974f5f7c8534c0082cc925ec3a49;hb=a90c31c1b53222bd6d57360c5ba5c2d0fe7d5207;hp=d7a7620d5949bcfd9eb6cac398a823ad8843ec79;hpb=4377e950998c9c63937582952a79975947aa9a45;p=helm.git

diff --git a/helm/software/Makefile.defs.in b/helm/software/Makefile.defs.in
index d7a7620d5..b33d5cc85 100644
--- 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@