lambdabot-4.1: lambdabot.cabal
--
-- Cabal build system for lambdabot
--
-- Currently only builds the static version of the bot, which should be
-- enough for most people
--
Name: lambdabot
Version: 4.1
License: GPL
License-file: LICENSE
Author: Don Stewart
Category: Web
Synopsis: A multi-talented IRC bot
Description: Lambdabot is a Haskell development tool, written in Haskell.
It operates as a command line tool, embedded in an editor,
embedded in GHCi, via internet relay chat and on the web.
Homepage: http://haskell.org/haskellwiki/Lambdabot
Maintainer: dons@galois.com
Build-Depends: base, unix, network, parsec, mtl, haskell-src,
readline, QuickCheck, arrows, containers,
regex-compat, regex-posix, zlib, binary>=0.2,
plugins>=1.0, oeis, bytestring, old-time,
random, process, directory, array, pretty
Build-Type: Custom
extra-source-files: Lib/FixPrecedence.hs
Lib/Serial.hs
Lib/Error.hs
Lib/Url.hs
Lib/Process.hs
Lib/Regex.hs
Lib/MiniHTTP.hs
Lib/AltTime.hs
Lib/Pointful.hs
Lib/Parser.hs
Lib/OEIS.hs
Lib/Signals.hs
Lib/Util.hs
DMain.hs
Shared.hs
LBState.hs
Plugin/Version.hs
Plugin/Filter.hs
Plugin/OfflineRC.hs
Plugin/Pl.hs
Plugin/Localtime.hs
Plugin/Code.hs
Plugin/Instances.hs
Plugin/Url.hs
Plugin/Dict/DictLookup.hs
Plugin/Unlambda.hs
Plugin/Hello.hs
Plugin/UnMtl.hs
Plugin/State.hs
Plugin/Where.hs
Plugin/Elite.hs
Plugin/Seen.hs
Plugin/Small.hs
Plugin/Search.hs
Plugin/Karma.hs
Plugin/Dummy.hs
Plugin/Dynamic.hs
Plugin/Djinn.hs
Plugin/System.hs
Plugin/Slap.hs
Plugin/Spell.hs
Plugin/Undo.hs
Plugin/Check.hs
Plugin/Free.hs
Plugin/Quote.hs
Plugin/Pointful.hs
Plugin/Haddock.hs
Plugin/Paste.hs
Plugin/More.hs
Plugin/Fresh.hs
Plugin/Babel.hs
Plugin/Log.hs
Plugin/Quote/Fortune.hs
Plugin/Quote/Text.hs
Plugin/Dice.hs
Plugin/Compose.hs
Plugin/Vixen.hs
Plugin/Fact.hs
Plugin/Tell.hs
Plugin/OEIS.hs
Plugin/Help.hs
Plugin/Base.hs
Plugin/IRC.hs
Plugin/Hoogle.hs
Plugin/Dummy/DocAssocs.hs
Plugin/BF.hs
Plugin/DarcsPatchWatch.hs
Plugin/Dict.hs
Plugin/Free/Theorem.hs
Plugin/Free/Test.hs
Plugin/Free/Parse.hs
Plugin/Free/Expr.hs
Plugin/Free/FreeTheorem.hs
Plugin/Free/Type.hs
Plugin/Free/Util.hs
Plugin/Eval.hs
Plugin/Type.hs
Plugin/Todo.hs
Plugin/Activity.hs
Plugin/Maya.hs
Plugin/Topic.hs
Plugin/FT.hs
Plugin/Poll.hs
Plugin/Figlet.hs
Plugin/Pl/Optimize.hs
Plugin/Pl/Rules.hs
Plugin/Pl/Transform.hs
Plugin/Pl/Test.hs
Plugin/Pl/RuleLib.hs
Plugin/Pl/Names.hs
Plugin/Pl/Parser.hs
Plugin/Pl/PrettyPrinter.hs
Plugin/Pl/Common.hs
Plugin/Pretty.hs
Plugin/Source.hs
Main.hs
Modules.hs-boot
Config.hs
DynModules.hs
IRCBase.hs
Message.hs
scripts/LargeWord.hs
scripts/ShowFun.hs
scripts/FT/FreeTheorems.hs
scripts/FT/PPrint.hs
scripts/FT/FreeTheorems/TypeParser.hs
scripts/FT/FreeTheorems/Preparation.hs
scripts/FT/FreeTheorems/PrettyPrint.hs
scripts/FT/FreeTheorems/Types.hs
scripts/FT/FreeTheorems/Unfolding.hs
scripts/FT/FreeTheorems/Lifts.hs
scripts/FT/FreeTheorems/Specialization.hs
scripts/FT/FreeTheorems/TheoremData.hs
scripts/FT/FreeTheorems/Reduction.hs
scripts/FT/FreeTheorems/Simplification.hs
scripts/FT/FreeTheorems/Delta.hs
scripts/FT/FreeTheorems/Declarations.hs
scripts/FT/FreeTheorems/Types/Relation.hs
scripts/FT/FreeTheorems/Types/Theorem.hs
scripts/FT/FreeTheorems/Types/LanguageModel.hs
scripts/FT/FreeTheorems/Types/Type.hs
scripts/FT/FreeTheorems/PrettyPrint/Document.hs
scripts/FT/FreeTheorems/PrettyPrint/AsText.hs
scripts/FT/FreeTheorems/PrettyPrint/Common.hs
scripts/FT/FreeTheorems/Modification.hs
scripts/FT/FTbase.hs
scripts/FT/PredefinedTypes.hs
scripts/QuickCheck.hs
scripts/Unlambda.hs
scripts/RunPlugs.hs
scripts/RunSmallCheck.hs
scripts/SimpleReflect.hs
scripts/hoogle/src/Web/Main.hs
scripts/hoogle/src/Web/Lambdabot.hs
scripts/hoogle/src/Web/CGI.hs
scripts/hoogle/src/Score.hs
scripts/hoogle/src/CmdLine.hs
scripts/hoogle/src/Doc/Main.hs
scripts/hoogle/src/Doc.hs
scripts/hoogle/src/Score/Main.hs
scripts/hoogle/src/Hoogle/Match.hs
scripts/hoogle/src/Hoogle/MatchName.hs
scripts/hoogle/src/Hoogle/General.hs
scripts/hoogle/src/Hoogle/MatchType.hs
scripts/hoogle/src/Hoogle/Search.hs
scripts/hoogle/src/Hoogle/Lexer.hs
scripts/hoogle/src/Hoogle/MatchClass.hs
scripts/hoogle/src/Hoogle/TypeAlias.hs
scripts/hoogle/src/Hoogle/Parser.hs
scripts/hoogle/src/Hoogle/Result.hs
scripts/hoogle/src/Hoogle/Hoogle.hs
scripts/hoogle/src/Hoogle/Database.hs
scripts/hoogle/src/Hoogle/TypeSig.hs
scripts/hoogle/src/Hoogle/TextUtil.hs
scripts/hoogle/src/Web.hs
scripts/hoogle/src/CmdLine/Main.hs
scripts/hoogle/src/Test/Test.hs
scripts/hoogle/data/hadhtml/Main.hs
scripts/hoogle/data/hadhtml/Lexer.hs
scripts/hoogle/data/hadhtml/TextUtil.hs
scripts/hoogle/data/hadhoo/Main.hs
scripts/hoogle/test/data/examples/Basic.hs
scripts/hoogle/test/data/examples/ClassesEx.hs
scripts/hoogle/test/data/examples/Operators.hs
scripts/hoogle/test/data/examples/Data.hs
scripts/hoogle/test/data/examples/GhcExts.hs
scripts/hoogle/test/data/examples/Classes.hs
scripts/hoogle/test/data/runtests.hs
scripts/GenHaddock.hs
scripts/BotPP.hs
scripts/SmallCheck.hs
scripts/BF.hs
scripts/Djinn/Poly.hs
scripts/Djinn/tests/Test.hs
scripts/Djinn/Util/Digraph.hs
scripts/Djinn/Util/Sort.hs
scripts/Djinn/MJ.hs
scripts/Djinn/Djinn.hs
scripts/Djinn/LJTFormula.hs
scripts/Djinn/MonadBFS.hs
scripts/Djinn/REPL.hs
scripts/Djinn/HTypes.hs
scripts/Djinn/LJT.hs
scripts/Djinn/Help.hs
scripts/Djinn/MLJT.hs
scripts/Djinn/LJTParse.hs
scripts/Djinn/Util.hs
scripts/Djinn/HCheck.hs
scripts/ShowQ.hs
State/L.hs
State/Pristine.hs
Boot.hs
LMain.hs
NickEq.hs
Plugin.hs
Lambdabot.hs
Modules.hs
testsuite/UnitTestsMain.hs
testsuite/VariableExpansion.hs
testsuite/TestFramework.hs
testsuite/logpp.in
testsuite/macros.m4
testsuite/Tests.hs
testsuite/logpp
testsuite/Makefile
data-files: COMMENTARY
README
config.h.in
Lib/README
lambdabot.cabal
configure
Plugin/Pl/COPYING
Plugin/Pl/Makefile
ghci
testsuite/README
STYLE
scripts/hoogle/docs/todo.txt
scripts/hoogle/docs/file-format.txt
scripts/hoogle/docs/builddocs.bat
scripts/hoogle/docs/haddock.txt
scripts/hoogle/src/Web/res/suffix.inc
scripts/hoogle/src/Web/res/front_gtk.inc
scripts/hoogle/src/Web/res/noresults.inc
scripts/hoogle/src/Web/res/gtk.txt
scripts/hoogle/src/Web/res/error.inc
scripts/hoogle/src/Web/res/prefix.inc
scripts/hoogle/src/Web/res/prefix_gtk.inc
scripts/hoogle/src/Web/res/front.inc
scripts/hoogle/src/Doc/res/documentation.txt
scripts/hoogle/src/Score/examples.txt
scripts/hoogle/src/Score/classes.txt
scripts/hoogle/src/hoogle.txt
scripts/hoogle/README.txt
scripts/hoogle/data/hadhtml/haskell98.txt
scripts/hoogle/data/hadhtml/exclude.txt
scripts/hoogle/data/hihoo/hihoo.pl
scripts/hoogle/web/favicon.png
scripts/hoogle/web/developers.htm
scripts/hoogle/web/download.htm
scripts/hoogle/web/res/hoogle_small.png
scripts/hoogle/web/res/hoogle_small_classic.png
scripts/hoogle/web/res/quicksearch.js
scripts/hoogle/web/res/hoogle_large.png
scripts/hoogle/web/res/icons.png
scripts/hoogle/web/res/hoogle.css
scripts/hoogle/web/res/top_left.png
scripts/hoogle/web/res/hoogle_large_classic.png
scripts/hoogle/web/res/bot_left.png
scripts/hoogle/web/res/bot_right.png
scripts/hoogle/web/res/haskell_icon.png
scripts/hoogle/web/res/hoogle.src
scripts/hoogle/web/res/top_right.png
scripts/hoogle/web/academics.htm
scripts/hoogle/web/favicon.ico
scripts/hoogle/web/about.htm
scripts/hoogle/web/nodocs.htm
scripts/hoogle/web/help.htm
scripts/hoogle/test/data/gen-hihoo.bat
scripts/hoogle/test/data/gen-hihoo.sh
scripts/hoogle/test/data/build-hadhtml.bat
scripts/hoogle/test/data/gen-hadhtml.bat
scripts/hoogle/test/data/examples/Data.hoo
scripts/hoogle/test/data/examples/ClassesEx.hoo
scripts/hoogle/test/data/examples/GhcExts.hoo
scripts/hoogle/test/data/examples/Classes.hoo
scripts/hoogle/test/data/examples/Basic.hoo
scripts/hoogle/test/data/examples/Operators.hoo
scripts/hoogle/test/data/Makefile
scripts/hoogle/misc/icons/icons.vsd
scripts/hoogle/misc/logo/hoogle.xar
scripts/hoogle/misc/logo/hoogle.ppt
scripts/hoogle/wiki/LibraryDocumentation_2fPrelude.html
scripts/hoogle/wiki/LibraryDocumentation.html
scripts/hoogle/wiki/LibraryDocumentation_2fIx.html
scripts/hoogle/wiki/Keywords.html
scripts/hoogle/wiki/Hoogle.html
scripts/hoogle/wiki/backup.bat
scripts/hoogle/wiki/LibraryDocumentation_2fCPUTime.html
scripts/hoogle/Makefile
scripts/gnuplot.script
scripts/vim/README
scripts/vim/pl
scripts/vim/bot
scripts/vim/runwith
scripts/vim/run
scripts/vim/typeOf
scripts/Djinn/NEWS
scripts/Djinn/verbose-help
scripts/Djinn/tests/testfiles.all
scripts/Djinn/tests/ljt/sch_mult.002.ljt
scripts/Djinn/tests/ljt/kk_p.006.ljt
scripts/Djinn/tests/ljt/sch_implies.ljt
scripts/Djinn/tests/ljt/con_p.002.ljt
scripts/Djinn/tests/ljt/debruijn_n.010.ljt
scripts/Djinn/tests/ljt/con_n.002.ljt
scripts/Djinn/tests/ljt/kk_n.006.ljt
scripts/Djinn/tests/ljt/sch_prop_n.002.ljt
scripts/Djinn/tests/ljt/debruijn_n.002.ljt
scripts/Djinn/tests/ljt/ph_n.002.ljt
scripts/Djinn/tests/ljt/con_p.010.ljt
scripts/Djinn/tests/ljt/ph_n.006.ljt
scripts/Djinn/tests/ljt/sch_prop_n.001.ljt
scripts/Djinn/tests/ljt/debruijn_n.006.ljt
scripts/Djinn/tests/ljt/sch_prop_n.003.ljt
scripts/Djinn/tests/ljt/sch_ax.ljt
scripts/Djinn/tests/ljt/ph_p.006.ljt
scripts/Djinn/tests/ljt/equiv_n.010.ljt
scripts/Djinn/tests/ljt/sch_notnot.ljt
scripts/Djinn/tests/ljt/equiv_n.002.ljt
scripts/Djinn/tests/ljt/kk_n.010.ljt
scripts/Djinn/tests/ljt/sch_notnot2.ljt
scripts/Djinn/tests/ljt/sch_mult.004.ljt
scripts/Djinn/tests/ljt/schwicht_p.006.ljt
scripts/Djinn/tests/ljt/equiv_p.010.ljt
scripts/Djinn/tests/ljt/sch_prop_n.004.ljt
scripts/Djinn/tests/ljt/ph_n.010.ljt
scripts/Djinn/tests/ljt/con_n.006.ljt
scripts/Djinn/tests/ljt/con_n.010.ljt
scripts/Djinn/tests/ljt/debruijn_p.002.ljt
scripts/Djinn/tests/ljt/equiv_p.002.ljt
scripts/Djinn/tests/ljt/debruijn_p.006.ljt
scripts/Djinn/tests/ljt/debruijn_p.010.ljt
scripts/Djinn/tests/ljt/kk_n.002.ljt
scripts/Djinn/tests/ljt/con_p.006.ljt
scripts/Djinn/tests/ljt/schwicht_n.006.ljt
scripts/Djinn/tests/ljt/ph_p.010.ljt
scripts/Djinn/tests/ljt/schwicht_p.010.ljt
scripts/Djinn/tests/ljt/schwicht_n.010.ljt
scripts/Djinn/tests/ljt/sch_mult.003.ljt
scripts/Djinn/tests/ljt/kk_p.010.ljt
scripts/Djinn/tests/ljt/equiv_p.006.ljt
scripts/Djinn/tests/ljt/ph_p.002.ljt
scripts/Djinn/tests/ljt/kk_p.002.ljt
scripts/Djinn/tests/ljt/schwicht_n.002.ljt
scripts/Djinn/tests/ljt/equiv_n.006.ljt
scripts/Djinn/tests/ljt/schwicht_p.002.ljt
scripts/Djinn/tests/ljt/sch_jens_prop.ljt
scripts/Djinn/tests/Makefile
scripts/Djinn/tests/testfiles.fast
scripts/Djinn/LICENSE
scripts/Djinn/ljt.p
scripts/Djinn/TODO
scripts/Djinn/examples
scripts/Djinn/examples.out
scripts/Djinn/Makefile
scripts/Djinn/Setup.lhs
scripts/Djinn/djinn.cabal
scripts/timein
COMMANDS
State/djinn
State/haddock
State/source
State/hoogle.txt
State/quote
State/todo
State/vixen
State/system
State/where
State/karma
State/fact
configure.ac
AUTHORS
online.rc
build
Makefile
lambdabot.cabal.ghc-6.4
online2.rc
Modules.hs
--
-- first build the preprocessor
--
Executable: BotPP
hs-source-dirs: scripts/
Main-is: BotPP.hs
ghc-options: -fasm -funbox-strict-fields -O
--
-- Lambdabot
--
Executable: lambdabot
Main-is: Main.hs
extensions: CPP
ghc-options: -Wall -Werror -fglasgow-exts -pgmF dist/build/BotPP/BotPP -F -H64m -O -funbox-strict-fields -fasm -fno-warn-incomplete-patterns -fno-warn-missing-methods -fno-warn-orphans -I. -optl-Wl,-s -threaded
--
-- For a fast build use add -Onot
--
--
-- And a dynamically linked lambdabot
--
-- Not quite there yet. The problem is how to recompile Modules.hs with
-- a list of statics and plugins, and then to recompile the rest of
-- lambdabot's core
--
--Executable: lambdabot-dynamic
--main-is: Boot.hs
--extensions: CPP
--ghc-options: -main-is Boot.main -Wall -Werror -fglasgow-exts -H64m -Onot -fasm -I. -threaded
-- ghc-options: -Wall -Werror -fglasgow-exts -funbox-strict-fields -O -fasm -I. -optl-Wl,-s -threaded
--
-- Hoogle
--
Executable: hoogle
hs-source-dirs: scripts/hoogle/src
ghc-options: -funbox-strict-fields -O
Main-is: CmdLine.hs
--
-- Djinn
--
Executable: djinn
hs-source-dirs: scripts/Djinn
ghc-options: -O
Main-is: Djinn.hs
--
-- Unlambda
--
--Executable: unlambda
--hs-source-dirs: scripts/
--ghc-options: -O
--Main-is: Unlambda.hs
--
-- runplugs
--
-- Executable: runplugs
-- hs-source-dirs: scripts/
-- Main-is: RunPlugs.hs
--
-- BF
--
--Executable: bf
--hs-source-dirs: scripts/
--Main-is: BF.hs
--ghc-options: -O2
--
-- FT
--
Executable: ft
hs-source-dirs: scripts/FT
Main-is: FTbase.hs
ghc-options: -O
------------------------------------------------------------------------
-- The following only work if plugins are enabled
--
-- runplugs
--
Executable: runplugs
hs-source-dirs: scripts/
ghc-options: -funbox-strict-fields -O
Main-is: RunPlugs.hs
--
-- check
--
Executable: quickcheck
hs-source-dirs: scripts/
ghc-options: -funbox-strict-fields -O
Main-is: QuickCheck.hs
--
-- check
--
Executable: smallcheck
hs-source-dirs: scripts/
ghc-options: -funbox-strict-fields -O
Main-is: RunSmallCheck.hs