summaryrefslogtreecommitdiff
path: root/src/Propellor/Info.hs
diff options
context:
space:
mode:
authorFĂ©lix Sipma2016-05-29 18:26:31 +0200
committerJoey Hess2016-06-13 23:27:14 -0400
commit9c0a95160a5460e8cbe4454ce7a7c9df1217e5e5 (patch)
tree82f85300c9bb5660bc15410e40c383999a4d299f /src/Propellor/Info.hs
parent087ccaa8fff0efc52c29fe9a92773a1d991dbe4c (diff)
add DebianKernel datatype
(cherry picked from commit 3590a1241580ddcdd153e2619a3c02ce18a8db8c but without the changes to src/Propellor/Precompiled.hs)
Diffstat (limited to 'src/Propellor/Info.hs')
-rw-r--r--src/Propellor/Info.hs9
1 files changed, 8 insertions, 1 deletions
diff --git a/src/Propellor/Info.hs b/src/Propellor/Info.hs
index f6c46192..5ccda176 100644
--- a/src/Propellor/Info.hs
+++ b/src/Propellor/Info.hs
@@ -78,8 +78,15 @@ askInfo = asks (fromInfo . hostInfo)
-- host must support Debian.
--
-- > & osDebian (Stable "jessie") X86_64
+--
+-- osDebian' lets specify a different DebianKernel
+--
+-- > & osDebian' KFreeBSD (Stable "jessie") X86_64
osDebian :: DebianSuite -> Architecture -> Property (HasInfo + Debian)
-osDebian suite arch = tightenTargets $ os (System (Debian suite) arch)
+osDebian = osDebian' Linux
+
+osDebian' :: DebianKernel -> DebianSuite -> Architecture -> Property (HasInfo + Debian)
+osDebian' kernel suite arch = tightenTargets $ os (System (Debian kernel suite) arch)
-- | Specifies that a host's operating system is a well-known Debian
-- derivative founded by a space tourist.