diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-03-09 12:00:33 +0100 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-03-09 12:00:33 +0100 |
| commit | ea961fe2f20f88bbea547e23104c026f14e4ebc6 (patch) | |
| tree | 99d2556304ddb69f57e98f91e643753ea875d1b3 /test/monniaux/frame_pointer | |
| parent | 1d20bbd6a6ebc7ebe464cba72b9ea6b0e3697f3c (diff) | |
| download | compcert-kvx-ea961fe2f20f88bbea547e23104c026f14e4ebc6.tar.gz compcert-kvx-ea961fe2f20f88bbea547e23104c026f14e4ebc6.zip | |
store the assembly source code as well
Diffstat (limited to 'test/monniaux/frame_pointer')
| -rw-r--r-- | test/monniaux/frame_pointer/Makefile | 13 |
1 files changed, 8 insertions, 5 deletions
diff --git a/test/monniaux/frame_pointer/Makefile b/test/monniaux/frame_pointer/Makefile index 15ca87e0..e10d9bd3 100644 --- a/test/monniaux/frame_pointer/Makefile +++ b/test/monniaux/frame_pointer/Makefile @@ -1,13 +1,16 @@ whole : a.o b.o ../../../ccomp $+ -o $@ -a.o : a.c - k1-mbr-gcc -std=c99 -Wall -c $< +a.s : a.c + k1-mbr-gcc -std=c99 -Wall -S $< -b.o : b.c - ../../../ccomp -Wall -Wno-c11-extensions -c $< +b.s : b.c + ../../../ccomp -Wall -Wno-c11-extensions -S $< + +%.o : %.s + k1-mbr-gcc -c $< clean: - -rm -f a.o b.o whole + -rm -f a.o b.o a.s b.s whole .PHONY: clean |