Commit 17c7c9d3 authored by Michael Hanus 's avatar Michael Hanus

Code reformatted and directories renamed

parent cf958928
*~
.curry
.cpm
src/CASS/PackageConfig.curry
......@@ -18,23 +18,23 @@ module CASS.Configuration
) where
import System
import Distribution(installDir, curryCompiler)
import Distribution (curryCompiler)
import PropertyFile
import ReadNumeric
import FilePath(FilePath, (</>), (<.>))
import FilePath (FilePath, (</>), (<.>))
import Directory
import ReadShowTerm
import Sort(mergeSort)
import Sort (mergeSort)
import Global
import Char(isSpace)
import Char (isSpace)
import Analysis.Logging (debugMessage, setDebugLevel)
import CASS.PackageConfig (packagePath, packageExecutable)
import Analysis.Logging (debugMessage, setDebugLevel)
import CASS.PackageConfig (packagePath, packageExecutable, packageVersion)
systemBanner :: String
systemBanner =
let bannerText = "CASS: Curry Analysis Server System ("++
"version of 23/01/2017 for "++curryCompiler++")"
let bannerText = "CASS: Curry Analysis Server System (Version " ++
packageVersion ++ " of 23/01/2017 for "++curryCompiler++")"
bannerLine = take (length bannerText) (repeat '=')
in bannerLine ++ "\n" ++ bannerText ++ "\n" ++ bannerLine
......@@ -45,12 +45,11 @@ systemBanner =
--- of the server and the workers, and to find the documentation
--- of the various analyses.
baseDir :: String
--baseDir = installDir </> "currytools" </> "CASS"
baseDir = packagePath
--- The directory containing the documentations of the various analyses.
docDir :: String
docDir = baseDir </> "Docs"
docDir = baseDir </> "docs"
--- The name of the main executable. Used to start workers in `CASS.Server`.
executableName :: String
......
......@@ -17,7 +17,7 @@ import CASS.Configuration (docDir)
--- Gets the documentation of an analysis with a registered name.
--- Returns `Nothing` if no documentation exist.
--- The documentation of an analysis with name AN is usually stored
--- in the file `<CURRYROOT>/currytools/CASS/Docs/AN.md`.
--- in the file `<PACKAGEROOT>/docs/AN.md`.
getAnalysisDoc :: String -> IO (Maybe String)
getAnalysisDoc aname = do
let docfilename = docDir </> aname <.> "md"
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment