{-# LANGUAGE CPP #-}
{-# LANGUAGE NoRebindableSyntax #-}
{-# OPTIONS_GHC -fno-warn-missing-import-lists #-}
module Paths_cryptol (
    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 :: IO a -> (IOException -> IO a) -> IO a
catchIO = IO a -> (IOException -> IO a) -> IO a
forall e a. Exception e => IO a -> (e -> IO a) -> IO a
Exception.catch

version :: Version
version :: Version
version = [Int] -> [String] -> Version
Version [Int
2,Int
11,Int
0] []
bindir, libdir, dynlibdir, datadir, libexecdir, sysconfdir :: FilePath

bindir :: String
bindir     = String
"/home/builder/hackage-server/build-cache/tmp-install/bin"
libdir :: String
libdir     = String
"/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-8.10.2/cryptol-2.11.0-KBQWpCBm4GD4lGHyVVV39L"
dynlibdir :: String
dynlibdir  = String
"/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-8.10.2"
datadir :: String
datadir    = String
"/home/builder/hackage-server/build-cache/tmp-install/share/x86_64-linux-ghc-8.10.2/cryptol-2.11.0"
libexecdir :: String
libexecdir = String
"/home/builder/hackage-server/build-cache/tmp-install/libexec/x86_64-linux-ghc-8.10.2/cryptol-2.11.0"
sysconfdir :: String
sysconfdir = String
"/home/builder/hackage-server/build-cache/tmp-install/etc"

getBinDir, getLibDir, getDynLibDir, getDataDir, getLibexecDir, getSysconfDir :: IO FilePath
getBinDir :: IO String
getBinDir = IO String -> (IOException -> IO String) -> IO String
forall a. IO a -> (IOException -> IO a) -> IO a
catchIO (String -> IO String
getEnv String
"cryptol_bindir") (\IOException
_ -> String -> IO String
forall (m :: * -> *) a. Monad m => a -> m a
return String
bindir)
getLibDir :: IO String
getLibDir = IO String -> (IOException -> IO String) -> IO String
forall a. IO a -> (IOException -> IO a) -> IO a
catchIO (String -> IO String
getEnv String
"cryptol_libdir") (\IOException
_ -> String -> IO String
forall (m :: * -> *) a. Monad m => a -> m a
return String
libdir)
getDynLibDir :: IO String
getDynLibDir = IO String -> (IOException -> IO String) -> IO String
forall a. IO a -> (IOException -> IO a) -> IO a
catchIO (String -> IO String
getEnv String
"cryptol_dynlibdir") (\IOException
_ -> String -> IO String
forall (m :: * -> *) a. Monad m => a -> m a
return String
dynlibdir)
getDataDir :: IO String
getDataDir = IO String -> (IOException -> IO String) -> IO String
forall a. IO a -> (IOException -> IO a) -> IO a
catchIO (String -> IO String
getEnv String
"cryptol_datadir") (\IOException
_ -> String -> IO String
forall (m :: * -> *) a. Monad m => a -> m a
return String
datadir)
getLibexecDir :: IO String
getLibexecDir = IO String -> (IOException -> IO String) -> IO String
forall a. IO a -> (IOException -> IO a) -> IO a
catchIO (String -> IO String
getEnv String
"cryptol_libexecdir") (\IOException
_ -> String -> IO String
forall (m :: * -> *) a. Monad m => a -> m a
return String
libexecdir)
getSysconfDir :: IO String
getSysconfDir = IO String -> (IOException -> IO String) -> IO String
forall a. IO a -> (IOException -> IO a) -> IO a
catchIO (String -> IO String
getEnv String
"cryptol_sysconfdir") (\IOException
_ -> String -> IO String
forall (m :: * -> *) a. Monad m => a -> m a
return String
sysconfdir)

getDataFileName :: FilePath -> IO FilePath
getDataFileName :: String -> IO String
getDataFileName String
name = do
  String
dir <- IO String
getDataDir
  String -> IO String
forall (m :: * -> *) a. Monad m => a -> m a
return (String
dir String -> String -> String
forall a. [a] -> [a] -> [a]
++ String
"/" String -> String -> String
forall a. [a] -> [a] -> [a]
++ String
name)