diff options
Diffstat (limited to 'example_int/Makefile')
| -rw-r--r-- | example_int/Makefile | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/example_int/Makefile b/example_int/Makefile new file mode 100644 index 0000000..d3df8bb --- /dev/null +++ b/example_int/Makefile @@ -0,0 +1,6 @@ +all: + cc -O -c example_int.c + clm -l example_int.o verify -o verify + +run: + ./verify |