Commit d0dafcfe authored by MARCHE Claude's avatar MARCHE Claude

is perl more portable ?

parent 3b9f053c
......@@ -171,9 +171,9 @@ src/parser/parser.ml src/parser/parser.mli: src/parser/parser.mly
$(OCAMLYACC) $<
printf $(LIB_PARSER_POSTLUDE) >> src/parser/parser.ml
# not portable: sed -i $(LIB_PARSER_INTERFACE) src/parser/parser.mli
mv src/parser/parser.mli src/parser/parser.mli.bak
sed $(LIB_PARSER_INTERFACE) src/parser/parser.mli.bak > src/parser/parser.mli
perl -pi -e "s/val logic_file_eof :/val logic_file_eof : Env.env ->/" src/parser/parser.mli
perl -pi -e "s/val list0_decl_eof :/val list0_decl_eof : Env.env -> \
Theory.theory Theory.Mnm.t -> Theory.theory_uc ->/" src/parser/parser.mli
......
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