Name:                ruler
Version:             0.4.0.0
Copyright:           Utrecht University, Department of Information and Computing Sciences, Software Technology group
Description:         Ruler tool used by UHC (Utrecht Haskell Compiler)
Synopsis:            Ruler tool for UHC
Homepage:            https://github.com/UU-ComputerScience/ruler
Bug-Reports:         https://github.com/UU-ComputerScience/ruler/issues
License:             BSD3
License-file:        LICENSE
Author:              UHC Team
Maintainer:          uhc-developers@lists.science.uu.nl
Category:            Development
Build-Type:          Custom
Cabal-Version:       >= 1.8
Extra-Source-Files:  demo/RulerDemoUtils.chs
                     demo/RulerDemoMain.cag
                     demo/rulerDemoRL.crl2
                     demo/Makefile
                     demo/tst1
                     demo/tst2
                     demo/tst3
                     demo/tst5

Source-Repository head
  Type:              git
  Location:          https://github.com/UU-ComputerScience/ruler.git


executable ruler
  main-is:             Ruler.hs
  hs-source-dirs:      src
  extensions:          FlexibleContexts, TypeSynonymInstances, FlexibleInstances, RankNTypes, MultiParamTypeClasses
  x-shuffle-hs:        --gen-reqm=1 --preamble=no --lhs2tex=no --variant-order="1"
  x-shuffle-ag:        --gen-reqm=1 --preamble=no --lhs2tex=no --variant-order="1"
  x-shuffle-ag-d:      data, rename
  x-shuffle-ag-s:      catas, semfuns, signatures, pretty, rename
  x-shuffle-ag-sd:     data, catas, semfuns, signatures, pretty, rename, module
  x-shuffle-ag-d-dep:  Expr/Expr.cag
                       Ty/Ty.cag
                       AbsSyn/AbsSyn1.cag
                       AbsSyn/AbsSyn2.cag
                       ViewSel/ViewSel.cag
                       ARule/ARule.cag
  x-shuffle-ag-s-dep:  Main1AG.cag
                       AS1/Imports.cag
                       Main2AG.cag
                       TrfAS2/GenARule.cag
                       TrfAS2/GenLaTeX.cag
                       Ty/PrettyPrint.cag
                       Expr/IsRw.cag
                       Expr/NmS.cag
                       Expr/LaTeX.cag
                       Expr/CoGam.cag
                       ViewSel/Self.cag
                       ViewSel/NmS.cag
                       ViewSel/RlRnm.cag
                       ViewSel/RlIsSel.cag
                       ViewSel/PrettyPrint.cag
                       ARule/PatternUniq.cag
                       ARule/RwSubst.cag
                       ARule/AVarRename.cag
                       ARule/ElimCopyRule.cag
                       ARule/ElimWildcAssign.cag
                       ARule/PrettyPrint.cag
  build-depends:       base >= 4 && < 5,
                       containers >= 0.4 && < 0.6,
                       uulib >= 0.9 && < 1,
                       mtl >= 2 && < 3,
                       uhc-util >= 0.1.0.2,
                       uuagc >= 0.9.42.2,
                       uuagc-cabal >= 1.0.4.0,
                       shuffle >= 0.1.0.2