We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 2f816be commit dca0b88Copy full SHA for dca0b88
Makefile
@@ -29,5 +29,6 @@ docs/semantics/main.pdf: docs/semantics/p4_defs.tex docs/semantics/main.tex docs
29
clean:
30
rm -f docs/semantics/p4_defs.tex hol/p4Script.sml
31
cd hol && Holmake clean -r && cd p4_from_json && Holmake clean && cd validation_tests && Holmake clean
32
+ cd hol/policy_to_table && Holmake clean
33
34
.PHONY: default clean hol
0 commit comments