driver: add --no-version to suppress writing Yosys version in command outputs

backends/aiger/aiger.cc

@@ -662,7 +662,7 @@ struct AigerWriter
 				f << std::endl;
 			}
 		}
-
+		if (yosys_write_versions)
 			f << stringf("c\nGenerated by %s\n", yosys_version_str);
 	}
 

backends/aiger/xaiger.cc

@@ -671,6 +671,7 @@ struct XAigerWriter
 		//f.write(reinterpret_cast<const char*>(&buffer_size_be), sizeof(buffer_size_be));
 		//f.write(buffer_str.data(), buffer_str.size());
 
+		if (yosys_write_versions)
 			f << stringf("Generated by %s\n", yosys_version_str);
 
 		design->scratchpad_set_int("write_xaiger.num_ands", and_map.size());

backends/blif/blif.cc

@@ -649,6 +649,7 @@ struct BlifBackend : public Backend {
 				if (module->get_bool_attribute(ID::top))
 					top_module_name = module->name.str();
 
+		if (yosys_write_versions)
 			*f << stringf("# Generated by %s\n", yosys_version_str);
 
 		std::vector<RTLIL::Module*> mod_list;

backends/edif/edif.cc

@@ -231,6 +231,8 @@ struct EdifBackend : public Backend {
 		*f << stringf("  (edifVersion 2 0 0)\n");
 		*f << stringf("  (edifLevel 0)\n");
 		*f << stringf("  (keywordMap (keywordLevel 0))\n");
+
+		if (yosys_write_versions)
 			*f << stringf("  (comment \"Generated by %s\")\n", yosys_version_str);
 
 		*f << stringf("  (external LIB\n");

backends/json/json.cc

@@ -291,6 +291,7 @@ struct JsonWriter
 		design->sort();
 
 		f << stringf("{\n");
+		if (yosys_write_versions)
 			f << stringf("  \"creator\": %s,\n", get_string(yosys_version_str).c_str());
 		f << stringf("  \"modules\": {\n");
 		vector<Module*> modules = use_selection ? design->selected_modules() : design->modules();

backends/rtlil/rtlil_backend.cc

@@ -459,6 +459,8 @@ struct RTLILBackend : public Backend {
 		design->sort();
 
 		log("Output filename: %s\n", filename.c_str());
+
+		if (yosys_write_versions)
 			*f << stringf("# Generated by %s\n", yosys_version_str);
 		RTLIL_BACKEND::dump_design(*f, design, selected, true, false);
 	}

backends/smt2/smtio.py

@@ -1289,6 +1289,7 @@ class MkVcd:
         assert t >= self.t
         if t != self.t:
             if self.t == -1:
+                # TODO if (yosys_write_versions) equivalent?
                 print("$version Generated by Yosys-SMTBMC $end", file=self.f)
                 print("$timescale 1ns $end", file=self.f)
                 print("$var integer 32 t smt_step $end", file=self.f)

backends/verilog/verilog_backend.cc

@@ -2596,7 +2596,9 @@ struct VerilogBackend : public Backend {
 
 		design->sort();
 
+		if (yosys_write_versions)
 			*f << stringf("/* Generated by %s */\n", yosys_version_str);
+
 		for (auto module : design->modules()) {
 			if (module->get_blackbox_attribute() != blackboxes)
 				continue;

kernel/driver.cc

@@ -252,6 +252,7 @@ int main(int argc, char **argv)
 	options.add_options("logging")
 		("Q", "suppress printing of banner (copyright, disclaimer, version)")
 		("T", "suppress printing of footer (log hash, version, timing statistics)")
+		("no-version", "suppress writing Yosys version in command outputs")
 		("q,quiet", "quiet operation. Only write warnings and error messages to console. " \
 					"Use this option twice to also quiet warning messages")
 		("v,verbose", "print log headers up to <level> to the console. " \
@@ -318,6 +319,7 @@ int main(int argc, char **argv)
 		if (result.count("A")) call_abort = true;
 		if (result.count("Q")) print_banner = false;
 		if (result.count("T")) print_stats = false;
+		if (result.count("no-version")) yosys_write_versions = false;
 		if (result.count("V")) {
 			std::cout << yosys_version_str << std::endl;
 			exit(0);

kernel/yosys.cc

@@ -81,6 +81,7 @@ YOSYS_NAMESPACE_BEGIN
 
 int autoidx = 1;
 int yosys_xtrace = 0;
+bool yosys_write_versions = true;
 RTLIL::Design *yosys_design = NULL;
 CellTypes yosys_celltypes;
 

kernel/yosys_common.h

@@ -274,6 +274,7 @@ inline int GetSize(RTLIL::Wire *wire);
 
 extern int autoidx;
 extern int yosys_xtrace;
+extern bool yosys_write_versions;
 
 RTLIL::IdString new_id(std::string file, int line, std::string func);
 RTLIL::IdString new_id_suffix(std::string file, int line, std::string func, std::string suffix);

passes/cmds/internal_stats.cc

@@ -99,6 +99,7 @@ struct InternalStatsPass : public Pass {
 
 		if (json_mode) {
 			log("{\n");
+			if (yosys_write_versions)
 				log("   \"creator\": %s,\n", json11::Json(yosys_version_str).dump().c_str());
 			std::stringstream invocation;
 			std::copy(args.begin(), args.end(), std::ostream_iterator<std::string>(invocation, " "));

passes/cmds/stat.cc

@@ -444,6 +444,7 @@ struct StatPass : public Pass {
 
 		if (json_mode) {
 			log("{\n");
+			if (yosys_write_versions)
 				log("   \"creator\": %s,\n", json11::Json(yosys_version_str).dump().c_str());
 			std::stringstream invocation;
 			std::copy(args.begin(), args.end(), std::ostream_iterator<std::string>(invocation, " "));

passes/sat/sat.cc

@@ -690,9 +690,11 @@ struct SatHelper
 		fprintf(f, "$date\n");
 		fprintf(f, "    %s\n", stime);
 		fprintf(f, "$end\n");
+		if (yosys_write_versions) {
 			fprintf(f, "$version\n");
 			fprintf(f, "    Generated by %s\n", yosys_version_str);
 			fprintf(f, "$end\n");
+		}
 		fprintf(f, "$comment\n");
 		fprintf(f, "    Generated from SAT problem in module %s (declared at %s)\n",
 			module->name.c_str(), module_fname.c_str());