anchor.diff: +#+sbcl (require "SBCL_PATCH" "/Users/mcdonald/Work/Generic/Specware4/Applications/Handwritten/Lisp/sbcl-patch")
   (defpackage :Specware)
   (in-package :Specware)
   ;(in-package :cl-user) -- *specware4*, *fasl-type*, etc. are in Specware package!
  
positive.code:     #+allegro (excl::compile-file-if-needed file)
      #+Lispworks (hcl:compile-file-if-needed file)
      #+(or cmu mcl sbcl)
      (when (> (file-write-date file)
  	     (or (file-write-date (make-pathname :defaults file
  						 :type *fasl-type*))
  		 0)) 
        (compile-file file))))
  
  (unless (fboundp 'compile-and-load-lisp-file)
    (defun compile-and-load-lisp-file (file)
  
negative.code:     #+mcl       (ccl::getenv varname)
      #+lispworks (hcl::getenv varname)	;?
      #+cmu       (cdr (assoc (intern varname "KEYWORD") ext:*environment-list*))
      #+sbcl      (let ((x (find-symbol "*ENVIRONMENT-SHADOW*")))
                    (or (and x
                             (cdr (assoc (intern varname "KEYWORD") (symbol-value x))))
                        (sb-ext:posix-getenv  varname)))
      #+gcl       (si:getenv varname)
      #+clisp     (ext:getenv varname)
      ))
  
  (defvar *specware4* 
    #-windows (getenv "SPECWARE4")
    #+windows (substitute #\/ #\\ (convert-pathname-from-cygwin (getenv "SPECWARE4"))))
  
  (unless (fboundp 'compile-file-if-needed)
    ;; Conditional because of an app/usr/lib/sbcl/arent Allegro bug in generate-application
  