From 9c0a95160a5460e8cbe4454ce7a7c9df1217e5e5 Mon Sep 17 00:00:00 2001 From: FĂ©lix Sipma Date: Sun, 29 May 2016 18:26:31 +0200 Subject: add DebianKernel datatype (cherry picked from commit 3590a1241580ddcdd153e2619a3c02ce18a8db8c but without the changes to src/Propellor/Precompiled.hs) --- src/Propellor/Info.hs | 9 ++++++++- 1 file changed, 8 insertions(+), 1 deletion(-) (limited to 'src/Propellor/Info.hs') 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. -- cgit v1.2.3