{-# LANGUAGE CPP #-} {-# OPTIONS_GHC -fno-warn-missing-import-lists #-} {-# OPTIONS_GHC -fno-warn-implicit-prelude #-} module Paths_proof_combinators ( 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 [0,1,0,0] [] bindir, libdir, dynlibdir, datadir, libexecdir, sysconfdir :: FilePath bindir = "/Users/niki/tmp/test/proof-combinators/.stack-work/install/x86_64-osx/lts-11.2/8.2.2/bin" libdir = "/Users/niki/tmp/test/proof-combinators/.stack-work/install/x86_64-osx/lts-11.2/8.2.2/lib/x86_64-osx-ghc-8.2.2/proof-combinators-0.1.0.0-6pcdb9W0szV9kE6t7RqOJp" dynlibdir = "/Users/niki/tmp/test/proof-combinators/.stack-work/install/x86_64-osx/lts-11.2/8.2.2/lib/x86_64-osx-ghc-8.2.2" datadir = "/Users/niki/tmp/test/proof-combinators/.stack-work/install/x86_64-osx/lts-11.2/8.2.2/share/x86_64-osx-ghc-8.2.2/proof-combinators-0.1.0.0" libexecdir = "/Users/niki/tmp/test/proof-combinators/.stack-work/install/x86_64-osx/lts-11.2/8.2.2/libexec/x86_64-osx-ghc-8.2.2/proof-combinators-0.1.0.0" sysconfdir = "/Users/niki/tmp/test/proof-combinators/.stack-work/install/x86_64-osx/lts-11.2/8.2.2/etc" getBinDir, getLibDir, getDynLibDir, getDataDir, getLibexecDir, getSysconfDir :: IO FilePath getBinDir = catchIO (getEnv "proof_combinators_bindir") (\_ -> return bindir) getLibDir = catchIO (getEnv "proof_combinators_libdir") (\_ -> return libdir) getDynLibDir = catchIO (getEnv "proof_combinators_dynlibdir") (\_ -> return dynlibdir) getDataDir = catchIO (getEnv "proof_combinators_datadir") (\_ -> return datadir) getLibexecDir = catchIO (getEnv "proof_combinators_libexecdir") (\_ -> return libexecdir) getSysconfDir = catchIO (getEnv "proof_combinators_sysconfdir") (\_ -> return sysconfdir) getDataFileName :: FilePath -> IO FilePath getDataFileName name = do dir <- getDataDir return (dir ++ "/" ++ name)