use argument for name of .sby and .sv files

diff --git a/sbysrc/sby.py b/sbysrc/sby.py
index 72dcd79f7cd39bae16f39df32cf1743f69d1cb64..f17e8425a179243eb993fc6b56333632ca09d873 100644 (file)
--- a/sbysrc/sby.py
+++ b/sbysrc/sby.py
@@ -68,9 +68,9 @@ 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("--init-config-file", dest="init_config_file",
+        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")
 parser.add_argument("arg_tasknames", metavar="tasknames", nargs="*",
@@ -91,23 +91,7 @@ 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""")
+init_config_file = args.init_config_file
 
 if sbyfile is not None:
     if os.path.isdir(sbyfile):
@@ -134,9 +118,25 @@ 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")
+elif init_config_file is not None:
+    sv_file = init_config_file + ".sv"
+    sby_file = init_config_file + ".sby"
+    with open(sby_file, 'w') as config:
+        config.write("""[options]
+mode bmc
+
+[engines]
+smtbmc
+
+[script]
+read -formal {0}
+prep -top top
+
+[files]
+{0}
+""".format(sv_file))
+
+    print("sby config written to {}".format(sby_file), file=sys.stderr)
     sys.exit(0)
 
 early_logmsgs = list()