Name:           dclabel
Version:        0.0.5
build-type:     Simple
License:        BSD3
License-File:   LICENSE
Copyright:      (c) 2011 Deian Stefan, Alejandro Russo, John C. Mitchell, David Mazieres
Author:         Deian Stefan, Alejandro Russo
Maintainer:	Deian Stefan  <deian at cs dot stanford dot edu>
Stability:      experimental
Synopsis:       The Disjunction Category Label Format
Category:       Security
Cabal-Version:  >=1.8

Extra-source-files:
     examples/ExamplesDCLabels.hs
     examples/Labels.hs
     examples/ListExamples.hs
     examples/UsingEDSL.hs
     tests/Tests.hs

Description:
        The /DC Label/ (DCLabel) library provides dynamic information
	flow control label format in the form of conjunctions of
	disjunctions of principals. Most code should import module
	"DCLabel.Safe"; trusted code should import "DCLabel.TCB".
	The core functionality of the library is documented in
	"DCLabel.Core", while the small EDSL used to create labels is
	documents in "DCLabel.NanoEDSL". DCLabel was implemented by David
        Mazieres (<http://www.scs.stanford.edu/~dm/>), Deian Stefan
        (<http://www.scs.stanford.edu/~deian/>), and Alejandro Russo
        (<http://www.cse.chalmers.se/~russo/>).

Source-repository head
  Type:     git
  Location: http://www.scs.stanford.edu/~deian/dclabels/dclabel.git


Library 
   Build-depends: base >= 4 && < 5, 
                  bytestring > 0.9.2 && < 2,
                  cereal >= 0.3.3 && < 0.4,
                  pretty > 1.0.1 && < 2

   ghc-options: -Wall -fno-warn-orphans

   Exposed-modules:
       DCLabel.Safe,
       DCLabel.TCB,
       DCLabel.Core, 
       DCLabel.NanoEDSL,
       DCLabel.PrettyShow,
       DCLabel.Secrecy,
       DCLabel.Integrity

test-suite tests
  type: exitcode-stdio-1.0
  hs-source-dirs: tests
  main-is: Tests.hs

  ghc-options:
    -Wall -threaded -rtsopts

  build-depends:
    QuickCheck,
    test-framework,
    test-framework-quickcheck2,
    base,
    dclabel,
    bytestring,
    cereal