    module Paths_Agda (
        version,
        getBinDir, getLibDir, getDataDir, getLibexecDir,
        getDataFileName
      ) where

    import Data.Version (Version(..))
    import System.Environment (getEnv)

    version :: Version
    version = Version {versionBranch = [2,2,6], versionTags = []}

    bindir, libdir, datadir, libexecdir :: FilePath

    bindir     = "/usr/local/bin"
    libdir     = "/usr/local/lib/Agda-2.2.6/ghc-6.10.4"
    datadir    = "/usr/local/share/Agda-2.2.6"
    libexecdir = "/usr/local/libexec"

    getBinDir, getLibDir, getDataDir, getLibexecDir :: IO FilePath
    getBinDir = catch (getEnv "Agda_bindir") (\_ -> return bindir)
    getLibDir = catch (getEnv "Agda_libdir") (\_ -> return libdir)
    getDataDir = catch (getEnv "Agda_datadir") (\_ -> return datadir)
    getLibexecDir = catch (getEnv "Agda_libexecdir") (\_ -> return libexecdir)

    getDataFileName :: FilePath -> IO FilePath
    getDataFileName name = do
      dir <- getDataDir
      return (dir ++ "/" ++ name)