summary refs log tree commit diff
diff options
context:
space:
mode:
authorQuentin Carbonneaux <quentin.carbonneaux@yale.edu>2015-04-05 15:09:59 -0400
committerQuentin Carbonneaux <quentin.carbonneaux@yale.edu>2015-09-15 23:01:26 -0400
commitd1cb824564ecb06b99c6c2e4fc073f8ca4bcfd9a (patch)
treeaf85d02e4c7eb8452fd824f885fe3c9ae48d1ff7
parentc89853497a4b1f481475da5e6e72e0c2612445c4 (diff)
downloadroux-d1cb824564ecb06b99c6c2e4fc073f8ca4bcfd9a.tar.gz
add simple Makefile
-rw-r--r--Makefile11
-rw-r--r--tmain.c8
2 files changed, 19 insertions, 0 deletions
diff --git a/Makefile b/Makefile
new file mode 100644
index 0000000..5af98f3
--- /dev/null
+++ b/Makefile
@@ -0,0 +1,11 @@
+.PHONY: all test
+
+all: bak
+
+bak: elf.ml lo2.ml
+	ocamlc -o bak elf.ml lo2.ml
+
+test: bak
+	./bak test
+	cc -o t tmain.c t.o
+	./t
diff --git a/tmain.c b/tmain.c
new file mode 100644
index 0000000..44b6439
--- /dev/null
+++ b/tmain.c
@@ -0,0 +1,8 @@
+#include <stdio.h>
+extern long f(void);
+
+int main()
+{
+	printf("f() = %ld\n", f());
+	return 0;
+}