SRCDIR ?= $(abspath $(PROOF_ROOT)/../../..)
