Makefile - vale-gf25519-verification - SAT solver verification of Vale's field arithmetic

summary refs log tree commit diff stats

path: root/Makefile

blob: a420709915eb04ad21ea6c107948868d53d06a0d (plain) (blame)

CFLAGS := -O3 -std=gnu99 -no-pie

run: prove.py code
	python3 $^

code:

clean:
	$(RM) code

.PHONY: clean run