summaryrefslogtreecommitdiff
path: root/src/Propellor
diff options
context:
space:
mode:
authorJoey Hess2017-11-17 13:36:12 -0400
committerJoey Hess2017-11-17 13:36:12 -0400
commit04eaf8e8e5cdcababb3b783abe416821a91c8e8e (patch)
treee55b6d93d3eee3b9f947fb8781cd63321c3e05fa /src/Propellor
parent40ad6baf2808fac851d9872df6217ca6393ec6c8 (diff)
propellor spin
Diffstat (limited to 'src/Propellor')
-rw-r--r--src/Propellor/Property/Machine.hs11
1 files changed, 7 insertions, 4 deletions
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)