diff options
| author | Quentin Carbonneaux <quentin.carbonneaux@yale.edu> | 2016-02-11 10:33:44 -0500 |
|---|---|---|
| committer | Quentin Carbonneaux <quentin.carbonneaux@yale.edu> | 2016-02-11 10:33:44 -0500 |
| commit | 96251837db7c698a76d997f1449f0cd47885f203 (patch) | |
| tree | 3a0019a8c9e6115bc4205c00baa86e7814baaa0f /proto/Makefile | |
| parent | 86dfca58460639f9a969aa312f0adf17e79be1f0 (diff) | |
| download | roux-96251837db7c698a76d997f1449f0cd47885f203.tar.gz | |
leave the prototype to git history
Diffstat (limited to 'proto/Makefile')
| -rw-r--r-- | proto/Makefile | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/proto/Makefile b/proto/Makefile deleted file mode 100644 index f137b4a..0000000 --- a/proto/Makefile +++ /dev/null @@ -1,11 +0,0 @@ -.PHONY: test clean - -bak: elf.ml lo2.ml - ocamlc -g -o bak elf.ml lo2.ml - -test: bak - @./bak test - @cc -O2 -o t.out tmain.c t.o && ./t.out - -clean: - rm -f bak *.out *.o *.cm[io] |