lambdabot-4.1: lambdabot.cabal.ghc-6.4
--
-- 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.0
License: GPL
License-file: LICENSE
Author: Don Stewart
Maintainer: dons@cse.unsw.edu.au
Build-Depends: base, unix, network, parsec, mtl,
haskell-src, readline, QuickCheck, template-haskell,
haskell98, fps>=0.7, plugins>=1.0
--
-- 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. -threaded -optl-Wl,-s
--
-- 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
--
-- 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