diff options
| author | Quentin Carbonneaux <quentin.carbonneaux@yale.edu> | 2015-07-10 03:16:11 -0400 |
|---|---|---|
| committer | Quentin Carbonneaux <quentin.carbonneaux@yale.edu> | 2015-09-15 23:01:27 -0400 |
| commit | 037c716b6514cc717b7208457fb72085e4c278ab (patch) | |
| tree | 59ccc8ea645418074c114fa47b4f9bdb9e17b861 /Makefile | |
| parent | c7ab830c2205c5a51c88d9d9eddff2dc3bacc22d (diff) | |
| download | roux-037c716b6514cc717b7208457fb72085e4c278ab.tar.gz | |
move ml prototype in a subdir
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/Makefile b/Makefile deleted file mode 100644 index c6ebd16..0000000 --- a/Makefile +++ /dev/null @@ -1,13 +0,0 @@ -.PHONY: all test clean - -all: bak - -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] |