matitadep.cmo \
matitaclean.cmo \
matitamake.cmo \
+ gragrep.cmo \
$(NULL)
-PROGRAMS_BYTE = matita matitac cicbrowser matitadep matitaclean matitamake dump_moo
+PROGRAMS_BYTE = \
+ matita matitac cicbrowser matitadep matitaclean matitamake
PROGRAMS = $(PROGRAMS_BYTE) matitatop
PROGRAMS_OPT = $(patsubst %,%.opt,$(PROGRAMS_BYTE))
+NOINST_PROGRAMS = dump_moo gragrep
+NOINST_PROGRAMS_OPT = $(patsubst %,%.opt,$(EXTRA_PROGRAMS))
.PHONY: all
-all: $(PROGRAMS)
+all: $(PROGRAMS) $(NOINST_PROGRAMS)
# all: matita.conf.xml $(PROGRAMS) coq.moo
# matita.conf.xml: matita.conf.xml.sample
LIBX_DEPS := $(shell $(OCAMLFIND) query -recursive -predicates "native" -format "%d/%a" $(MATITA_REQUIRES))
CLIB_DEPS := $(shell $(OCAMLFIND) query -recursive -predicates "byte" -format "%d/%a" $(MATITA_CREQUIRES))
CLIBX_DEPS := $(shell $(OCAMLFIND) query -recursive -predicates "native" -format "%d/%a" $(MATITA_CREQUIRES))
-opt: $(PROGRAMS_OPT)
+opt: $(PROGRAMS_OPT) $(NOINST_PROGRAMS_OPT)
upx: $(PROGRAMS_UPX)
.PHONY: opt upx
matitamake.opt: matitac.opt
@test -f $@ || ln -s $< $@
+gragrep: matitac
+ @test -f $@ || ln -s $< $@
+gragrep.opt: matitac.opt
+ @test -f $@ || ln -s $< $@
+
cicbrowser: matita
@test -f $@ || ln -s $< $@
cicbrowser.opt: matita.opt
.PHONY: clean
clean:
rm -rf *.cma *.cmo *.cmi *.cmx *.cmxa *.a *.o \
- $(PROGRAMS) \
- $(PROGRAMS_OPT) \
+ $(PROGRAMS) $(PROGRAMS_OPT) \
+ $(NOINST_PROGRAMS) $(NOINST_PROGRAMS_OPT) \
$(PROGRAMS_STATIC) \
$(PROGRAMS_UPX) \
$(NULL)
cleantests: $(foreach d,$(TEST_DIRS),$(d)-cleantests)
cleantests.opt: $(foreach d,$(TEST_DIRS),$(d)-cleantests-opt)
-%-test: matitac matitadep matitaclean coq.moo
+%-test: matitac matitadep matitaclean
-cd $* && make -k clean all
-%-test-opt: matitac.opt matitadep.opt matitaclean.opt coq.moo.opt
+%-test-opt: matitac.opt matitadep.opt matitaclean.opt
-cd $* && make -k clean.opt opt
%-cleantests: matitaclean
-cd $* && make clean
endif
-DEST = @RT_BASE_DIR@
+DESTDIR = $(RT_BASE_DIR)
INSTALL_STUFF = \
icons/ \
matita.gtkrc \
matita.ma.templ \
core_notation.moo \
matita.conf.xml \
+ matita.conf.xml.user \
closed.xml \
gtkmathview.matita.conf.xml \
template_makefile.in \
- library/ \
- $(PROGRAMS_BYTE) \
+ AUTHORS \
+ LICENSE \
$(NULL)
ifeq ($(HAVE_OCAMLOPT),yes)
INSTALL_STUFF += $(PROGRAMS_OPT)
+else
+INSTALL_STUFF += $(PROGRAMS_BYTE)
endif
install:
- install -d $(DEST)
- cp -a .matita/
- cp -a $(INSTALL_STUFF) $(DEST)
+ # install main dir and executables
+ install -d $(DESTDIR)
+ cp -a $(INSTALL_STUFF) $(DESTDIR)
+ # install the library and corresponding scripts
+ if [ -d $(DESTDIR)/library ]; then rm -rf $(DESTDIR)/library; fi
+ cp -a .matita/xml/matita/ $(DESTDIR)/library/
+ if [ -d $(DESTDIR)/ma ]; then rm -rf $(DESTDIR)/ma; fi
+ install -d $(DESTDIR)/ma
+ifeq ($(HAVE_OCAMLOPT),yes)
+ for p in $(PROGRAMS_BYTE); do ln -s $$p.opt $(DESTDIR)/$$p; done
+endif
+ cp -a library/ $(DESTDIR)/ma/stdlib/
+ cp -a contribs/ $(DESTDIR)/ma/contribs/
uninstall:
+ rm -rf $(DESTDIR)
STATIC_LINK = dist/static_link/static_link
# for matita