aboutsummaryrefslogtreecommitdiffstats
path: root/test/monniaux/ocaml
diff options
context:
space:
mode:
authorDavid Monniaux <david.monniaux@univ-grenoble-alpes.fr>2019-03-20 17:41:01 +0100
committerDavid Monniaux <david.monniaux@univ-grenoble-alpes.fr>2019-03-20 17:41:01 +0100
commit4f17ea42b77c02f8632906cfc33f29fc62a43123 (patch)
tree3a1e35bd21e6823fca85689bcfce4d0bc2838749 /test/monniaux/ocaml
parent4c9c95b6a0ac8aa31abb1f7ab48c3f645c059bd6 (diff)
downloadcompcert-kvx-4f17ea42b77c02f8632906cfc33f29fc62a43123.tar.gz
compcert-kvx-4f17ea42b77c02f8632906cfc33f29fc62a43123.zip
Makefile for ocamlrun testing
Diffstat (limited to 'test/monniaux/ocaml')
-rw-r--r--test/monniaux/ocaml/Makefile7
1 files changed, 7 insertions, 0 deletions
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