anchor.diff:      '("BuildPreamble.lisp" "Specware4.lisp" "license.lisp")
   
       ;; a list of files to copy to the distribution directory
  -    :application-files
  -    (list (in-specware-dir "Release/Windows/Specware4.cmd"))
  +    ;; :application-files
  +    ;; (list (in-specware-dir "Release/Windows/Specware4.cmd"))
   
       ;; Possible option instead of excl::delete-directory-and-files call
  -    ;;  :allow-existing-directory t
  +    :allow-existing-directory t
   
       ;; the image does not have a compiler neither during the build nor after.
       ;; The application has the interpreter only.
  
positive.code: ;; This file builds a distribution directory for Specware.
  
  (defpackage :Specware)
  
  (defvar Specware-name "Specware4")	; Name of directory and startup files
  (defvar Specware4-dir (specware::getenv "SPECWARE4"))
  (defun in-specware-dir (file) (concatenate 'string Specware4-dir "/" file))
  
  ;; Used in patch detection and about-specware command
  
negative.code:     ;; which runtime? the other option is :dynamic which includes the compiler
      :runtime :standard
    )
  