From 1ccfb09059e9fb145b943f18a43b72f5e21e9c7e Mon Sep 17 00:00:00 2001 From: Gus Smith Date: Mon, 12 Aug 2024 09:15:28 -0700 Subject: [PATCH] Add log; set default --- bin/main.rkt | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/bin/main.rkt b/bin/main.rkt index 600925a2..7a062c5d 100755 --- 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))