; code for manipulating program configuration

(in-package "VERRAZANO-COMMON")

; a structure representing the configuration of a binding
(defstruct configuration
  binding-name
  binding-nicknames
  included-files
  gccxml-flags
  symbols-hidden
  overrides
  options
  output-filename)