https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65894
--- Comment #25 from Jürgen Reuter <juergen.reuter at desy dot de> --- Just do the configuration without the --disable-ocaml flag (the default is that OCaml is enabled). The configure should show then something like that (Ocamlweb is not needed): configure: -------------------------------------------------------------- configure: --- Objective Caml checks --- configure: checking for ocaml... /usr/local/bin/ocaml checking for ocamlc... /usr/local/bin/ocamlc OCaml version is 4.02.1 OCaml library path is /usr/local/lib/ocaml checking for ocamlopt... /usr/local/bin/ocamlopt checking for ocamlc.opt... /usr/local/bin/ocamlc.opt checking for ocamlopt.opt... /usr/local/bin/ocamlopt.opt checking for ocamldep... /usr/local/bin/ocamldep checking for ocamlmktop... /usr/local/bin/ocamlmktop checking for ocamlmklib... /usr/local/bin/ocamlmklib checking for ocamldoc... /usr/local/bin/ocamldoc checking for ocamlbuild... /usr/local/bin/ocamlbuild checking for OCaml version 312000... ok checking for ocamllex... /usr/local/bin/ocamllex checking for ocamllex.opt... /usr/local/bin/ocamllex.opt checking for ocamlyacc... /usr/local/bin/ocamlyacc checking for ocamlcp... /usr/local/bin/ocamlcp checking for ocamlweb... /usr/local/bin/ocamlweb This is ocamlweb version 1.38, compiled on Sun Nov 9 16:08:42 CET 2014 Copyright (c) 1999-2000 Jean-Christophe Filli?tre and Claude March? This is free software with ABSOLUTELY NO WARRANTY (use option -warranty) This is ocamlweb version 1.38, compiled on Sun Nov 9 16:08:42 CET 2014 Copyright (c) 1999-2000 Jean-Christophe Filli?tre and Claude March? This is free software with ABSOLUTELY NO WARRANTY (use option -warranty) OCamlweb version is : ok checking for OCaml/GTK+ toolkit directory... not found checking for ocamldot... no checking for ocamldefun... no
