Commit 1793fa97 authored by MARCHE Claude's avatar MARCHE Claude
Browse files

portability of parser.ml hacking

parent 75337369
...@@ -159,8 +159,7 @@ $(LIBCMO) $(LIBCMX): INCLUDES += $(LIBINCLUDES) ...@@ -159,8 +159,7 @@ $(LIBCMO) $(LIBCMX): INCLUDES += $(LIBINCLUDES)
$(LIBCMX): OFLAGS += -for-pack Why $(LIBCMX): OFLAGS += -for-pack Why
LIB_PARSER_POSTLUDE = \ LIB_PARSER_POSTLUDE = \
"let logic_file_eof env = inside_env env logic_file_eof\n" \ "let logic_file_eof env = inside_env env logic_file_eof\nlet list0_decl_eof env lenv uc = inside_uc env lenv uc list0_decl_eof\n"
"let list0_decl_eof env lenv uc = inside_uc env lenv uc list0_decl_eof"
LIB_PARSER_INTERFACE = \ LIB_PARSER_INTERFACE = \
-e "s/^val \+logic_file_eof *:/\0 Env.env ->/" \ -e "s/^val \+logic_file_eof *:/\0 Env.env ->/" \
...@@ -169,7 +168,7 @@ LIB_PARSER_INTERFACE = \ ...@@ -169,7 +168,7 @@ LIB_PARSER_INTERFACE = \
src/parser/parser.ml src/parser/parser.mli: src/parser/parser.mly src/parser/parser.ml src/parser/parser.mli: src/parser/parser.mly
$(OCAMLYACC) $< $(OCAMLYACC) $<
echo $(LIB_PARSER_POSTLUDE) >> src/parser/parser.ml printf $(LIB_PARSER_POSTLUDE) >> src/parser/parser.ml
sed -i $(LIB_PARSER_INTERFACE) src/parser/parser.mli sed -i $(LIB_PARSER_INTERFACE) src/parser/parser.mli
# build targets # build targets
......
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