Commit f4c286a8 authored by Heiko Becker's avatar Heiko Becker
Browse files

But the Makefile is needed.

parent cd4f5b9f
INCLUDES = $(HOLDIR)/examples/machine-code/hoare-triple ../
OPTIONS = QUIT_ON_FAILURE
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment