2019-11-26 12:25:51 +01:00
|
|
|
N := 50
|
2019-07-17 14:34:48 +02:00
|
|
|
include ../fuzzer.mk
|
|
|
|
|
|
|
|
|
|
database: build/segbits_xiob33.db
|
|
|
|
|
|
2019-11-26 12:25:51 +01:00
|
|
|
build/segbits_xiob33.rdb2: $(SPECIMENS_OK)
|
|
|
|
|
${XRAY_SEGMATCH} -c 20 -m 1 -M 1 -o build/segbits_xiob33.rdb2 $$(find -name segdata_*.txt)
|
|
|
|
|
|
|
|
|
|
build/segbits_xiob33.rdb: build/segbits_xiob33.rdb2
|
|
|
|
|
# Keep only solution for ISERDES related features.
|
|
|
|
|
grep -e ".ISERDES." $^ >$@
|
2019-07-17 14:34:48 +02:00
|
|
|
|
2019-07-25 12:08:39 +02:00
|
|
|
build/segbits_xiob33.db: build/segbits_xiob33.rdb
|
2019-07-17 14:34:48 +02:00
|
|
|
${XRAY_DBFIXUP} --db-root build --zero-db bits.dbf --seg-fn-in $^ --seg-fn-out $@
|
|
|
|
|
${XRAY_MASKMERGE} build/mask_xiob33.db $$(find -name segdata_*.txt)
|
|
|
|
|
|
|
|
|
|
pushdb:
|
|
|
|
|
${XRAY_MERGEDB} liob33 build/segbits_xiob33.db
|
|
|
|
|
${XRAY_MERGEDB} riob33 build/segbits_xiob33.db
|
|
|
|
|
${XRAY_MERGEDB} mask_liob33 build/mask_xiob33.db
|
|
|
|
|
${XRAY_MERGEDB} mask_riob33 build/mask_xiob33.db
|
|
|
|
|
|
|
|
|
|
.PHONY: database pushdb
|
|
|
|
|
|
