diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-02-02 08:02:39 +0100 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-02-02 08:02:39 +0100 |
| commit | d9e66c1e1fda350a5714316ffb2a515835fa974a (patch) | |
| tree | 3323557971e9082dbf391c0e1c31f94da2ac1279 /test/monniaux/jpeg-6b/Makefile | |
| parent | db2be07620492d586d3e8993a745b58e39f71d75 (diff) | |
| download | compcert-kvx-d9e66c1e1fda350a5714316ffb2a515835fa974a.tar.gz compcert-kvx-d9e66c1e1fda350a5714316ffb2a515835fa974a.zip | |
fixes in types etc.
Diffstat (limited to 'test/monniaux/jpeg-6b/Makefile')
| -rw-r--r-- | test/monniaux/jpeg-6b/Makefile | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/test/monniaux/jpeg-6b/Makefile b/test/monniaux/jpeg-6b/Makefile index 68c73c30..a7911678 100644 --- a/test/monniaux/jpeg-6b/Makefile +++ b/test/monniaux/jpeg-6b/Makefile @@ -7,8 +7,6 @@ # The name of your C compiler: CC= ../../../ccomp -GCC=k1-mbr-gcc -# GCC=$(CC) EXECUTE=k1-cluster --syscall=libstd_scalls.so -- # You may need to adjust these cc options: @@ -283,3 +281,10 @@ rdbmp.o: rdbmp.c cdjpeg.h jinclude.h jconfig.h jpeglib.h jmorecfg.h jerror.h cde wrbmp.o: wrbmp.c cdjpeg.h jinclude.h jconfig.h jpeglib.h jmorecfg.h jerror.h cderror.h rdrle.o: rdrle.c cdjpeg.h jinclude.h jconfig.h jpeglib.h jmorecfg.h jerror.h cderror.h wrrle.o: wrrle.c cdjpeg.h jinclude.h jconfig.h jpeglib.h jmorecfg.h jerror.h cderror.h + +.PHONY: assembly + +assembly: $(LIBOBJECTS:.o=.s) + +%s : %c + $(CC) -S $< -o $@ |