blob: 04ac5abeb034ff462d664fdf160bd520caab731b (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
|
;;; Consfigurator -- Lisp declarative configuration management system
;;; Copyright (C) 2021 Sean Whitton <spwhitton@spwhitton.name>
;;; This file is free software; you can redistribute it and/or modify
;;; it under the terms of the GNU General Public License as published by
;;; the Free Software Foundation; either version 3, or (at your option)
;;; any later version.
;;; This file is distributed in the hope that it will be useful,
;;; but WITHOUT ANY WARRANTY; without even the implied warranty of
;;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
;;; GNU General Public License for more details.
;;; You should have received a copy of the GNU General Public License
;;; along with this program. If not, see <http://www.gnu.org/licenses/>.
(in-package :consfigurator.property.os)
(named-readtables:in-readtable :consfigurator)
;;;; Basic OS types
(defclass unixlike () ())
(defclass linux (unixlike)
((architecture
:initarg :arch :reader linux-architecture
:documentation
"Keyword whose name is Debian's name for this architecture, e.g. :AMD64")))
(defclass debianlike (linux) ())
(defclass debian (debianlike)
((suite :initarg :suite
:reader debian-suite
:initform (error "Must provide suite"))))
(defmethod print-object ((os debian) stream)
(format stream "#.~S" `(make-instance 'debian
:arch ,(linux-architecture os)
:suite ,(debian-suite os)))
os)
(defclass debian-stable (debian) ())
(defprop debian-stable :posix (suite architecture)
(:desc
(declare (ignore architecture))
#?{Host is Debian "${suite}"})
(:hostattrs
(push-hostattrs :os
(make-instance 'debian-stable
:arch architecture :suite suite))))
(defclass debian-testing (debian)
((suite :initform "testing")))
(defprop debian-testing :posix (architecture)
(:desc
(declare (ignore architecture))
"Host is Debian testing")
(:hostattrs
(push-hostattrs :os
(make-instance 'debian-testing
:arch architecture))))
(defclass debian-unstable (debian)
((suite :initform "unstable")))
(defprop debian-unstable :posix (architecture)
(:desc
(declare (ignore architecture))
"Host is Debian unstable")
(:hostattrs
(push-hostattrs :os
(make-instance 'debian-unstable
:arch architecture))))
(defmethod debian-architecture ((os linux))
"Return a string representing the architecture of OS as used by Debian."
(string-downcase (symbol-name (linux-architecture os))))
;;;; Property combinators
(define-choosing-property-combinator os-etypecase* (host &rest cases)
:type (collapse-types (loop for propapp in (cdr cases) by #'cddr
collect (propapptype propapp)))
:choose (or (loop with os = (class-of (if host
(car (getf (hostattrs host) :os))
(get-hostattrs-car :os)))
for (type propapp) on cases by #'cddr
when (subtypep os type) return propapp)
(inapplicable-property
"Host's OS ~S fell through OS:ETYPECASE."
(class-of (get-hostattrs-car :os)))))
(defmacro etypecase (&body cases)
`(host-etypecase nil ,@cases))
(defmacro host-etypecase (host &body cases)
`(os-etypecase*
,host
,@(loop for case in cases
collect `',(intern (symbol-name (car case))
(find-package :consfigurator.property.os))
collect (cadr case))))
;;;; Utilities
(defun required (type)
"Error out if the OS of the host being deployed is not of type TYPE.
Used in property :HOSTATTRS subroutines."
(let ((os (class-of (get-hostattrs-car :os))))
(unless (and os (subtypep os type))
(inapplicable-property #?"Property requires OS of type ${type}"))))
(defun supports-arch-p (os arch)
"Can binaries of type ARCH run on OS?"
(cl:typecase os
(debian (or (eq (linux-architecture os) arch)
(member arch (assoc (linux-architecture os)
'((:amd64 :i386)
(:i386 :amd64))))))))
|