SoOSiM-0.1: SoOSiM.cabal

Name:                SoOSiM
Version:             0.1
Synopsis:            Abstract full system simulator

Description:
  SoOSiM is a simulator developed for the purpose of exploring operating
  system concepts and operating system modules. The simulator provides a
  highly abstracted view of a computing system, consisting of computing
  nodes, and components that are concurrently executed on these nodes.
  OS modules are subsequently modelled as components that progress as a
  result of reacting to two types of events: messages from other components,
  or a system-wide tick event. Using this abstract view, a developer can
  quickly formalize assertions regarding the interaction between operating
  system modules and applications.

Homepage:            http://www.soos-project.eu/
License:             BSD3
License-file:        LICENSE
Author:              S(o)OS Consortium
Maintainer:          Christiaan Baaij <christiaan.baaij@gmail.com>
Copyright:           (c) 2012, S(o)OS Consortium
Category:            Simulation
Build-type:          Simple
Stability:           alpha

Cabal-version:       >=1.6

Library
  HS-Source-Dirs:   src

  Exposed-modules:  SoOSiM,
                    SoOSiM.Simulator,
                    SoOSiM.Types

  ghc-options:      -Wall

  Build-depends:    base             >= 4.3.1.0 && < 4.6,
                    containers       >= 0.4.0.0 && < 0.5,
                    transformers     >= 0.2.2.0 && < 2.3,
                    mtl              >= 2.0.1.0 && < 2.1,
                    monad-coroutine  >= 0.7.1   && < 0.8,
                    ghc              >= 7.0.3   && < 7.5,
                    stm              >= 2.3     && < 2.4

  Other-modules:    SoOSiM.SimMonad,
                    SoOSiM.Util

source-repository head
  type:     git
  location: git://github.com/christiaanb/SoOSiM.git