# Last edited on 2023-02-22 16:58:25 by stolfi

SCRIPT := ../expr_to_pcode.sh

all: check

IN_NAME := in/bitorus
IN_EXPR := ${IN_NAME}.expr
IN_CODE := ${IN_NAME}.pcode

OUT_CODE := out/bitorus.pcode

check: ${SCRIPT} ${IN_EXPR} ${IN_CODE} Makefile
	${SCRIPT} < ${IN_EXPR} > ${OUT_CODE}
	@echo "=== differences {expected} {obtained}:" 1>&2
	prdiff -Bb ${IN_CODE} ${OUT_CODE} 1>&2
	@echo "===" 1>&2