-- -- 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