1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
module VerifyPackageConfig where
packageVersion :: String
packageVersion = "2.0.0"
packagePath :: String
packagePath = "/tmp/cpm/verify/"
packageLoadPath :: String
packageLoadPath = "/tmp/cpm/verify/src:/tmp/cpm/verify/.cpm/packages/rewriting-2.0.0/src:/tmp/cpm/verify/.cpm/packages/currycheck-2.0.0/src:/tmp/cpm/verify/.cpm/packages/cass-2.0.0/src:/tmp/cpm/verify/.cpm/packages/xml-2.0.0/src:/tmp/cpm/verify/.cpm/packages/flatcurry-2.0.0/src:/tmp/cpm/verify/.cpm/packages/cass-analysis-2.0.0/src:/tmp/cpm/verify/.cpm/packages/wl-pprint-0.0.1/src:/tmp/cpm/verify/.cpm/packages/abstract-curry-2.0.0/src"
packageExecutable :: String
packageExecutable = "/net/medoc/home/mh/.cpm/bin/curry-verify"
|