| # 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 | |
| export FUZDIR=$(shell pwd) | |
| PIP_TYPE?=bram_pips_int | |
| PIPLIST_TCL=$(FUZDIR)/bram_pip_list.tcl | |
| MAKETODO_FLAGS=--pip-type ${PIP_TYPE} --seg-type bram --re "BRAM_.\.BRAM_(?!LOGIC_OUTS).*" | |
| N = 50 | |
| # These PIPs all appear to be either a 0 or 2 bit solution. | |
| SEGMATCH_FLAGS=-m 20 -M 45 -c 2 | |
| include ../pip_loop.mk | |
| # | |
| # Specimens from current run must complete, but previous iterations may exist | |
| database: $(SPECIMENS_OK) | |
| ${XRAY_SEGMATCH} $(SEGMATCH_FLAGS) -o build/segbits_bram_x.rdb \ | |
| $(shell find build -name segdata_bram_l.txt) \ | |
| $(shell find build -name segdata_bram_r.txt) | |
| # Keep a copy to track iter progress | |
| # Also is pre-fixup, which drops and converts | |
| cp build/segbits_bram_x.rdb build/$(ITER)/segbits_bram_x.rdb | |
| ${XRAY_DBFIXUP} --db-root build \ | |
| --verbose \ | |
| --zero-db bits.dbf \ | |
| --seg-fn-in build/segbits_bram_x.rdb \ | |
| --seg-fn-out build/segbits_bram_x.db | |
| python3 unmanagle_pips.py \ | |
| --bram_x build/segbits_bram_x.db \ | |
| --bram_l build/segbits_bram_l.db \ | |
| --bram_r build/segbits_bram_r.db | |
| # Clobber existing .db to eliminate potential conflicts | |
| cp ${XRAY_DATABASE_DIR}/${XRAY_DATABASE}/segbits*.db build/database/${XRAY_DATABASE} | |
| XRAY_DATABASE_DIR=${FUZDIR}/build/database ${XRAY_MERGEDB} bram_l build/segbits_bram_l.db | |
| XRAY_DATABASE_DIR=${FUZDIR}/build/database ${XRAY_MERGEDB} bram_r build/segbits_bram_r.db | |
| # Final pushdb to real repo | |
| pushdb: database | |
| ${XRAY_MERGEDB} bram_l build/segbits_bram_l.db | |
| ${XRAY_MERGEDB} bram_r build/segbits_bram_r.db |