File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -20,7 +20,10 @@ _versionCompare() {
2020}
2121
2222_installORDependencies () {
23- ./tools/OpenROAD/etc/DependencyInstaller.sh ${OR_INSTALLER_ARGS}
23+ if [[ ${YOSYS_VER} == " " ]]; then
24+ YOSYS_VER=v$( grep ' yosys_ver =' tools/yosys/docs/source/conf.py | awk -F' "' ' {print $2}' )
25+ fi
26+ ./tools/OpenROAD/etc/DependencyInstaller.sh ${OR_INSTALLER_ARGS} -yosys-ver=" ${YOSYS_VER} "
2427}
2528
2629_installPipCommon () {
@@ -306,6 +309,10 @@ Usage: $0 [-all|-base|-common] [-<ARGS>]
306309 # sudo or with root access.
307310 $0 -ci
308311 # Installs CI tools
312+ $0 -yosys-ver=VERSION
313+ # Installs specified version of Yosys.
314+ # By default, the Yosys version is
315+ # obtained from tools/yosys/docs/source/conf.py
309316 $0 -constant-build-dir
310317 # Use constant build directory, instead of
311318 # random one.
315322
316323# default args
317324OR_INSTALLER_ARGS=" -eqy"
325+ YOSYS_VER=" "
318326# default prefix
319327PREFIX=" "
320328# default option
@@ -355,6 +363,9 @@ while [ "$#" -gt 0 ]; do
355363 CI=" yes"
356364 OR_INSTALLER_ARGS=" ${OR_INSTALLER_ARGS} -save-deps-prefixes=/etc/openroad_deps_prefixes.txt"
357365 ;;
366+ -yosys-ver=* )
367+ YOSYS_VER=${1#* =}
368+ ;;
358369 -prefix=* )
359370 OR_INSTALLER_ARGS=" ${OR_INSTALLER_ARGS} $1 "
360371 PREFIX=${1#* =}
Original file line number Diff line number Diff line change @@ -73,7 +73,10 @@ _setup() {
7373 fromImage=" ${FROM_IMAGE_OVERRIDE:- $osBaseImage } "
7474 cp tools/OpenROAD/etc/DependencyInstaller.sh etc/InstallerOpenROAD.sh
7575 context=" etc"
76- buildArgs=" --build-arg options=${options} ${noConstantBuildDir} "
76+ local yosys_ver
77+ yosys_ver=v$( grep ' yosys_ver =' tools/yosys/docs/source/conf.py | awk -F' "' ' {print $2}' )
78+ options+=" -yosys-ver=${yosys_ver} "
79+ buildArgs=" --build-arg \" options=${options} \" ${noConstantBuildDir} "
7780 ;;
7881 * )
7982 echo " Target ${target} not found" >&2
@@ -87,20 +90,20 @@ _setup() {
8790
8891_create () {
8992 echo " Create docker image ${imagePath} using ${file} "
90- ${DOCKER_CMD} buildx build \
93+ eval ${DOCKER_CMD} buildx build \
9194 --file " ${file} " \
9295 --tag " ${imagePath} " \
93- ${buildArgs} \
96+ " ${buildArgs} " \
9497 " ${context} "
9598 rm -f etc/InstallerOpenROAD.sh
9699}
97100
98101_push () {
99- if [[ -z ${username+x} ]]; then
102+ if [[ -z ${username+x} ]] && [[ ${dryRun} != 1 ]] ; then
100103 echo " Missing required -username=<USER> argument"
101104 _help
102105 fi
103- if [[ -z ${password+x} ]]; then
106+ if [[ -z ${password+x} ]] && [[ ${dryRun} != 1 ]] ; then
104107 echo " Missing required -password=<PASS> argument"
105108 _help
106109 fi
You can’t perform that action at this time.
0 commit comments