diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-02-01 18:28:25 +0100 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-02-01 19:11:44 +0100 |
| commit | 9d54081bf1f8dafe9ae71f3e3b0dd10ef7b931c2 (patch) | |
| tree | 5091224db33b789c2a1fa0764a04305094415695 /test/monniaux/jpeg-6b/Makefile | |
| parent | 8844e567fdc7f68c378f727a63278d94c2dd51bf (diff) | |
| download | compcert-kvx-9d54081bf1f8dafe9ae71f3e3b0dd10ef7b931c2.tar.gz compcert-kvx-9d54081bf1f8dafe9ae71f3e3b0dd10ef7b931c2.zip | |
fix various divisions, tail calls etc.
Diffstat (limited to 'test/monniaux/jpeg-6b/Makefile')
| -rw-r--r-- | test/monniaux/jpeg-6b/Makefile | 35 |
1 files changed, 35 insertions, 0 deletions
diff --git a/test/monniaux/jpeg-6b/Makefile b/test/monniaux/jpeg-6b/Makefile index bd0a737b..627161f0 100644 --- a/test/monniaux/jpeg-6b/Makefile +++ b/test/monniaux/jpeg-6b/Makefile @@ -7,6 +7,8 @@ # The name of your C compiler: # CC= ../../../ccomp +# GCC=k1-mbr-gcc +GCC=$(CC) # You may need to adjust these cc options: CFLAGS= -O3 -Wall @@ -109,6 +111,39 @@ all: libjpeg.a cjpeg djpeg jpegtran rdjpgcom wrjpgcom # $(RM) T$*.c $*.o # $(MV) T$*.o $*.o +%.i : %.c + $(CC) $(CFLAGS) -E $< -o $@ + +wrjpgcom.o : wrjpgcom.c + $(GCC) $(CFLAGS) -c $< -o $@ + +rdjpgcom.o : rdjpgcom.c + $(GCC) $(CFLAGS) -c $< -o $@ + +rdswitch.o : rdswitch.c + $(GCC) $(CFLAGS) -c $< -o $@ + +rdgif.o : rdgif.c + $(GCC) $(CFLAGS) -c $< -o $@ + +jmemmgr.o : jmemmgr.c + $(GCC) $(CFLAGS) -c $< -o $@ + +jerror.o : jerror.c + $(GCC) $(CFLAGS) -c $< -o $@ + +example.o : example.c + $(GCC) $(CFLAGS) -c $< -o $@ + +cjpeg.o : cjpeg.c + $(GCC) $(CFLAGS) -c $< -o $@ + +cdjpeg.o : cdjpeg.c + $(GCC) $(CFLAGS) -c $< -o $@ + +djpeg.o : djpeg.c + $(GCC) $(CFLAGS) -c $< -o $@ + ansi2knr: ansi2knr.c $(CC) $(CFLAGS) $(ANSI2KNRFLAGS) -o ansi2knr ansi2knr.c |