Add log; set default

gussmith23 · Aug 12, 2024 · 1ccfb09 · 1ccfb09
1 parent f818b1e
commit 1ccfb09
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/bin/main.rkt b/bin/main.rkt
@@ -60,7 +60,7 @@
                       [(or "yosys-techmap") v]
                       [other (error (format "Unsupported output format ~a." other))]))))
 (define instruction (make-parameter #f identity))
-(define module-name (make-parameter #f identity))
+(define module-name (make-parameter "top"))
 (define json-filepath (make-parameter (make-temporary-file "rkttmp~a.json") identity))
 (define output-port
   (make-parameter (current-output-port) (lambda (v) (open-output-file v #:exists 'replace))))
@@ -512,6 +512,8 @@
                 #:lr-sequential envs
                 #:module-semantics module-semantics))))]))
 
+(log-info "Synthesis complete.")
+
 (cond
   [(not lakeroad-expr)
    (displayln "Synthesis failed" (current-error-port))