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/compression | |
| parent | 89562c917e61c56a167ba13b86021b286cb7e257 (diff) | |
| download | compcert-kvx-1c264a258be01623b8936657a32f2251ca2059c1.tar.gz compcert-kvx-1c264a258be01623b8936657a32f2251ca2059c1.zip | |
ccomp profiling
Diffstat (limited to 'test/compression')
| -rw-r--r-- | test/compression/Makefile | 8 |
1 files changed, 7 insertions, 1 deletions
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) |