Dear Eliseo, Attached to this e-mail is a patch that should fix the problem we had with sed.
Would you mind trying it to make sure it works, please? To test it, you'll have to make sure it is Mac's sed which is invoked by make, rather than GNU sed, which may mean removing GNU sed completely to be sure. Many thanks! Sébastien.
commit 1ac74c02c2b2f971e9f26b80965887f17c0890c6 Author: Sébastien Hinderer <[email protected]> Date: Tue Jan 20 11:27:15 2015 +0100 In commons/Makefile, make sed script more portable. diff --git a/commons/Makefile b/commons/Makefile index d3e8125..cd2e9d5 100644 --- a/commons/Makefile +++ b/commons/Makefile @@ -346,7 +346,7 @@ distclean: clean ifeq ($(COMPILE_EMBEDDED_BYTES_MODULE),yes) $(OCAMLDEP_CMD) $(MLI_FILES) $(MYSRC) > .depend else - $(OCAMLDEP_CMD) $(MLI_FILES) $(MYSRC) | sed "s/bytes\.cm\w\+//g" > .depend + $(OCAMLDEP_CMD) $(MLI_FILES) $(MYSRC) | sed "s/bytes\.cm[a-z]\+//g" > .depend endif for i in $(SUBDIRS); do $(OCAMLDEP_CMD) $$i/*.ml $$i/*.mli >> .depend; done
_______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
