|
@@ -7,16 +7,13 @@ module Main where
|
|
import Ivory.Language
|
|
import Ivory.Language
|
|
import Ivory.Tower
|
|
import Ivory.Tower
|
|
import Ivory.Tower.Config
|
|
import Ivory.Tower.Config
|
|
-import Ivory.Tower.Compile
|
|
|
|
import Ivory.OS.FreeRTOS.Tower.STM32
|
|
import Ivory.OS.FreeRTOS.Tower.STM32
|
|
|
|
|
|
$imports$
|
|
$imports$
|
|
|
|
|
|
main :: IO ()
|
|
main :: IO ()
|
|
-main = towerCompile p app
|
|
|
|
- where p topts = do
|
|
|
|
- cfg <- getConfig topts (stm32ConfigParser (stm32f405Defaults 24))
|
|
|
|
- return (stm32FreeRTOS id cfg)
|
|
|
|
|
|
+main = compileTowerSTM32FreeRTOS testplatform_stm32 p app
|
|
|
|
+ where p topts = getConfig topts (stm32ConfigParser (stm32f405Defaults 24))
|
|
|
|
|
|
app :: Tower e ()
|
|
app :: Tower e ()
|
|
app = do
|
|
app = do
|