Commit 5173ec5b authored by Guillaume Melquiond's avatar Guillaume Melquiond

Remove configure check for -bin-annot since OCaml 4.02.3 is required.

parent c72f763f
......@@ -98,8 +98,8 @@ INCLUDES = @ZIPINCLUDE@ @MENHIRINCLUDE@
WARNINGS = A-4-9-41-44-45-50-52@5@48
OFLAGS = -w $(WARNINGS) -keep-locs -dtypes -g -I lib/why3 $(INCLUDES)
BFLAGS = -w $(WARNINGS) -keep-locs -dtypes -g -I lib/why3 $(INCLUDES)
OFLAGS = -w $(WARNINGS) -keep-locs -bin-annot -dtypes -g -I lib/why3 $(INCLUDES)
BFLAGS = -w $(WARNINGS) -keep-locs -bin-annot -dtypes -g -I lib/why3 $(INCLUDES)
OLINKFLAGS = -linkall $(EXTCMXA)
BLINKFLAGS = -linkall $(EXTCMA)
......@@ -108,11 +108,6 @@ ifeq (@enable_profiling@,yes)
OFLAGS += -g -p
endif
ifeq (@enable_bin_annot@,yes)
OFLAGS += -bin-annot
BFLAGS += -bin-annot
endif
# see http://caml.inria.fr/mantis/view.php?id=4991
CMIHACK = -intf-suffix .cmi
......
......@@ -312,14 +312,6 @@ else
fi
fi
# bin-annot
case "$OCAMLVERSION" in
0.*|1.*|2.*|3.*)
enable_bin_annot=no;;
*)
enable_bin_annot=yes;;
esac
# checking for rubber
if test "$enable_doc" = yes ; then
AC_CHECK_PROG(RUBBER,rubber,rubber,no)
......@@ -764,7 +756,6 @@ dnl AC_SUBST(OCAMLWEB)
AC_SUBST(MENHIR)
AC_SUBST(enable_profiling)
AC_SUBST(enable_bin_annot)
AC_SUBST(COQCAMLP)
AC_SUBST(COQCAMLPLIB)
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment