diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-06-06 17:19:05 +0200 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-06-06 17:19:05 +0200 |
| commit | eab489f668f41cbf883eacf829fa3010790ff50b (patch) | |
| tree | a7f04a591dc03aee8b5953b705941ddd768bfa45 /test/monniaux/jpeg-6b | |
| parent | d7db47b79be13bf5ea5f8f6ddd7e2a014c451df3 (diff) | |
| download | compcert-kvx-eab489f668f41cbf883eacf829fa3010790ff50b.tar.gz compcert-kvx-eab489f668f41cbf883eacf829fa3010790ff50b.zip | |
compiles and links
Diffstat (limited to 'test/monniaux/jpeg-6b')
| -rw-r--r-- | test/monniaux/jpeg-6b/Makefile | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/test/monniaux/jpeg-6b/Makefile b/test/monniaux/jpeg-6b/Makefile index 5ec7a26e..38704190 100644 --- a/test/monniaux/jpeg-6b/Makefile +++ b/test/monniaux/jpeg-6b/Makefile @@ -1,4 +1,4 @@ -all: cjpeg.gcc.k1c djpeg.gcc.k1c +all: cjpeg.gcc.k1c.out djpeg.gcc.k1c.out LIBSOURCES= jcapimin.c jcapistd.c jccoefct.c jccolor.c jcdctmgr.c jchuff.c \ jcinit.c jcmainct.c jcmarker.c jcmaster.c jcomapi.c jcparam.c \ @@ -18,3 +18,11 @@ cjpeg.gcc.k1c: $(LIB_K1C_GCC_OFILES) cjpeg.gcc.k1c.o $(K1C_CC) $(K1C_CFLAGS) -o $@ $+ ../clock.gcc.k1c.o djpeg.gcc.k1c: $(LIB_K1C_GCC_OFILES) djpeg.gcc.k1c.o $(K1C_CC) $(K1C_CFLAGS) -o $@ $+ ../clock.gcc.k1c.o + +djpeg.%.out: djpeg.% + $(EXECUTE_CYCLES) $< -dct int -ppm -outfile $@.ppm testorig.jpg 2> $@ + cmp $@.ppm testout.ppm 2>> $@ + +cjpeg.%.out: cjpeg.% + $(EXECUTE_CYCLES) $< -dct int -outfile $@.jpg testimg.ppm 2> $@ + cmp $@.jpg testimg.jpg 2>> $@ |