Makefile

#! -*- Makefile -*-

# --------------------------------------------------------------------
SED      ?= sed
DISTDIR  := jasmin
PREFIX   ?= /usr/local
# we compute the absolute path, otherwise it does not make sense when
# given to the sub-Makefiles
PREFIX   := $(abspath $(PREFIX))
export PREFIX

# --------------------------------------------------------------------
.PHONY: all build check clean install uninstall dist distcheck

all: build

build:
	$(MAKE) -C proofs all
	$(MAKE) -C compiler CIL
	$(MAKE) -C compiler all

check:
	$(MAKE) -C eclib check

clean:
	$(MAKE) -C proofs clean
	$(MAKE) -C compiler clean

install:
	$(MAKE) -C compiler install
	$(MAKE) -C eclib install
	$(MAKE) -C proofs install

uninstall:
	$(MAKE) -C compiler uninstall
	$(MAKE) -C eclib uninstall
	$(MAKE) -C proofs uninstall

dist:
	$(RM) -r $(DISTDIR) $(DISTDIR).tar.gz
	./scripts/distribution $(DISTDIR) MANIFEST
	tar -czf $(DISTDIR).tar.gz --owner=0 --group=0 $(DISTDIR) && $(RM) -r $(DISTDIR)

distcheck: dist
	tar -xof $(DISTDIR).tar.gz
	set -x; \
	     $(MAKE) -C $(DISTDIR) \
	  && $(MAKE) -C $(DISTDIR) dist \
	  && mkdir $(DISTDIR)/dist1 $(DISTDIR)/dist2 \
	  && ( cd $(DISTDIR)/dist1 && tar -xof ../$(DISTDIR).tar.gz ) \
	  && ( cd $(DISTDIR)/dist2 && tar -xof ../../$(DISTDIR).tar.gz ) \
	  && diff -rq $(DISTDIR)/dist1 $(DISTDIR)/dist2 \
	  || exit 1
	$(RM) $(DISTDIR)
	@echo "$(DISTDIR) is ready for distribution" | \
	  $(SED) -e 1h -e 1s/./=/g -e 1p -e 1x -e '$$p' -e '$$x'