wasm_interpreter:
	ocamlbuild -cflags '-w +a-4-8-11-27-33-39-42-44-45 -warn-error +a' -I Reference_Interpreter/interpreter/util -I Reference_Interpreter/interpreter/syntax -I Reference_Interpreter/interpreter/binary -I Reference_Interpreter/interpreter/text -I Reference_Interpreter/interpreter/valid -I Reference_Interpreter/interpreter/exec -I Reference_Interpreter/interpreter/script -I Reference_Interpreter/interpreter/host -I Reference_Interpreter/interpreter/main -libs bigarray -libs nums -I Verified_Interpreter -I Verified_Interpreter/interface -quiet main.native
	mv main.native wasm_interpreter

.PHONY : extracted clean clean_extracted

extracted:
	isabelle process -T ../Model/Wasm_Printing
	bash extract.sh

clean:
	rm -rf _build
	rm -f wasm_interpreter

clean_extracted:
	rm -f Verified_Interpreter/interpreter_Aux.ml
	rm -f Verified_Interpreter/checker.ml
	rm -f Verified_Interpreter/interpreter.ml
