Hets - the Heterogeneous Tool Set

Copyright(c) Dminik Luecke and Uni Bremen 2008
LicenseGPLv2 or higher, see LICENSE.txt
Maintainerluecke@informatik.uni-bremen.de
Stabilityprovisional
Portabilityportable
Safe HaskellNone

Common.ProverTools

Description

check for provers

Synopsis

Documentation

missingExecutableInPath :: String -> IO Bool Source #

check4FileAux Source #

Arguments

:: String

file name

-> String

Environment Variable

-> IO [String] 

checkBinary :: String -> IO (Maybe String) Source #

Checks if a file exists in PATH

check4File Source #

Arguments

:: String

file name

-> String

Environment Variable

-> a 
-> IO [a] 

Checks if a file exists

check4jarFile Source #

Arguments

:: String

environment Variable

-> String

jar file name

-> IO (Bool, FilePath) 

check for java and the jar file in the directory of the variable

check4jarFileWithDefault Source #

Arguments

:: String

default path

-> String

environment Variable

-> String

jar file name

-> IO (Bool, FilePath) 

hetsOWLenv :: String Source #

environment variable for HETS_OWL_TOOLS

check4HetsOWLjar Source #

Arguments

:: String

jar file name

-> IO (Bool, FilePath) 

check for the jar file under HETS_OWL_TOOLS

checkOWLjar :: String -> IO (Maybe String) Source #