1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

module DSDCurryPackageConfig where

--- Package version as a string.
packageVersion :: String
packageVersion = "1.0.0"

--- Package location.
packagePath :: String
packagePath = "/net/medoc/home/cpm/tmpcurrydoc5156/dsdcurry/"

--- Load path for the package (if it is the main package).
packageLoadPath :: String
packageLoadPath = "/net/medoc/home/cpm/tmpcurrydoc5156/dsdcurry/src:/net/medoc/home/cpm/tmpcurrydoc5156/dsdcurry/.cpm/packages/abstract-curry-1.0.0/src"

--- Location of the executable installed by this package.
packageExecutable :: String
packageExecutable = "/net/medoc/home/cpm/.cpm/bin/dsdcurry"