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)