From b5fdd3c31b9595c0c1c1b9954bcf5a914b2a1fbb Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Tue, 26 Sep 2006 11:35:12 +0000 Subject: [PATCH] linkonly now also links matitac --- helm/software/matita/Makefile | 2 ++ 1 file changed, 2 insertions(+) diff --git a/helm/software/matita/Makefile b/helm/software/matita/Makefile index 5edaeee64..c51e7b7b6 100644 --- a/helm/software/matita/Makefile +++ b/helm/software/matita/Makefile @@ -119,6 +119,8 @@ links: linkonly: $(H)echo " OCAMLC matita.ml" $(H)$(OCAMLC) $(PKGS) -linkpkg -o matita $(CMOS) matita.ml + $(H)echo " OCAMLC matitac.ml" + $(H)$(OCAMLC) $(CPKGS) -linkpkg -o matitac $(CCMOS) $(MAINCMOS) matitac.ml .PHONY: linkonly matita: matita.ml $(LIB_DEPS) $(CMOS) $(H)echo " OCAMLC $<" -- 2.39.2