; write the declaration tree to a package

(in-package "VERRAZANO")

; write declarations to a file
(defun write-declarations (defns cfg)
  (with-open-file (out (concatenate 'string
				    (configuration-binding-name cfg)
				    ".lisp")
		       :direction :output :if-exists :supersede)
    (let ((pkgform `("defpackage" ,(configuration-binding-name cfg)
		      (":use" "#:COMMON-LISP" "#:UFFI")
		      ,(cons ":export" (configuration-symbols-exported cfg)))))
      (format out "~A~%~%" pkgform))
    (dolist (defn defns)
      (format out "~A~%" defn))))