[dev] switch to camlp5

Makefile

@@ -82,7 +82,7 @@ dontrun:
 
 $(Frama_Clang_DIR)/gen_ast: $(PLUGIN_DIR)/gen_ast.ml
 	$(PRINT_OCAMLC) $@
-	$(OCAMLC) $(Frama_Clang_BFLAGS) -o $@ -pp $(CAMLP4O) \
+	$(OCAMLC) $(Frama_Clang_BFLAGS) -o $@ -pp $(CAMLP5O) \
         zarith.cma dynlink.cma transitioning.cmo $^
 
 $(Frama_Clang_DIR)/test_ast: \

Makefile.config.in

@@ -21,7 +21,7 @@
 ##########################################################################
 
 ENABLE_FRAMA_CLANG=@ENABLE_FRAMA_CLANG@
-CAMLP4O=@CAMLP4O@
+CAMLP5O=@CAMLP5O@
 CXX=@CXX@
 CLANG_CXXFLAGS=@CLANG_CXXFLAGS@
 CLANG_CFLAGS=@CLANG_CFLAGS@

configure.ac

@@ -36,14 +36,14 @@ m4_ifndef([FRAMAC_M4_MACROS],
 check_plugin([frama_clang],PLUGIN_RELATIVE_PATH(plugin_file),
              [C++ front-end for Frama-C],yes)
 
-plugin_require_external(frama_clang,camlp4o)
+plugin_require_external(frama_clang,camlp5o)
 
 # check for system C++ compiler, as we can't rely on clang++ itself because
 # of potential incompatibilities with GNU libstdc++ v5.
 # See https://llvm.org/bugs/show_bug.cgi?id=23529 for more details
 AC_PROG_CXX()
 
-configure_tool([CAMLP4O],[camlp4o],[camlp4o not found.],no)
+configure_tool([CAMLP5O],[camlp5o],[camlp5o not found.],no)
 check_plugin_dependencies()
 
 AC_SUBST(CLANG_CXXFLAGS)