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/spass/Makefile | 6 ++++++
 1 file changed, 6 insertions(+)

(limited to 'test/spass')

diff --git a/test/spass/Makefile b/test/spass/Makefile
index d512ea95..7b9b4f65 100644
--- a/test/spass/Makefile
+++ b/test/spass/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
 
 SRCS=analyze.c clause.c clock.c closure.c cnf.c component.c                 \
@@ -14,6 +18,8 @@ SRCS=analyze.c clause.c clock.c closure.c cnf.c component.c                 \
 
 all: spass
 
+all_s: all
+
 spass: $(SRCS:.c=.o)
 	$(CC) $(CFLAGS) -o spass $(SRCS:.c=.o) $(LIBMATH)
 
-- 
cgit