From 9f2866e7712df7b29af3b9e9fcd161f0e3ecca09 Mon Sep 17 00:00:00 2001 From: Ferruccio Guidi Date: Wed, 17 May 2017 13:45:29 +0000 Subject: [PATCH] component utf8_macros fully renamed --- matita/components/METAS/meta.helm-syntax_extensions.src | 4 ++-- matita/components/syntax_extensions/Makefile | 2 +- 2 files changed, 3 insertions(+), 3 deletions(-) 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 $<" -- 2.39.2