AUTOMAKE_OPTIONS = no-dependencies foreign

SED = @SED@

GNATDIST = $(exec_prefix)/bin/gnatdist

EXTRA_PROGS = master
PARTITIONS = master part1 part2 part3 part4

CLEANFILES = -r dsa *.o *.ali $(PARTITIONS)
DISTCLEANFILES = master51.cfg $(CLEANFILES)

all-local: ../check-stamp $(EXTRA_PROGS)

../check-stamp:
	IN_MAKE=yes $(SHELL) ../check-config
	echo "It worked on `date`" > ../check-stamp

master: master51.cfg bin/part1 bin/part2 sub/bin/part3 bin/part4
	$(GNATDIST) -I$(srcdir) master51.cfg

master51.cfg: master51.cfg.in
	$(SED) -e "s,XXXXX,`pwd`,g" < $(srcdir)/master51.cfg.in > master51.cfg

