diff options
author | Xavier Leroy <xavier.leroy@inria.fr> | 2017-02-15 09:58:44 +0100 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@inria.fr> | 2017-02-15 09:58:44 +0100 |
commit | 4ac453011fb3ee241c6f3023f79c942d99f72eb5 (patch) | |
tree | 00b4ef5e0be846f62e49c9af68a06a01fc9ae065 /test/cminor/Makefile | |
parent | 29653baeb2c7fa6bfe5da031622d8fb8ac1e50c3 (diff) | |
download | compcert-4ac453011fb3ee241c6f3023f79c942d99f72eb5.tar.gz compcert-4ac453011fb3ee241c6f3023f79c942d99f72eb5.zip |
Remove tests involving Cminor concrete syntax. Update Changelog
Follow-up to [29653ba]
Diffstat (limited to 'test/cminor/Makefile')
-rw-r--r-- | test/cminor/Makefile | 107 |
1 files changed, 0 insertions, 107 deletions
diff --git a/test/cminor/Makefile b/test/cminor/Makefile deleted file mode 100644 index a66bcc6d..00000000 --- a/test/cminor/Makefile +++ /dev/null @@ -1,107 +0,0 @@ -include ../../Makefile.config - -CCOMP=../../ccomp -FLAGS=-S -CPP=cpp -P -AS=$(CASM) -CFLAGS=-g -ASFLAGS= - -PROGS=fib integr qsort fft sha1 aes almabench manyargs lists \ - stopcopy marksweep switchtbl conversions - -all_s: $(PROGS:%=%.s) - -all: $(PROGS) - -$(PROGS:%=%.s): $(CCOMP) - -fib: fib.o mainfib.o - $(CC) $(CFLAGS) -o fib fib.o mainfib.o -clean:: - rm -f fib - -integr: integr.o mainintegr.o - $(CC) $(CFLAGS) -o integr integr.o mainintegr.o -clean:: - rm -f integr - -qsort: qsort.o mainqsort.o - $(CC) $(CFLAGS) -o qsort qsort.o mainqsort.o -clean:: - rm -f qsort - -fft: fft.o mainfft.o - $(CC) $(CFLAGS) -o fft fft.o mainfft.o -lm -clean:: - rm -f fft - -sha1: sha1.o mainsha1.o - $(CC) $(CFLAGS) -o sha1 sha1.o mainsha1.o -clean:: - rm -f sha1 sha1.cm - -aes: aes.o mainaes.o - $(CC) $(CFLAGS) -o aes aes.o mainaes.o -clean:: - rm -f aes aes.cm - -almabench: almabench.o mainalmabench.o - $(CC) $(CFLAGS) -o almabench almabench.o mainalmabench.o -lm -clean:: - rm -f almabench almabench.cm - -manyargs: manyargs.o mainmanyargs.o - $(CC) $(CFLAGS) -o manyargs manyargs.o mainmanyargs.o -clean:: - rm -f manyargs - -lists: lists.o mainlists.o - $(CC) $(CFLAGS) -o lists lists.o mainlists.o -L../../runtime -lcompcert -clean:: - rm -f lists - -stopcopy: stopcopy.o maingc.o - $(CC) $(CFLAGS) -o stopcopy stopcopy.o maingc.o $(LIBMATH) -clean:: - rm -f stopcopy - -marksweep: marksweep.o maingc.o marksweepcheck.o - $(CC) $(CFLAGS) -o marksweep marksweep.o maingc.o marksweepcheck.o $(LIBMATH) -clean:: - rm -f marksweep - -switchtbl: switchtbl.o mainswitchtbl.o - $(CC) $(CFLAGS) -o switchtbl switchtbl.o mainswitchtbl.o -clean:: - rm -f switchtbl - -conversions: conversions.o mainconversions.o - $(CC) $(CFLAGS) -o conversions conversions.o mainconversions.o -clean:: - rm -f conversions - -.SUFFIXES: - -.SUFFIXES: .cmp .cm .s .o .c .S - -.cmp.s: - $(CPP) $*.cmp > $*.cm - $(CCOMP) $(FLAGS) $*.cm - -.cm.s: - $(CCOMP) $(FLAGS) $*.cm - -.c.o: - $(CC) $(CFLAGS) -c $< - -.s.o: - $(AS) $(ASFLAGS) -o $*.o $< - -.S.o: - $(AS) $(ASFLAGS) -o $*.o $< - -.SECONDARY: $(PROGS:%=%.s) - -clean:: - rm -f *.s *.o *~ |