Merge pull request #3456 from Pinata-Consulting/synth-log-version

synth: log yosys version into .log file

Author: maliberty

flow/scripts/synth.sh

@@ -1,4 +1,5 @@
 #!/usr/bin/env bash
 set -u -eo pipefail
 mkdir -p $RESULTS_DIR $LOG_DIR $REPORTS_DIR $OBJECTS_DIR
-eval "$TIME_CMD $YOSYS_EXE $YOSYS_FLAGS -c $1" 2>&1 | tee $(realpath $2)
+$YOSYS_EXE -V > $(realpath $2)
+eval "$TIME_CMD $YOSYS_EXE $YOSYS_FLAGS -c $1" 2>&1 | tee --append $(realpath $2)