From 656582265705a3ecb2030fd25b0949ce1b10ef71 Mon Sep 17 00:00:00 2001 From: Clifford Wolf Date: Sat, 23 Dec 2017 00:18:30 +0100 Subject: [PATCH] Add "make run" to all PIP fuzzers Signed-off-by: Clifford Wolf --- fuzzers/050-intpips/Makefile | 5 ++++- fuzzers/051-imuxlout/Makefile | 5 ++++- fuzzers/051-imuxlout/README.md | 2 +- fuzzers/052-clkin/Makefile | 5 ++++- fuzzers/052-clkin/README.md | 2 +- fuzzers/053-ctrlin/Makefile | 5 ++++- fuzzers/053-ctrlin/README.md | 2 +- fuzzers/054-gfan/Makefile | 5 ++++- fuzzers/054-gfan/README.md | 2 +- fuzzers/055-gnd/Makefile | 5 ++++- fuzzers/056-rempips/Makefile | 5 ++++- fuzzers/056-rempips/README.md | 2 +- fuzzers/057-bipips/Makefile | 5 ++++- fuzzers/057-bipips/README.md | 2 +- fuzzers/058-hclkpips/Makefile | 5 ++++- 15 files changed, 42 insertions(+), 15 deletions(-) diff --git a/fuzzers/050-intpips/Makefile b/fuzzers/050-intpips/Makefile index f890e3ba..eccb2cd3 100644 --- a/fuzzers/050-intpips/Makefile +++ b/fuzzers/050-intpips/Makefile @@ -24,8 +24,11 @@ $(SPECIMENS_OK): bash generate.sh $(subst /OK,,$@) touch $@ +run: + +set -ex; make clean; make; make pushdb + clean: rm -rf specimen_[0-9][0-9][0-9]/ seg_int_[lr].segbits mask_clbl[lm]_[lr].segbits -.PHONY: database pushdb clean +.PHONY: database pushdb run clean diff --git a/fuzzers/051-imuxlout/Makefile b/fuzzers/051-imuxlout/Makefile index 0de1e703..e9a4c82f 100644 --- a/fuzzers/051-imuxlout/Makefile +++ b/fuzzers/051-imuxlout/Makefile @@ -20,10 +20,13 @@ todo.txt: vivado -mode batch -source piplist.tcl python3 maketodo.py > todo.txt +run: + +set -ex; while make clean; make todo.txt; test -s todo.txt; do make; make pushdb; done; true + clean: rm -rf .Xil/ .cache/ filtered_seg_int_[lr].segbits rm -rf todo.txt vivado* piplist/ piplist.dcp pattern_[lr].txt pips_int_[lr].txt rm -rf specimen_[0-9][0-9][0-9]/ seg_int_[lr].segbits mask_clbl[lm]_[lr].segbits -.PHONY: database pushdb clean +.PHONY: database pushdb run clean diff --git a/fuzzers/051-imuxlout/README.md b/fuzzers/051-imuxlout/README.md index d60a1f8d..6e32a8b8 100644 --- a/fuzzers/051-imuxlout/README.md +++ b/fuzzers/051-imuxlout/README.md @@ -2,5 +2,5 @@ Fuzzer for INT LOGIC\_OUTS -> IMUX PIPs --------------------------------------- -Run this fuzzer a few times until it produces an empty todo.txt file. +Run this fuzzer a few times until it produces an empty todo.txt file (`make run` will run this loop). diff --git a/fuzzers/052-clkin/Makefile b/fuzzers/052-clkin/Makefile index 3edb4f05..d8f82463 100644 --- a/fuzzers/052-clkin/Makefile +++ b/fuzzers/052-clkin/Makefile @@ -20,10 +20,13 @@ todo.txt: vivado -mode batch -source piplist.tcl python3 maketodo.py | sort -R | head -n10 > todo.txt +run: + +set -ex; while make clean; make todo.txt; test -s todo.txt; do make; make pushdb; done; true + clean: rm -rf .Xil/ .cache/ filtered_seg_int_[lr].segbits rm -rf todo.txt vivado* piplist/ piplist.dcp pattern_[lr].txt pips_int_[lr].txt rm -rf specimen_[0-9][0-9][0-9]/ seg_int_[lr].segbits mask_clbl[lm]_[lr].segbits -.PHONY: database pushdb clean +.PHONY: database pushdb run clean diff --git a/fuzzers/052-clkin/README.md b/fuzzers/052-clkin/README.md index e7620d1e..38999f1b 100644 --- a/fuzzers/052-clkin/README.md +++ b/fuzzers/052-clkin/README.md @@ -2,5 +2,5 @@ Fuzzer for INT PIPs driving the CLK wires ----------------------------------------- -Run this fuzzer a few times until it produces an empty todo.txt file. +Run this fuzzer a few times until it produces an empty todo.txt file (`make run` will run this loop). diff --git a/fuzzers/053-ctrlin/Makefile b/fuzzers/053-ctrlin/Makefile index 3edb4f05..d8f82463 100644 --- a/fuzzers/053-ctrlin/Makefile +++ b/fuzzers/053-ctrlin/Makefile @@ -20,10 +20,13 @@ todo.txt: vivado -mode batch -source piplist.tcl python3 maketodo.py | sort -R | head -n10 > todo.txt +run: + +set -ex; while make clean; make todo.txt; test -s todo.txt; do make; make pushdb; done; true + clean: rm -rf .Xil/ .cache/ filtered_seg_int_[lr].segbits rm -rf todo.txt vivado* piplist/ piplist.dcp pattern_[lr].txt pips_int_[lr].txt rm -rf specimen_[0-9][0-9][0-9]/ seg_int_[lr].segbits mask_clbl[lm]_[lr].segbits -.PHONY: database pushdb clean +.PHONY: database pushdb run clean diff --git a/fuzzers/053-ctrlin/README.md b/fuzzers/053-ctrlin/README.md index b0491f8e..ed767449 100644 --- a/fuzzers/053-ctrlin/README.md +++ b/fuzzers/053-ctrlin/README.md @@ -2,5 +2,5 @@ Fuzzer for INT PIPs driving the CTRL wires ------------------------------------------ -Run this fuzzer a few times until it produces an empty todo.txt file. +Run this fuzzer a few times until it produces an empty todo.txt file (`make run` will run this loop). diff --git a/fuzzers/054-gfan/Makefile b/fuzzers/054-gfan/Makefile index 3edb4f05..d8f82463 100644 --- a/fuzzers/054-gfan/Makefile +++ b/fuzzers/054-gfan/Makefile @@ -20,10 +20,13 @@ todo.txt: vivado -mode batch -source piplist.tcl python3 maketodo.py | sort -R | head -n10 > todo.txt +run: + +set -ex; while make clean; make todo.txt; test -s todo.txt; do make; make pushdb; done; true + clean: rm -rf .Xil/ .cache/ filtered_seg_int_[lr].segbits rm -rf todo.txt vivado* piplist/ piplist.dcp pattern_[lr].txt pips_int_[lr].txt rm -rf specimen_[0-9][0-9][0-9]/ seg_int_[lr].segbits mask_clbl[lm]_[lr].segbits -.PHONY: database pushdb clean +.PHONY: database pushdb run clean diff --git a/fuzzers/054-gfan/README.md b/fuzzers/054-gfan/README.md index 759b168f..3c46d9bd 100644 --- a/fuzzers/054-gfan/README.md +++ b/fuzzers/054-gfan/README.md @@ -2,5 +2,5 @@ Fuzzer for INT PIPs driving the GFAN wires ------------------------------------------ -Run this fuzzer a few times until it produces an empty todo.txt file. +Run this fuzzer a few times until it produces an empty todo.txt file (`make run` will run this loop). diff --git a/fuzzers/055-gnd/Makefile b/fuzzers/055-gnd/Makefile index c86974ef..7ff0abff 100644 --- a/fuzzers/055-gnd/Makefile +++ b/fuzzers/055-gnd/Makefile @@ -22,10 +22,13 @@ todo.txt: echo "INT_R.GFAN0.GND_WIRE" >> todo.txt echo "INT_R.GFAN1.GND_WIRE" >> todo.txt +run: + +set -ex; make clean; make; make pushdb + clean: rm -rf .Xil/ .cache/ filtered_seg_int_[lr].segbits rm -rf todo.txt vivado* piplist/ piplist.dcp pattern_[lr].txt pips_int_[lr].txt rm -rf specimen_[0-9][0-9][0-9]/ seg_int_[lr].segbits mask_clbl[lm]_[lr].segbits -.PHONY: database pushdb clean +.PHONY: database pushdb run clean diff --git a/fuzzers/056-rempips/Makefile b/fuzzers/056-rempips/Makefile index 371ab68d..9b0c4428 100644 --- a/fuzzers/056-rempips/Makefile +++ b/fuzzers/056-rempips/Makefile @@ -20,10 +20,13 @@ todo.txt: vivado -mode batch -source piplist.tcl python3 maketodo.py | sort -R | head -n10 > todo.txt +run: + +set -ex; while make clean; make todo.txt; test -s todo.txt; do make; make pushdb; done; true + clean: rm -rf .Xil/ .cache/ filtered_seg_int_[lr].segbits rm -rf todo.txt vivado* piplist/ piplist.dcp pattern_[lr].txt pips_int_[lr].txt rm -rf specimen_[0-9][0-9][0-9]/ seg_int_[lr].segbits -.PHONY: database pushdb clean +.PHONY: database pushdb run clean diff --git a/fuzzers/056-rempips/README.md b/fuzzers/056-rempips/README.md index 71d44531..95e6f806 100644 --- a/fuzzers/056-rempips/README.md +++ b/fuzzers/056-rempips/README.md @@ -2,5 +2,5 @@ Fuzzer for the remaining INT PIPs --------------------------------- -Run this fuzzer a few times until it produces an empty todo.txt file. +Run this fuzzer a few times until it produces an empty todo.txt file (`make run` will run this loop). diff --git a/fuzzers/057-bipips/Makefile b/fuzzers/057-bipips/Makefile index 4ccc88e7..4cf12810 100644 --- a/fuzzers/057-bipips/Makefile +++ b/fuzzers/057-bipips/Makefile @@ -20,10 +20,13 @@ todo.txt: vivado -mode batch -source bipiplist.tcl python3 maketodo.py | sort -R | head -n5 > todo.txt +run: + +set -ex; while make clean; make todo.txt; test -s todo.txt; do make; make pushdb; done; true + clean: rm -rf .Xil/ .cache/ vivado* todo.txt rm -rf bipiplist/ bipiplist.dcp bipips_int_[lr].txt rm -rf specimen_[0-9][0-9][0-9]/ seg_int_[lr].segbits -.PHONY: database pushdb clean +.PHONY: database pushdb run clean diff --git a/fuzzers/057-bipips/README.md b/fuzzers/057-bipips/README.md index ff0d6008..06ff59e3 100644 --- a/fuzzers/057-bipips/README.md +++ b/fuzzers/057-bipips/README.md @@ -2,5 +2,5 @@ Fuzzer for bidirectional INT PIPs --------------------------------- -Run this fuzzer a few times until it produces an empty todo.txt file. +Run this fuzzer a few times until it produces an empty todo.txt file (`make run` will run this loop). diff --git a/fuzzers/058-hclkpips/Makefile b/fuzzers/058-hclkpips/Makefile index 9a615094..477b9a06 100644 --- a/fuzzers/058-hclkpips/Makefile +++ b/fuzzers/058-hclkpips/Makefile @@ -24,8 +24,11 @@ $(SPECIMENS_OK): bash generate.sh $(subst /OK,,$@) touch $@ +run: + +set -ex; make clean; make; make pushdb + clean: rm -rf specimen_[0-9][0-9][0-9]/ seg_hclk_[lr].segbits mask_hclk_[lr].segbits ppips_hclk_[lr].txt -.PHONY: database pushdb clean +.PHONY: database pushdb run clean