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/compression/Makefile | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

(limited to 'test/compression')

diff --git a/test/compression/Makefile b/test/compression/Makefile
index ff7032d5..330c33af 100644
--- a/test/compression/Makefile
+++ b/test/compression/Makefile
@@ -3,7 +3,11 @@ include ../../Makefile.config
 SIMU=timeout --signal=SIGKILL 20s $(EXECUTE)
 
 CC=../../ccomp 
-CFLAGS=$(CCOMPOPTS) -U__GNUC__ -stdlib ../../runtime -dclight -dasm
+ifeq ($(OCAML_LM_PROF),true)
+	override CCOMPOPTS+=-S
+endif
+
+CFLAGS:=$(CCOMPOPTS) -U__GNUC__ -stdlib ../../runtime -dclight -dasm
 LIBS=
 TIME=ocaml unix.cma ../../tools/xtime.ml -mintime 2.0 -minruns 2
 
@@ -13,6 +17,8 @@ COMMON_OBJS=optlist.o bitfile.o
 
 all: $(EXE)
 
+all_s: all
+
 ARCODE_OBJS=$(COMMON_OBJS) arcode.o armain.o
 
 arcode: $(ARCODE_OBJS)
-- 
cgit