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

import qualified Control.Exception as Exception
import Data.Version (Version(..))
import System.Environment (getEnv)
import Prelude

catchIO :: IO a -> (Exception.IOException -> IO a) -> IO a
catchIO = Exception.catch

version :: Version
version = Version [2,4,2,5] []
bindir, libdir, datadir, libexecdir, sysconfdir :: FilePath

bindir     = "/home/asr/tmp-asr/agda-doc/.cabal-sandbox/bin"
libdir     = "/home/asr/tmp-asr/agda-doc/.cabal-sandbox/lib/x86_64-linux-ghc-7.10.3/Agda-2.4.2.5-17UKaOVnsZjI0yWu9NJAPz"
datadir    = "/home/asr/tmp-asr/agda-doc/.cabal-sandbox/share/x86_64-linux-ghc-7.10.3/Agda-2.4.2.5"
libexecdir = "/home/asr/tmp-asr/agda-doc/.cabal-sandbox/libexec"
sysconfdir = "/home/asr/tmp-asr/agda-doc/.cabal-sandbox/etc"

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

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