| # Copyright (C) 2017-2020  The Project X-Ray Authors. | 
 | # | 
 | # Use of this source code is governed by a ISC-style | 
 | # license that can be found in the LICENSE file or at | 
 | # https://opensource.org/licenses/ISC | 
 | # | 
 | # SPDX-License-Identifier: ISC | 
 | N := 40 | 
 | SPECIMENS_DEPS := build/iobanks.txt | 
 | include ../fuzzer.mk | 
 |  | 
 | database: build/segbits_xiob33.db build/segbits_hclk_ioi3.db | 
 |  | 
 | build/iobanks.txt: write_io_banks.tcl | 
 | 	mkdir -p build | 
 | 	cd build/ && ${XRAY_VIVADO} -mode batch -source ../write_io_banks.tcl | 
 |  | 
 | build/segbits_xiob33.rdb: $(SPECIMENS_OK) | 
 | 	${XRAY_SEGMATCH} -c 12 -o build/segbits_xiob33.rdb $$(find -name segdata_liob33.txt) $$(find -name segdata_riob33.txt) | 
 |  | 
 | build/segbits_xiob33.db: build/segbits_xiob33.rdb process_rdb.py bits.dbf | 
 | 	python3 process_rdb.py build/segbits_xiob33.rdb > build/segbits_xiob33_processed.rdb | 
 | 	${XRAY_DBFIXUP} --db-root build --zero-db bits.dbf --groups tag_groups.txt --seg-fn-in build/segbits_xiob33_processed.rdb --seg-fn-out $@ | 
 | 	${XRAY_MASKMERGE} build/mask_xiob33.db $$(find -name segdata_liob33.txt) $$(find -name segdata_riob33.txt) | 
 |  | 
 | build/segbits_hclk_ioi3.rdb: $(SPECIMENS_OK) | 
 | 	${XRAY_SEGMATCH} -c 10 -o build/segbits_hclk_ioi3.rdb $$(find -name segdata_hclk_ioi3.txt) | 
 |  | 
 | build/segbits_hclk_ioi3.db: build/segbits_hclk_ioi3.rdb | 
 | 	${XRAY_DBFIXUP} --db-root build --zero-db hclk_bits.dbf --seg-fn-in build/segbits_hclk_ioi3.rdb --seg-fn-out $@ | 
 |  | 
 | pushdb: | 
 | 	${XRAY_MERGEDB} liob33 build/segbits_xiob33.db | 
 | 	${XRAY_MERGEDB} mask_liob33 build/mask_xiob33.db | 
 | 	${XRAY_MERGEDB} riob33 build/segbits_xiob33.db | 
 | 	${XRAY_MERGEDB} mask_riob33 build/mask_xiob33.db | 
 |  | 
 | 	${XRAY_MERGEDB} hclk_ioi3 build/segbits_hclk_ioi3.db | 
 |  | 
 | .PHONY: database pushdb | 
 |  |