From: Ferruccio Guidi Date: Wed, 17 May 2017 13:45:29 +0000 (+0000) Subject: component utf8_macros fully renamed X-Git-Tag: make_still_working~445 X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=commitdiff_plain;h=9f2866e7712df7b29af3b9e9fcd161f0e3ecca09 component utf8_macros fully renamed --- diff --git a/matita/components/METAS/meta.helm-syntax_extensions.src b/matita/components/METAS/meta.helm-syntax_extensions.src index f9e210f6e..166bd498d 100644 --- a/matita/components/METAS/meta.helm-syntax_extensions.src +++ b/matita/components/METAS/meta.helm-syntax_extensions.src @@ -1,7 +1,7 @@ requires="str" version="0.0.1" -archive(byte)="utf8_macros.cma" -archive(native)="utf8_macros.cmxa" +archive(byte)="syntax_extensions.cma" +archive(native)="syntax_extensions.cmxa" requires(syntax,preprocessor)="camlp5" archive(syntax,preprocessor)="pa_extend.cmo pa_unicode_macro.cma profiling_macros.cma" linkopts="" diff --git a/matita/components/syntax_extensions/Makefile b/matita/components/syntax_extensions/Makefile index af9ddda23..c2710d414 100644 --- a/matita/components/syntax_extensions/Makefile +++ b/matita/components/syntax_extensions/Makefile @@ -8,7 +8,7 @@ IMPLEMENTATION_FILES = utf8MacroTable.ml $(INTERFACE_FILES:%.mli=%.ml) EXTRA_OBJECTS_TO_INSTALL = EXTRA_OBJECTS_TO_CLEAN = -all: utf8_macros.cma pa_unicode_macro.cma profiling_macros.cma +all: syntax_extensions.cma pa_unicode_macro.cma profiling_macros.cma make_table: make_table.ml @echo " OCAMLC $<"