Added a Cabal file for the helper programs.

AllNonAsciiChars.hs

@@ -1,10 +1,7 @@
 -- | This module extracts all the non-ASCII characters used by the
 -- library code (along with how many times they are used).
---
--- The implementation relies on the FileManip library which is
--- available from Hackage.
 
-module AllNonAsciiChars where
+module Main where
 
 import qualified Data.List as L
 import Data.Char

GNUmakefile

@@ -5,4 +5,5 @@ test: Everything.agda
 
 .PHONY: Everything.agda
 Everything.agda:
-	runhaskell GenerateEverything.hs
+	cabal install
+	GenerateEverything

GenerateEverything.hs

@@ -1,8 +1,5 @@
 {-# LANGUAGE PatternGuards #-}
 
--- This program requires that the filepath and FileManip packages from
--- Hackage are installed.
-
 import qualified Data.List as List
 import Control.Applicative
 import System.Environment

README.txt

@@ -7,10 +7,8 @@ For information about the library, see README.agda.
 The README module imports the Everything module. This module is
 generated automatically; if you have downloaded the library from its
 darcs repository and want to type check README you can construct
-Everything by running "runhaskell GenerateEverything.hs". Note that
-the GenerateEverything program depends on the filepath and FileManip
-packages from Hackage.
+Everything by running "cabal install && GenerateEverything".
 
 Note that all library sources are located under src. The modules
-README and Everything are not really part of the library, so these
-modules are located in the top-level directory instead.
+README, README.* and Everything are not really part of the library, so
+these modules are located in the top-level directory instead.

Setup.hs

@@ -0,0 +1,3 @@
+import Distribution.Simple
+
+main = defaultMain

lib.cabal

@@ -0,0 +1,19 @@
+name:            lib
+version:         0.0
+cabal-version:   >= 1.8
+build-type:      Simple
+description:     Helper programs.
+tested-with:     GHC == 6.12.1
+
+executable GenerateEverything
+  hs-source-dirs:   .
+  main-is:          GenerateEverything.hs
+  build-depends:    base == 4.2.*,
+                    FileManip == 0.3.*,
+                    filepath == 1.1.*
+
+executable AllNonAsciiChars
+  hs-source-dirs:   .
+  main-is:          AllNonAsciiChars.hs
+  build-depends:    base == 4.2.*,
+                    FileManip == 0.3.*