tags 482920 +patch thanksadd the following to debian/rules immediately below the first endif to fix this bug
DEB_MAKE_BUILD_TARGET += OCAML_BACKEND=gcc DEB_MAKE_INSTALL_TARGET += OCAML_BACKEND=gcc DEB_MAKE_CLEAN_TARGET += OCAML_BACKEND=gcc -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]