all:
	gcc -m32 jit.c jit_exec.s jit_exec_inc.s -o jit -O2
	gcc -O3 gcd.c -o gcd
clean:
	rm -f gcd jit verified-jit-code.zip *~
zip:
	rm -f gcd jit verified-jit-code.zip *~
	zip -r verified-jit-code.zip *
