    {-# LANGUAGE CPP #-}
    {-# LANGUAGE NoRebindableSyntax #-}
    {-# OPTIONS_GHC -fno-warn-missing-import-lists #-}
    module Paths_Agda (
        version,
        getBinDir, getLibDir, getDynLibDir, getDataDir, getLibexecDir,
        getDataFileName, getSysconfDir
      ) where

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

    #if defined(VERSION_base)

    #if MIN_VERSION_base(4,0,0)
    catchIO :: IO a -> (Exception.IOException -> IO a) -> IO a
    #else
    catchIO :: IO a -> (Exception.Exception -> IO a) -> IO a
    #endif

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

    version :: Version
    version = Version [2,6,0,1] []
    bindir, libdir, dynlibdir, datadir, libexecdir, sysconfdir :: FilePath

    bindir     = "/usr/bin"
    libdir     = "/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.6.5/Agda-2.6.0.1-1X7fHcR3xPHzuc9vp1IMb"
    dynlibdir  = "/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.6.5"
    datadir    = "/usr/share/libghc-agda-dev"
    libexecdir = "/usr/lib/x86_64-linux-ghc-8.6.5/Agda-2.6.0.1"
    sysconfdir = "/usr/etc"

    getBinDir, getLibDir, getDynLibDir, getDataDir, getLibexecDir, getSysconfDir :: IO FilePath
    getBinDir = catchIO (getEnv "Agda_bindir") (\_ -> return bindir)
    getLibDir = catchIO (getEnv "Agda_libdir") (\_ -> return libdir)
    getDynLibDir = catchIO (getEnv "Agda_dynlibdir") (\_ -> return dynlibdir)
    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)