| 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
Synopsis
- 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 Source #
Arguments
| :: String | file name |
| -> String | Environment Variable |
| -> IO [String] |
checkBinary :: String -> IO (Maybe String) Source #
Checks if a file exists in PATH
Arguments
| :: String | file name |
| -> String | Environment Variable |
| -> a | |
| -> IO [a] |
Checks if a file exists
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
Arguments
| :: String | jar file name |
| -> IO (Bool, FilePath) |
check for the jar file under HETS_OWL_TOOLS
checkOWLjar :: String -> IO (Maybe String) Source #