variables.mk: default RUN_EQY=1 when eqy is available

Auto-detect the eqy tool via `command -v` and set RUN_EQY ?= 1
so equivalence checking runs automatically when the tool is installed.

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>
Signed-off-by: Øyvind Harboe <oyvind.harboe@zylin.com>

Author: oharboe

docs/user/FlowVariables.md

@@ -253,7 +253,7 @@ configuration file.
 | <a name="RTLMP_RPT_DIR"></a>RTLMP_RPT_DIR| Path to the directory where reports are saved.| |
 | <a name="RTLMP_WIRELENGTH_WT"></a>RTLMP_WIRELENGTH_WT| Weight for half-perimiter wirelength.| 100.0|
 | <a name="RULES_JSON"></a>RULES_JSON| json files with the metrics baseline regression rules. In the ORFS Makefile, this defaults to $DESIGN_DIR/rules-base.json, but ORFS does not mandate the users source directory layout and this can be placed elsewhere when the user sets up an ORFS config.mk or from bazel-orfs.| |
-| <a name="RUN_EQY"></a>RUN_EQY| Actually run the eqy equivalence checking tool. Requires EQUIVALENCE_CHECK to be enabled and eqy to be installed.| 0|
+| <a name="RUN_EQY"></a>RUN_EQY| Actually run the eqy equivalence checking tool. Requires EQUIVALENCE_CHECK to be enabled and eqy to be installed. Defaults to 1 when eqy is found in PATH.| |
 | <a name="RUN_LOG_NAME_STEM"></a>RUN_LOG_NAME_STEM| Stem of the log file name, the log file will be named `$(LOG_DIR)/$(RUN_LOG_NAME_STEM).log`.| run|
 | <a name="RUN_SCRIPT"></a>RUN_SCRIPT| Path to script to run from `make run`, python or tcl script detected by .py or .tcl extension.| |
 | <a name="SC_LEF"></a>SC_LEF| Path to technology standard cell LEF file.| |

flow/scripts/variables.mk

@@ -132,6 +132,10 @@ ifneq ($(shell command -v stdbuf),)
   STDBUF_CMD ?= stdbuf -o L
 endif
 
+ifneq ($(shell command -v eqy),)
+  export RUN_EQY ?= 1
+endif
+
 #-------------------------------------------------------------------------------
 WRAPPED_LEFS = $(foreach lef,$(notdir $(WRAP_LEFS)),$(OBJECTS_DIR)/lef/$(lef:.lef=_mod.lef))
 WRAPPED_LIBS = $(foreach lib,$(notdir $(WRAP_LIBS)),$(OBJECTS_DIR)/$(lib:.lib=_mod.lib))

flow/scripts/variables.yaml

@@ -94,8 +94,8 @@ EQUIVALENCE_CHECK:
 RUN_EQY:
   description: >
     Actually run the eqy equivalence checking tool. Requires EQUIVALENCE_CHECK
-    to be enabled and eqy to be installed.
-  default: 0
+    to be enabled and eqy to be installed. Defaults to 1 when eqy is found
+    in PATH.
   stages:
     - cts
 CORE_UTILIZATION: