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,10], versionTags = []}

bindir, libdir, datadir, libexecdir :: FilePath

bindir     = "/usr/bin"
libdir     = "/usr/lib/haskell-packages/ghc6/lib/Agda-2.2.10/ghc-6.12.3"
datadir    = "/usr/share/libghc6-agda-dev"
libexecdir = "/usr/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)