X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2FMakefile;h=af7445047186cbf590325ad5af54d2760ef6bd63;hb=c04c7b4635b43c03f305bb1feadcb89496355111;hp=27febffb70b43d580f955618dd5a3b60f12fecf6;hpb=1243f49dd307b6e04181b52b64576d872a4eb5c7;p=helm.git diff --git a/helm/software/matita/Makefile b/helm/software/matita/Makefile index 27febffb7..af7445047 100644 --- a/helm/software/matita/Makefile +++ b/helm/software/matita/Makefile @@ -34,10 +34,10 @@ CMOS = \ matitaExcPp.cmo \ matitaEngine.cmo \ matitacLib.cmo \ + applyTransformation.cmo \ + matitaGtkMisc.cmo \ matitaScript.cmo \ matitaGeneratedGui.cmo \ - matitaGtkMisc.cmo \ - applyTransformation.cmo \ matitaMathView.cmo \ matitaGui.cmo \ $(NULL) @@ -110,6 +110,8 @@ links: $(INSTALL_PROGRAMS_LINKS_MATITA); do\ ln -sf $$X.opt $$X;\ done + $(H)ln -sf matita.opt matita + $(H)ln -sf matitac.opt matitac matita: matita.ml $(LIB_DEPS) $(CMOS) $(H)echo " OCAMLC $<"