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