diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2021-07-10 21:12:37 +0200 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2021-07-10 21:12:37 +0200 |
| commit | 6797b6b0472e87c1ef5edb84f81a16b73577f754 (patch) | |
| tree | 5ffca6d68a4b1a4b0ca414de91f5015d7982e2a7 | |
| parent | f21f8ed249030032f4b0a99c0fcd7e210ddb2e1b (diff) | |
| download | vericert-6797b6b0472e87c1ef5edb84f81a16b73577f754.tar.gz vericert-6797b6b0472e87c1ef5edb84f81a16b73577f754.zip | |
Fix Makefiles slightly
| -rw-r--r-- | benchmarks/polybench-syn/common.mk | 7 | ||||
| -rw-r--r-- | benchmarks/polybench-syn/data-mining/Makefile | 2 | ||||
| -rw-r--r-- | benchmarks/polybench-syn/linear-algebra/blas/Makefile | 2 | ||||
| -rw-r--r-- | benchmarks/polybench-syn/linear-algebra/kernels/Makefile | 2 | ||||
| -rw-r--r-- | benchmarks/polybench-syn/linear-algebra/solvers/Makefile | 2 | ||||
| -rw-r--r-- | benchmarks/polybench-syn/medley/Makefile | 2 | ||||
| -rw-r--r-- | benchmarks/polybench-syn/stencils/Makefile | 2 | ||||
| m--------- | docs | 0 |
8 files changed, 12 insertions, 7 deletions
diff --git a/benchmarks/polybench-syn/common.mk b/benchmarks/polybench-syn/common.mk index 6508855..7e14602 100644 --- a/benchmarks/polybench-syn/common.mk +++ b/benchmarks/polybench-syn/common.mk @@ -4,6 +4,8 @@ VERICERT_OPTS ?= -DSYNTHESIS IVERILOG ?= iverilog IVERILOG_OPTS ?= +TARGETS ?= + %.v: %.c $(VERICERT) $(VERICERT_OPTS) $< -o $@ @@ -16,11 +18,14 @@ IVERILOG_OPTS ?= %: %.iver %.gcc cp $< $@ +all: $(TARGETS) + clean: rm -f *.iver rm -f *.v rm -f *.gcc + rm -f $(TARGETS) -.PRECIOUS: %.v +.PRECIOUS: %.v %.gcc %.iver .PHONY: all clean .SUFFIXES: diff --git a/benchmarks/polybench-syn/data-mining/Makefile b/benchmarks/polybench-syn/data-mining/Makefile index cbe138d..d4817a0 100644 --- a/benchmarks/polybench-syn/data-mining/Makefile +++ b/benchmarks/polybench-syn/data-mining/Makefile @@ -1,3 +1,3 @@ -all: covariance +TARGETS := covariance include ../common.mk diff --git a/benchmarks/polybench-syn/linear-algebra/blas/Makefile b/benchmarks/polybench-syn/linear-algebra/blas/Makefile index 5c6d300..5cd6a49 100644 --- a/benchmarks/polybench-syn/linear-algebra/blas/Makefile +++ b/benchmarks/polybench-syn/linear-algebra/blas/Makefile @@ -1,3 +1,3 @@ -all: gemm gemver gesummv symm syr2k syrk trmm +TARGETS := gemm gemver gesummv symm syr2k syrk trmm include ../common.mk diff --git a/benchmarks/polybench-syn/linear-algebra/kernels/Makefile b/benchmarks/polybench-syn/linear-algebra/kernels/Makefile index ff59d0f..815b9a0 100644 --- a/benchmarks/polybench-syn/linear-algebra/kernels/Makefile +++ b/benchmarks/polybench-syn/linear-algebra/kernels/Makefile @@ -1,3 +1,3 @@ -all: 2mm 3mm atas bicg doitgen mvt +TARGETS := 2mm 3mm atas bicg doitgen mvt include ../common.mk diff --git a/benchmarks/polybench-syn/linear-algebra/solvers/Makefile b/benchmarks/polybench-syn/linear-algebra/solvers/Makefile index d466d15..b396027 100644 --- a/benchmarks/polybench-syn/linear-algebra/solvers/Makefile +++ b/benchmarks/polybench-syn/linear-algebra/solvers/Makefile @@ -1,3 +1,3 @@ -all: cholesky durbin lu ludcmp trisolv +TARGETS := cholesky durbin lu ludcmp trisolv include ../common.mk diff --git a/benchmarks/polybench-syn/medley/Makefile b/benchmarks/polybench-syn/medley/Makefile index a64c56d..816a0ce 100644 --- a/benchmarks/polybench-syn/medley/Makefile +++ b/benchmarks/polybench-syn/medley/Makefile @@ -1,3 +1,3 @@ -all: floyd-warshall nussinov +TARGETS := floyd-warshall nussinov include ../common.mk diff --git a/benchmarks/polybench-syn/stencils/Makefile b/benchmarks/polybench-syn/stencils/Makefile index cf23dc6..d2e1c9b 100644 --- a/benchmarks/polybench-syn/stencils/Makefile +++ b/benchmarks/polybench-syn/stencils/Makefile @@ -1,4 +1,4 @@ -all: adi fdtd-2d heat-3d jacobi-1d jacobi-2d seidel-2d +TARGETS := adi fdtd-2d heat-3d jacobi-1d jacobi-2d seidel-2d include ../common.mk diff --git a/docs b/docs -Subproject a596c0c469d7c61b5ed8dfaf8805a926024a3a7 +Subproject f85153b7335ebf99ab6bf6e696b5a08fef38b61 |