diff options
| author | Léo Gourdin <leo.gourdin@univ-grenoble-alpes.fr> | 2022-01-05 15:22:22 +0100 |
|---|---|---|
| committer | Léo Gourdin <leo.gourdin@univ-grenoble-alpes.fr> | 2022-01-05 15:22:22 +0100 |
| commit | 1c264a258be01623b8936657a32f2251ca2059c1 (patch) | |
| tree | a6c707ef97373ca91b0f476fd3b9ab1ee47fb073 /test/spass | |
| parent | 89562c917e61c56a167ba13b86021b286cb7e257 (diff) | |
| download | compcert-kvx-1c264a258be01623b8936657a32f2251ca2059c1.tar.gz compcert-kvx-1c264a258be01623b8936657a32f2251ca2059c1.zip | |
ccomp profiling
Diffstat (limited to 'test/spass')
| -rw-r--r-- | test/spass/Makefile | 6 |
1 files changed, 6 insertions, 0 deletions
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) |