File tree Expand file tree Collapse file tree 6 files changed +21
-2
lines changed Expand file tree Collapse file tree 6 files changed +21
-2
lines changed Original file line number Diff line number Diff line change 8
8
all :
9
9
set -e; for i in $( DIRS) ; do $( MAKE) CCOMPOPTS=' $(CCOMPOPTS)' -C $$ i all; done
10
10
11
+ all_s :
12
+ set -e; for i in $( DIRS) ; do $( MAKE) CCOMPOPTS=' $(CCOMPOPTS)' -C $$ i all_s; done
13
+
11
14
test :
12
15
set -e; for i in $( DIRS) ; do $( MAKE) SIMU=' $(SIMU)' -C $$ i test ; done
13
16
Original file line number Diff line number Diff line change @@ -73,14 +73,15 @@ layout.h: genlayout.exe
73
73
./genlayout.exe $(GENLAYOUT_OPTIONS ) > layout.h
74
74
75
75
struct% .o : CCOMPFLAGS += -fstruct-passing -dclight
76
+ struct% .s : CCOMPFLAGS += -fstruct-passing -dclight
76
77
77
78
% _compcert.o : % .c
78
79
$(CCOMP ) $(CCOMPFLAGS ) -c -o $@ $* .c
79
80
% _cc.o : % .c
80
81
$(CC ) $(CFLAGS ) -c -o $@ $* .c
81
82
82
83
% _compcert.s : % .c
83
- $(CCOMP ) -S -o $@ $* .c
84
+ $(CCOMP ) $( CCOMPFLAGS ) -S -o $@ $* .c
84
85
% _cc.s : % .c
85
86
$(CC ) $(CFLAGS ) -S -o $@ $* .c
86
87
Original file line number Diff line number Diff line change @@ -26,6 +26,11 @@ LZSS_OBJS=$(COMMON_OBJS) lzvars.o lzhash.o lzencode.o lzdecode.o lzssmain.o
26
26
lzss : $(LZSS_OBJS )
27
27
$(CC ) $(CFLAGS ) -o $@ $(LZSS_OBJS ) $(LIBS )
28
28
29
+ all_s : $(ARCODE_OBJS:.o=.s ) $(LZW_OBJS:.o=.s ) $(LZSS_OBJS:.o=.s )
30
+
31
+ % .s : % .c
32
+ $(CC ) $(CFLAGS ) -S $* .c
33
+
29
34
TESTFILE: =$(firstword $(wildcard /usr/share/dict/words) ./lzss)
30
35
TESTCOMPR =/tmp/testcompr.$$$$
31
36
TESTEXPND =/tmp/testexpnd.$$$$
Original file line number Diff line number Diff line change @@ -38,7 +38,7 @@ fft.vo fftsp.vo fftw.vo fib.vo integr.vo knucleotide.vo: CFLAGS += -short-idents
38
38
39
39
qsort.vo sha1.vo sha3.vo siphash24.vo spectral.vo vmach.vo : CFLAGS += -normalize
40
40
41
- all : $(GENERATED:.v=.vo )
41
+ all all_s : $(GENERATED:.v=.vo )
42
42
43
43
test :
44
44
Original file line number Diff line number Diff line change @@ -14,6 +14,11 @@ all: render
14
14
render : $(OBJS )
15
15
$(CC ) $(CFLAGS ) -o render $(OBJS ) $(LIBS )
16
16
17
+ all_s : $(OBJS:.o=.s )
18
+
19
+ % .s : % .c
20
+ $(CC ) $(CFLAGS ) -S $* .c
21
+
17
22
clean :
18
23
rm -f * .o * .parsed.c * .light.c * .s * .sdump * .ppm render
19
24
Original file line number Diff line number Diff line change @@ -17,6 +17,11 @@ all: spass
17
17
spass : $(SRCS:.c=.o )
18
18
$(CC ) $(CFLAGS ) -o spass $(SRCS:.c=.o ) $(LIBMATH )
19
19
20
+ all_s : $(SRCS:.c=.s )
21
+
22
+ % .s : % .c
23
+ $(CC ) $(CFLAGS ) -S $* .c
24
+
20
25
clean :
21
26
rm -f spass
22
27
rm -f * .o * .s * .parsed.c * .light.c * .sdump
You can’t perform that action at this time.
0 commit comments