2019-03-03 19:59:23 +01:00
|
|
|
N := 40
|
|
|
|
|
include ../fuzzer.mk
|
|
|
|
|
|
2019-08-01 20:06:18 +02:00
|
|
|
database: build/segbits_xioi3.db
|
2019-03-03 19:59:23 +01:00
|
|
|
|
2019-08-01 20:06:18 +02:00
|
|
|
build/segbits_xioi3.rdb: $(SPECIMENS_OK)
|
|
|
|
|
${XRAY_SEGMATCH} -c 6 -o build/segbits_xioi3.rdb $$(find -name segdata_*)
|
2019-03-03 19:59:23 +01:00
|
|
|
|
2019-08-01 20:06:18 +02:00
|
|
|
build/segbits_xioi3.db: build/segbits_xioi3.rdb
|
2019-03-03 19:59:23 +01:00
|
|
|
${XRAY_DBFIXUP} --db-root build --zero-db bits.dbf --seg-fn-in $^ --seg-fn-out $@
|
2019-08-01 20:06:18 +02:00
|
|
|
${XRAY_MASKMERGE} build/mask_xioi3.db $$(find -name segdata_*)
|
2019-03-03 19:59:23 +01:00
|
|
|
|
|
|
|
|
pushdb:
|
2019-08-01 20:06:18 +02:00
|
|
|
${XRAY_MERGEDB} lioi3 build/segbits_xioi3.db
|
|
|
|
|
${XRAY_MERGEDB} lioi3_tbytesrc build/segbits_xioi3.db
|
|
|
|
|
${XRAY_MERGEDB} lioi3_tbyteterm build/segbits_xioi3.db
|
|
|
|
|
${XRAY_MERGEDB} rioi3 build/segbits_xioi3.db
|
|
|
|
|
${XRAY_MERGEDB} rioi3_tbytesrc build/segbits_xioi3.db
|
|
|
|
|
${XRAY_MERGEDB} rioi3_tbyteterm build/segbits_xioi3.db
|
|
|
|
|
${XRAY_MERGEDB} mask_lioi3 build/mask_xioi3.db
|
|
|
|
|
${XRAY_MERGEDB} mask_lioi3_tbytesrc build/mask_xioi3.db
|
|
|
|
|
${XRAY_MERGEDB} mask_lioi3_tbyteterm build/mask_xioi3.db
|
|
|
|
|
${XRAY_MERGEDB} mask_rioi3 build/mask_xioi3.db
|
|
|
|
|
${XRAY_MERGEDB} mask_rioi3_tbytesrc build/mask_xioi3.db
|
|
|
|
|
${XRAY_MERGEDB} mask_rioi3_tbyteterm build/mask_xioi3.db
|
2019-03-03 19:59:23 +01:00
|
|
|
|
|
|
|
|
.PHONY: database pushdb
|
|
|
|
|
|
