
include ../config

BINARIES=coqc$(EXE) coqtop$(EXE) coq-tex$(EXE) coqdep$(EXE) gallina$(EXE) do_Makefile$(EXE) \
	 coq.out coqopt.out coq_searchisos.out coq_searchisos_opt.out \
         coq-contrib.out coq-pcoq.out coqmktop$(EXE) coqmodules$(EXE) coq2html$(EXE) \
	 coq2latex$(EXE)

install-binaries:
	(cd $(ARCH); for file in $(BINARIES); do \
		if test -f $$file ; then $(INSTALL) -d $$file $(BINDIR); \
		else : ; fi ; done)
	if test -d $(COQINSTALLPREFIX)/$(COQLIB); then : ;\
	  else $(MKDIR) $(COQINSTALLPREFIX)/$(COQLIB); fi
	$(INSTALL) ../src/launch/coq.motd.tpl $(COQLIB)/coq.motd
