From 3b06c52d4f0dc63dcd321debebe64f43a3074073 Mon Sep 17 00:00:00 2001 From: Sebastian Ullrich Date: Fri, 1 Mar 2019 20:24:29 +0100 Subject: [PATCH] test(tests/playground/Makefile): re-add original ocamlopt parameters This reverts commit 8e212ef9d9345fa1a8ba92e7cde466b0a3e07bb5. --- tests/playground/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tests/playground/Makefile b/tests/playground/Makefile index 028e2e93c4..88c87205fb 100644 --- a/tests/playground/Makefile +++ b/tests/playground/Makefile @@ -20,7 +20,7 @@ run_binarytrees.hs.out: binarytrees.hs.out time ./binarytrees.hs.out +RTS -N4 -K128M -H -RTS 21 binarytrees.ml.out: binarytrees.ocaml-2.ml - ocamlopt -O3 unix.cmxa binarytrees.ocaml-2.ml -o binarytrees.ml.out + ocamlopt -noassert -unsafe -fPIC -nodynlink -inline 100 -O3 unix.cmxa binarytrees.ocaml-2.ml -o binarytrees.ml.out run_binarytrees.ml.out: binarytrees.ml.out time ./binarytrees.ml.out 21