Index: /trunk/ccl/lib/compile-ccl.lisp
===================================================================
--- /trunk/ccl/lib/compile-ccl.lisp	(revision 4995)
+++ /trunk/ccl/lib/compile-ccl.lisp	(revision 4996)
@@ -206,5 +206,5 @@
 	     '(ppc-error-signal ppc-trap-support
 	       ppc-threads-utils ppc-callback-support))
-            ((:linuxx8664 :freebsdx8664)
+            ((:linuxx8664 :freebsdx8664 :darwinx8664)
              '(x86-error-signal x86-trap-support
                x86-threads-utils x86-callback-support)))))
@@ -429,5 +429,6 @@
     (:linuxppc64 "ppc-boot64")
     (:linuxx8664 "x86-boot64")
-    (:freebsdx8664 "fx86-boot64")))
+    (:freebsdx8664 "fx86-boot64")
+    (:darwinx8664 "x86-boot64.image")))
 
 (defun standard-kernel-name (&optional (target (backend-name *host-backend*)))
@@ -438,5 +439,6 @@
     (:linuxppc64 "ppccl64")
     (:linuxx8664 "lx86cl64")
-    (:freebsdx8664 "fx86cl64")))
+    (:freebsdx8664 "fx86cl64")
+    (:darwinx8664 "dx86cl64")))
 
 (defun standard-image-name (&optional (target (backend-name *host-backend*)))
@@ -447,5 +449,6 @@
     (:linuxppc64 "PPCCL64")
     (:linuxx8664 "LX86CL64")
-    (:freebsdx8664 "FX86CL64")))
+    (:freebsdx8664 "FX86CL64")
+    (:darwinx8664 "dx86cl64.image")))
 
 (defun kernel-build-directory (&optional (target (backend-name *host-backend*)))
@@ -456,5 +459,6 @@
     (:linuxppc64 "linuxppc64")
     (:linuxx8664 "linuxx8664")
-    (:freebsdx8664 "freebsdx8664")))
+    (:freebsdx8664 "freebsdx8664")
+    (:darwinx8664 "darwinx8664")))
 
 (defun rebuild-ccl (&key full clean kernel force (reload t) exit reload-arguments)