From: matt venn <matt@mattvenn.net>
Date: Wed, 25 Mar 2020 17:00:48 +0000 (+0100)
Subject: add --init-config option
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=f22b6921c5fe26d0d695b77cc129a98f6fb3b482;p=SymbiYosys.git

add --init-config option
---

diff --git a/sbysrc/sby.py b/sbysrc/sby.py
index cdcaff4..72dcd79 100644
--- a/sbysrc/sby.py
+++ b/sbysrc/sby.py
@@ -68,6 +68,8 @@ parser.add_argument("--dumpfiles", action="store_true", dest="dump_files",
         help="print the list of source files")
 parser.add_argument("--setup", action="store_true", dest="setupmode",
         help="set up the working directory and exit")
+parser.add_argument("--init-config", action="store_true", dest="initconfig",
+        help="create a default .sby config file")
 
 parser.add_argument("sbyfile", metavar="<jobname>.sby | <dirname>", nargs="?",
         help=".sby file OR directory containing config.sby file")
@@ -89,6 +91,23 @@ dump_tasks = args.dump_tasks
 dump_files = args.dump_files
 reusedir = False
 setupmode = args.setupmode
+initconfig = args.initconfig
+
+def init_config(filename):
+    with open(filename, 'w') as config:
+        config.write("""
+[options]
+mode bmc
+
+[engines]
+smtbmc
+
+[script]
+read -formal default.v
+prep -top top
+
+[files]
+default.v""")
 
 if sbyfile is not None:
     if os.path.isdir(sbyfile):
@@ -115,6 +134,11 @@ if sbyfile is not None:
         print("ERROR: Sby file does not have .sby file extension.", file=sys.stderr)
         sys.exit(1)
 
+elif initconfig:
+    print("default sby config written to default.sby", file=sys.stderr)
+    init_config("default.sby")
+    sys.exit(0)
+
 early_logmsgs = list()
 
 def early_log(workdir, msg):
@@ -122,7 +146,6 @@ def early_log(workdir, msg):
     early_logmsgs.append("SBY %2d:%02d:%02d [%s] %s" % (tm.tm_hour, tm.tm_min, tm.tm_sec, workdir, msg))
     print(early_logmsgs[-1])
 
-
 def read_sbyconfig(sbydata, taskname):
     cfgdata = list()
     tasklist = list()