HaLeX.cabal

name:                HaLeX
version:             1.2.6
synopsis:            HaLeX enables modelling, manipulation and visualization of regular languages
description:         This library was developed in the context of a programming methodology course for
                     undergraduate students, and as a consequence, it was defined mainly for educational purposes.
                     Indeed, it provides a clear, efficient and concise way to define, to understand
                     and to manipulate regular languages in Haskell. Furthermore, the construction
                     of the complete library has been proposed as assignment projects to the students
                     following the course.  HaLeX is now being used to support this course.
category:            Data
license:             PublicDomain
license-file:        LICENSE
author:              João Saraiva
maintainer:          João Saraiva <saraiva@di.uminho.pt>
homepage:            http://www.di.uminho.pt/~jas/Research/HaLeX/HaLeX.html

tested-with:         GHC==6.8.2
Cabal-Version:       >= 1.6
build-type:          Simple
data-files:          README.md, INSTALL, paper/HaLeX.ps, example/README, example/real_dfa.ps, example/real_ndfa.ps
extra-source-files:  scripts/Make_Animation, scripts/faAnim.lefty, example/real, example/real_dfa.hs,
                     example/real_ndfa.hs, example/GenMDfa.hs
Library
        build-depends:          base>4 && <5, mtl, HUnit, QuickCheck
        extensions:             FlexibleContexts, FlexibleInstances, MultiParamTypeClasses

        ghc-options:          -Wall

        hs-source-dirs:         HaLeX_lib
        exposed-modules:        Language.HaLex.RegExpAsDiGraph, Language.HaLex.Ndfa, Language.HaLex.Dfa2MDfa, Language.HaLex.Minimize,
                                Language.HaLex.Examples.Real, Language.HaLex.Examples.Robot, Language.HaLex.RegExpParser,
                                Language.HaLex.FaClasses, Language.HaLex.RegExp, Language.HaLex.Dfa, Language.HaLex.DfaMonad,
                                Language.HaLex.Fa2RegExp, Language.HaLex.Parser, Language.HaLex.RegExp2Fa, Language.HaLex.FaAsDiGraph,
                                Language.HaLex.FaOperations, Language.HaLex.Util, Language.HaLex.Equivalence,
                                Language.HaLex.Sentences, Language.HaLex.Test_HaLex, Language.HaLex.Test_HaLex_Quickcheck

Executable halex
           main-is:             halex.hs
           hs-source-dirs:      HaLeX_tool, HaLeX_lib

           ghc-options:          -Wall

source-repository head
        type:     git
        location: git://github.com/haslab/halex.git