+# 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
+