luke
/
prjxray
mirror of https://github.com/openXC7/prjxray.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #531 from antmicro/empty-db 

create empty db files if they don't exist
This commit is contained in:
Karol Gugala 2019-01-16 18:05:27 +01:00 committed by GitHub
parent c5afc3bcb6 389be483b8
commit 1141a507a5
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
5 changed files with 43 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
fuzzers/int_loop.mk
View File

@ -42,7 +42,7 @@ ifneq ($(QUICK),Y)
${XRAY_DBFIXUP} --db-root build --clb-int
# https://github.com/SymbiFlow/prjxray/issues/399
# Clobber existing .db to eliminate potential conflicts
if [ -f ${XRAY_DATABASE_DIR}/${XRAY_DATABASE}/segbits*.db ] ; then cp ${XRAY_DATABASE_DIR}/${XRAY_DATABASE}/segbits*.db build/database/${XRAY_DATABASE}; else bash ${XRAY_DIR}/fuzzers/int_create_empty_db.sh; fi
cp ${XRAY_DATABASE_DIR}/${XRAY_DATABASE}/segbits*.db build/database/${XRAY_DATABASE}
XRAY_DATABASE_DIR=${FUZDIR}/build/database ${XRAY_MERGEDB} int_l build/segbits_int_l.db
XRAY_DATABASE_DIR=${FUZDIR}/build/database ${XRAY_MERGEDB} int_r build/segbits_int_r.db
endif
@ -81,7 +81,7 @@ build/todo.txt: build/$(PIP_TYPE)_l.txt $(XRAY_DIR)/fuzzers/int_maketodo.py buil
# Subsequent are based on updated db
build/database/seeded:
mkdir -p build/database/${XRAY_DATABASE}
if [ -f ${XRAY_DATABASE_DIR}/${XRAY_DATABASE}/segbits*.db ] ; then cp ${XRAY_DATABASE_DIR}/${XRAY_DATABASE}/segbits*.db build/database/${XRAY_DATABASE}; else bash ${XRAY_DIR}/fuzzers/int_create_empty_db.sh; fi
cp ${XRAY_DATABASE_DIR}/${XRAY_DATABASE}/segbits*.db build/database/${XRAY_DATABASE}
touch build/database/seeded
# XXX: conider moving to script

1
settings/artix7.sh
View File

@ -24,3 +24,4 @@ export XRAY_PIN_05="G22"
export XRAY_PIN_06="F21"
source $(dirname ${BASH_SOURCE[0]})/../utils/environment.sh
init_db

1
settings/kintex7.sh
View File

@ -24,3 +24,4 @@ export XRAY_PIN_05="M20"
export XRAY_PIN_06="M21"
source $(dirname ${BASH_SOURCE[0]})/../utils/environment.sh
init_db

1
settings/zynq7.sh
View File

@ -24,3 +24,4 @@ export XRAY_PIN_05="J16"
export XRAY_PIN_06="J15"
source $(dirname ${BASH_SOURCE[0]})/../utils/environment.sh
init_db

38
utils/environment.sh
View File

@ -44,3 +44,41 @@ if [ $(${XRAY_VIVADO} -h |grep Vivado |cut -d\ -f 2) != "v2017.2" ] ; then
export XRAY_DIR="/bad/vivado/version"
return
fi
function init_db
{
# Check if database files exist. If don't, create empty ones
db_files="mask_clbll_l.db \
mask_clbll_r.db \
mask_clblm_l.db \
mask_clblm_r.db \
mask_hclk_l.db \
mask_hclk_r.db \
ppips_clbll_l.db \
ppips_clbll_r.db \
ppips_clblm_l.db \
ppips_clblm_r.db \
ppips_hclk_l.db \
ppips_hclk_r.db \
ppips_int_l.db \
ppips_int_r.db \
segbits_bram_l.block_ram.db \
segbits_bram_l.db \
segbits_bram_r.block_ram.db \
segbits_bram_r.db \
segbits_clbll_l.db \
segbits_clbll_r.db \
segbits_clblm_l.db \
segbits_clblm_r.db \
segbits_hclk_l.db \
segbits_hclk_r.db \
segbits_int_l.db \
segbits_int_r.db"
for db in $db_files
do
if [ ! -f ${XRAY_DATABASE_DIR}/${XRAY_DATABASE}/$db ]; then
touch ${XRAY_DATABASE_DIR}/${XRAY_DATABASE}/$db
fi
done
}