Changeset 9656 for branches

Timestamp:

Jun 2, 2008, 6:26:36 AM (16 years ago)

Author:

andreas

Message:

image and kernel names for windows

File:

• branches/win64/lib/compile-ccl.lisp (modified) (4 diffs)

branches/win64/lib/compile-ccl.lisp

@@ -425 +425 @@
     (:linuxx8664 "x86-boot64")
     (:freebsdx8664 "fx86-boot64")
-    (:darwinx8664 "x86-boot64.image")))
+    (:darwinx8664 "x86-boot64.image")
+    (:win64 "wx86-boot64.image")))
 
 (defun standard-kernel-name (&optional (target (backend-name *host-backend*)))
@@ -435 +436 @@
     (:linuxx8664 "lx86cl64")
     (:freebsdx8664 "fx86cl64")
-    (:darwinx8664 "dx86cl64")))
+    (:darwinx8664 "dx86cl64")
+    (:win64 "wx86cl64.exe")))
 
 (defun standard-image-name (&optional (target (backend-name *host-backend*)))
@@ -445 +447 @@
     (:linuxx8664 "LX86CL64")
     (:freebsdx8664 "FX86CL64")
-    (:darwinx8664 "dx86cl64.image")))
+    (:darwinx8664 "dx86cl64.image")
+    (:win64 "wx86cl64.image")))
 
 (defun kernel-build-directory (&optional (target (backend-name *host-backend*)))
@@ -455 +458 @@
     (:linuxx8664 "linuxx8664")
     (:freebsdx8664 "freebsdx8664")
-    (:darwinx8664 "darwinx8664")))
+    (:darwinx8664 "darwinx8664")
+    (:win64 "win64")))
 
 (defparameter *known-optional-features* '(:lock-accouting :count-gf-calls :monitor-futex-wait))