diff --git a/.github/scripts/build_local_target.sh b/.github/scripts/build_local_target.sh index ea6520f..ac51267 100755 --- a/.github/scripts/build_local_target.sh +++ b/.github/scripts/build_local_target.sh @@ -4,7 +4,7 @@ set -e target_name=${TARGET:-"tag_array_64x184"} if [[ -z "$STAGES" ]]; then - STAGES=("synth" "floorplan" "place" "cts") + STAGES=("canonicalize" "synth" "floorplan" "place" "cts") else eval "STAGES=($STAGES)" fi @@ -21,10 +21,14 @@ do fi if [[ -z $SKIP_RUN ]] ; then stages=() - if [[ $stage == "synth" ]]; then - stages+=("do-yosys-canonicalize" "do-yosys") + if [[ $stage == "canonicalize" ]]; then + stages+=("do-yosys-canonicalize") + else + if [[ $stage == "synth" ]]; then + stages+=("do-yosys") + fi + stages+=("do-${stage}") fi - stages+=("do-${stage}") for local_stage in "${stages[@]}" do echo "[${target_name}] ${local_stage}: Run make script"