From 4f17ea42b77c02f8632906cfc33f29fc62a43123 Mon Sep 17 00:00:00 2001
From: David Monniaux <david.monniaux@univ-grenoble-alpes.fr>
Date: Wed, 20 Mar 2019 17:41:01 +0100
Subject: Makefile for ocamlrun testing

---
 test/monniaux/ocaml/Makefile | 7 +++++++
 1 file changed, 7 insertions(+)
 create mode 100644 test/monniaux/ocaml/Makefile

(limited to 'test/monniaux/ocaml')

diff --git a/test/monniaux/ocaml/Makefile b/test/monniaux/ocaml/Makefile
new file mode 100644
index 00000000..46ce8994
--- /dev/null
+++ b/test/monniaux/ocaml/Makefile
@@ -0,0 +1,7 @@
+test: byterun/ocamlrun
+	k1-cluster --syscall=libstd_scalls.so -- byterun/ocamlrun examples/quicksort
+
+byterun/ocamlrun:
+	(cd byterun ; $(MAKE))
+
+.PHONY: test
-- 
cgit