zephyr-copilot-1.0.3: zephyr-copilot.cabal

Name: zephyr-copilot
Version: 1.0.3
Cabal-Version: >= 1.10
License: BSD3
Maintainer: Joey Hess <id@joeyh.name>
Author: Joey Hess
Stability: Experimental
Copyright: 2020-2022 Joey Hess
License-File: LICENSE
Build-Type: Simple
Category: Embedded, Language
Synopsis: Embedded programming in haskell using the Copilot stream DSL and Zephyr
Description:
 zephyr-copilot contains allows using Haskell to program many boards
 supported by the Zephyr project.
 .
 zephyr-copilot uses the Copilot stream DSL (domain-specific language)
 and Functional Reactive Programming (FRP) to generate a program which
 can be compiled in Zephyr and flashed to the board.
 .
 All the messy details are abstracted away, letting you focus on the
 desired behavior of the board.
 .
 Copilot is a stream (i.e., infinite lists) domain-specific language
 (DSL) in Haskell that compiles into embedded C. Copilot contains an
 interpreter, multiple back-end compilers, and other verification tools.
 <https://copilot-language.github.io/>
 .
 Zephyr is a real time embedded operating system (RTOS) supporting
 hundreds of boards. <https://zephyrproject.org/>
Extra-Source-Files:
 README
 CHANGELOG
 TODO
 stack.yaml
 Examples/Blink/README
 Examples/Blink/Demo.cabal
 Examples/Blink/stack.yaml
 Examples/Button/README
 Examples/Button/Demo.cabal
 Examples/Button/stack.yaml
 Examples/Feather/README
 Examples/Feather/Demo.cabal
 Examples/Feather/stack.yaml
test-suite test
  Main-Is: test.hs
  Type: exitcode-stdio-1.0
  GHC-Options: -Wall -fno-warn-tabs
  Default-Language: Haskell2010
  Build-Depends:
    base (>= 4.6 && < 5),
    zephyr-copilot,
    temporary,
    directory,
    process
  Other-Modules:
    Examples.Blink.Demo
    Examples.Button.Demo
    Examples.Feather.Demo

Library
  GHC-Options: -Wall -fno-warn-tabs
  Default-Language: Haskell2010
  Hs-Source-Dirs: src
  Exposed-Modules:
    Copilot.Zephyr
    Copilot.Zephyr.Internals
    Copilot.Zephyr.Board.Generic
    Copilot.Zephyr.Board.Adafruit_feather_m0_basic_proto
    Copilot.Zephyr.Board.Adafruit_itsybitsy_m4_express
  Other-Modules:
    Copilot.Zephyr.Main
  Build-Depends:
    base (>= 4.5 && < 5),
    sketch-frp-copilot (== 1.0.3),
    copilot (== 3.10.*),
    copilot-c99 (== 3.10.*),
    copilot-language (== 3.10.*),
    filepath,
    directory,
    mtl,
    temporary,
    optparse-applicative (>= 0.14.1),
    containers

source-repository head
  type: git
  location: git://git.joeyh.name/zephyr-copilot.git