{-# LANGUAGE CPP #-} {-# OPTIONS_GHC -fno-warn-missing-import-lists #-} {-# OPTIONS_GHC -fno-warn-implicit-prelude #-} module Paths_liquid_fixpoint ( 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,6,0,1] [] bindir, libdir, dynlibdir, datadir, libexecdir, sysconfdir :: FilePath bindir = "/Users/niki/liquidtypes/liquidhaskell/.stack-work/install/x86_64-osx/lts-8.9/8.0.2/bin" libdir = "/Users/niki/liquidtypes/liquidhaskell/.stack-work/install/x86_64-osx/lts-8.9/8.0.2/lib/x86_64-osx-ghc-8.0.2/liquid-fixpoint-0.6.0.1-6TLfofWrTFvFP1QJmA2Rhf" dynlibdir = "/Users/niki/liquidtypes/liquidhaskell/.stack-work/install/x86_64-osx/lts-8.9/8.0.2/lib/x86_64-osx-ghc-8.0.2" datadir = "/Users/niki/liquidtypes/liquidhaskell/.stack-work/install/x86_64-osx/lts-8.9/8.0.2/share/x86_64-osx-ghc-8.0.2/liquid-fixpoint-0.6.0.1" libexecdir = "/Users/niki/liquidtypes/liquidhaskell/.stack-work/install/x86_64-osx/lts-8.9/8.0.2/libexec" sysconfdir = "/Users/niki/liquidtypes/liquidhaskell/.stack-work/install/x86_64-osx/lts-8.9/8.0.2/etc" getBinDir, getLibDir, getDynLibDir, getDataDir, getLibexecDir, getSysconfDir :: IO FilePath getBinDir = catchIO (getEnv "liquid_fixpoint_bindir") (\_ -> return bindir) getLibDir = catchIO (getEnv "liquid_fixpoint_libdir") (\_ -> return libdir) getDynLibDir = catchIO (getEnv "liquid_fixpoint_dynlibdir") (\_ -> return dynlibdir) getDataDir = catchIO (getEnv "liquid_fixpoint_datadir") (\_ -> return datadir) getLibexecDir = catchIO (getEnv "liquid_fixpoint_libexecdir") (\_ -> return libexecdir) getSysconfDir = catchIO (getEnv "liquid_fixpoint_sysconfdir") (\_ -> return sysconfdir) getDataFileName :: FilePath -> IO FilePath getDataFileName name = do dir <- getDataDir return (dir ++ "/" ++ name)