summary refs log tree commit diff
diff options
context:
space:
mode:
-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;
+}