all:
	$(MAKE) -C .. install-fstarlib
	$(MAKE) -C .. install-fstar-tactics

clean:
	$(MAKE) -C .. clean
