{-# LANGUAGE CPP #-}
{-# LANGUAGE NoRebindableSyntax #-}
{-# OPTIONS_GHC -fno-warn-missing-import-lists #-}
module Paths_tamarin_prover_theory (
    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 [1,7,0] []
bindir, libdir, dynlibdir, datadir, libexecdir, sysconfdir :: FilePath

bindir     = "/home/jakub/Desktop/tamarin-prover/.stack-work/install/x86_64-linux-tinfo6/b1c3538a141a25ff0dda5a76a9c30795a52a33a556e22113a4036e03b320d001/8.8.4/bin"
libdir     = "/home/jakub/Desktop/tamarin-prover/.stack-work/install/x86_64-linux-tinfo6/b1c3538a141a25ff0dda5a76a9c30795a52a33a556e22113a4036e03b320d001/8.8.4/lib/x86_64-linux-ghc-8.8.4/tamarin-prover-theory-1.7.0-5cquaBe8puF1ewCJ5WK39e"
dynlibdir  = "/home/jakub/Desktop/tamarin-prover/.stack-work/install/x86_64-linux-tinfo6/b1c3538a141a25ff0dda5a76a9c30795a52a33a556e22113a4036e03b320d001/8.8.4/lib/x86_64-linux-ghc-8.8.4"
datadir    = "/home/jakub/Desktop/tamarin-prover/.stack-work/install/x86_64-linux-tinfo6/b1c3538a141a25ff0dda5a76a9c30795a52a33a556e22113a4036e03b320d001/8.8.4/share/x86_64-linux-ghc-8.8.4/tamarin-prover-theory-1.7.0"
libexecdir = "/home/jakub/Desktop/tamarin-prover/.stack-work/install/x86_64-linux-tinfo6/b1c3538a141a25ff0dda5a76a9c30795a52a33a556e22113a4036e03b320d001/8.8.4/libexec/x86_64-linux-ghc-8.8.4/tamarin-prover-theory-1.7.0"
sysconfdir = "/home/jakub/Desktop/tamarin-prover/.stack-work/install/x86_64-linux-tinfo6/b1c3538a141a25ff0dda5a76a9c30795a52a33a556e22113a4036e03b320d001/8.8.4/etc"

getBinDir, getLibDir, getDynLibDir, getDataDir, getLibexecDir, getSysconfDir :: IO FilePath
getBinDir = catchIO (getEnv "tamarin_prover_theory_bindir") (\_ -> return bindir)
getLibDir = catchIO (getEnv "tamarin_prover_theory_libdir") (\_ -> return libdir)
getDynLibDir = catchIO (getEnv "tamarin_prover_theory_dynlibdir") (\_ -> return dynlibdir)
getDataDir = catchIO (getEnv "tamarin_prover_theory_datadir") (\_ -> return datadir)
getLibexecDir = catchIO (getEnv "tamarin_prover_theory_libexecdir") (\_ -> return libexecdir)
getSysconfDir = catchIO (getEnv "tamarin_prover_theory_sysconfdir") (\_ -> return sysconfdir)

getDataFileName :: FilePath -> IO FilePath
getDataFileName name = do
  dir <- getDataDir
  return (dir ++ "/" ++ name)
