From 1c264a258be01623b8936657a32f2251ca2059c1 Mon Sep 17 00:00:00 2001
From: Léo Gourdin <leo.gourdin@univ-grenoble-alpes.fr>
Date: Wed, 5 Jan 2022 15:22:22 +0100
Subject: ccomp profiling

---
 test/raytracer/Makefile | 6 ++++++
 1 file changed, 6 insertions(+)

(limited to 'test/raytracer')

diff --git a/test/raytracer/Makefile b/test/raytracer/Makefile
index 24461bd1..c59bb21e 100644
--- a/test/raytracer/Makefile
+++ b/test/raytracer/Makefile
@@ -1,6 +1,10 @@
 include ../../Makefile.config
 
 CC=../../ccomp 
+ifeq ($(OCAML_LM_PROF), true)
+	override CCOMPOPTS+=-S
+endif
+
 CFLAGS=$(CCOMPOPTS) -stdlib ../../runtime -dparse -dclight -dasm -fstruct-return
 LIBS=$(LIBMATH)
 TIME=ocaml unix.cma ../../tools/xtime.ml -mintime 2.0 -minruns 4
@@ -11,6 +15,8 @@ OBJS=memory.o gmllexer.o gmlparser.o eval.o \
 
 all: render
 
+all_s: all
+
 render: $(OBJS)
 	$(CC) $(CFLAGS) -o render $(OBJS) $(LIBS)
 
-- 
cgit