1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36

----------------------------------------------------------------------
--- This module contains some configuration parameters for
--- the CurryDoc tool.
---
--- @author Michael Hanus, Jan Tikovsky
--- @version February 2023
----------------------------------------------------------------------

module CurryDoc.Config where

import Curry.Compiler.Distribution ( curryCompiler )
import CurryDoc.PackageConfig      ( packageVersion )
import Language.Curry.Resources    ( curryWikiURL, kics2URL, pakcsURL )

--- Version of currydoc
currydocVersion :: String
currydocVersion = "Version " ++ packageVersion ++ " of February 14, 2023"

--- The URL of the base directory containing the styles, images, etc.
styleBaseURL :: String
styleBaseURL = "bt4"

--- The URL of the base directory containing the styles, images, etc.
currySystemURL :: String
currySystemURL = if curryCompiler=="pakcs" then pakcsURL
                                           else kics2URL

--- The name of this Curry system.
currySystem :: String
currySystem | curryCompiler == "pakcs" = "PAKCS"
            | curryCompiler == "kics2" = "KiCS2"
            | otherwise                = "???"

--- The URL of the Curry Wiki
curryDocURL :: String
curryDocURL = curryWikiURL ++ "/tools/currydoc"