| Copyright | (c) Dminik Luecke, and Uni Bremen 2008 |
|---|---|
| License | GPLv2 or higher, see LICENSE.txt |
| Maintainer | luecke@informatik.uni-bremen.de |
| Stability | provisional |
| Portability | portable |
| Safe Haskell | None |
Common.ProverTools
Description
check for provers
- missingExecutableInPath :: String -> IO Bool
- check4FileAux :: String -> String -> IO [String]
- checkBinary :: String -> IO (Maybe String)
- check4File :: String -> String -> a -> IO [a]
- check4jarFile :: String -> String -> IO (Bool, FilePath)
- check4jarFileWithDefault :: String -> String -> String -> IO (Bool, FilePath)
- hetsOWLenv :: String
- check4HetsOWLjar :: String -> IO (Bool, FilePath)
- checkOWLjar :: String -> IO (Maybe String)
Documentation
missingExecutableInPath :: String -> IO Bool
checkBinary :: String -> IO (Maybe String)
Checks if a file exists in PATH
Checks if a file exists
check for java and the jar file in the directory of the variable
hetsOWLenv :: String
environment variable for HETS_OWL_TOOLS
check for the jar file under HETS_OWL_TOOLS
checkOWLjar :: String -> IO (Maybe String)