-- Initial secio.cabal generated by cabal init.  For further documentation,
--  see http://haskell.org/cabal/users-guide/

name:                seclib
version:             1.0.0.0
-- synopsis:
license:             BSD3
license-file:        LICENSE
author:              Alejandro Russo
maintainer:          russo@chalmers.se
copyright:           Copyright:      (c) 2008 ~ 2014 Alejandro Russo, Koen Claessen, John Hughes
category:            Security
synopsis:            A simple library for static information-flow security in Haskell
build-type:          Simple
cabal-version:       >=1.8

description:
  The library is based on the paper
  /A Library for Light-weight Information-Flow Security in Haskell/ by Alejandro Russo, Koen Claessen
  and John Hughes. In Proceedings of the ACM SIGPLAN 2008 Haskell Symposium, Victoria, British Columbia,
  Canada, September 2008.
  <http://www.cse.chalmers.se/~russo/publications_files/haskell22Ext-russo.pdf>


extra-source-files:
     Examples/SafeExample.hs, Examples/Example.hs, Examples/Downgrade.hs, GNUmakefile


library
  build-depends:       base ==4.7.*, network ==2.6.*

  exposed-modules:
       SecLib.Untrustworthy,
       SecLib.Trustworthy,
       SecLib.LatticeLH

  other-modules:
       SecLib.Lattice,
       SecLib.Sec,
       SecLib.SecIO,
       SecLib.Declassification

  extensions:
       MultiParamTypeClasses,
       FlexibleInstances,
       FunctionalDependencies,
       TypeSynonymInstances
       MonoLocalBinds