# Last edited on 2008-02-04 12:55:30 by stolfi

# The invoker should redefine the variables PLATFORM and M3PLATFORM
# as appropriate, either in the environment or in the "make" command

PKG = ortho-v353-1

DEFVARS := PLATFORM=$(PLATFORM) M3PLATFORM=$(M3PLATFORM)

PUBDIR := ${STOLFIHOME}/pkg/$(PKG)/PUB/$(PLATFORM)

LIBDIR := $(PUBDIR)/lib
BINDIR := $(PUBDIR)/bin
MANDIR := $(PUBDIR)/man

M3PROGS = \
  Verif

CPROGS = \
  xverif \
  tt-to-iso \
  tex-to-iso

all: showvars m3progs cprogs

showvars:
	@echo $(DEFVARS)

m3progs:
	for p in $(M3PROGS); do \
          ( cd pkg/$$p && echo '=== '`pwd`' ===' && \
            m3build && ../../m3install $$p ./$(M3PLATFORM) $(PUBDIR) \
          ) \
        done

cprogs:
	for p in $(CPROGS); do \
          ( cd pkg/$$p && echo '======' && pwd && \
            /n/gnu/bin/make $(DEFVARS) -f Makefile all install \
          ) \
        done

shprogs:
	for p in $(SHPROGS); do \
          ( cd pkg/$$p && echo '======' && pwd && \
            /n/gnu/bin/make $(DEFVARS) -f Makefile all install ) \
        done