From 04eaf8e8e5cdcababb3b783abe416821a91c8e8e Mon Sep 17 00:00:00 2001 From: Joey Hess Date: Fri, 17 Nov 2017 13:36:12 -0400 Subject: propellor spin --- src/Propellor/Property/Machine.hs | 11 +++++++---- 1 file changed, 7 insertions(+), 4 deletions(-) (limited to 'src') diff --git a/src/Propellor/Property/Machine.hs b/src/Propellor/Property/Machine.hs index a351ca80..afffe143 100644 --- a/src/Propellor/Property/Machine.hs +++ b/src/Propellor/Property/Machine.hs @@ -28,7 +28,9 @@ import qualified Propellor.Property.Apt as Apt import qualified Propellor.Property.FlashKernel as FlashKernel import qualified Propellor.Property.Uboot as Uboot -data Marvell_SheevaPlug_BootDevice = SDCard | ESATA +data Marvell_SheevaPlug_BootDevice + = Marvell_SheevaPlug_SDCard + | Marvell_SheevaPlug_ESATA -- | Marvel SheevaPlug -- @@ -36,10 +38,11 @@ data Marvell_SheevaPlug_BootDevice = SDCard | ESATA -- configured to boot from the SD card or eSATA. See -- https://www.cyrius.com/debian/kirkwood/sheevaplug/install/ marvell_SheevaPlug :: Marvell_SheevaPlug_BootDevice -> Property (HasInfo + DebianLike) -marvell_SheevaPlug bd = case bd of - SDCard -> FlashKernel.installed "Marvell SheevaPlug Reference Board" +marvell_SheevaPlug Marvell_SheevaPlug_SDCard = + FlashKernel.installed "Marvell SheevaPlug Reference Board" `requires` kirkwood - ESATA -> FlashKernel.installed "Marvell eSATA SheevaPlug Reference Board" +marvell_SheevaPlug Marvell_SheevaPlug_ESATA = + FlashKernel.installed "Marvell eSATA SheevaPlug Reference Board" `requires` kirkwood -- | Cubietech Cubietruck (untested) -- cgit v1.2.3