1 2 3 4 5 6 7 8 9 10 11 12 13 |
module PackageConfig where --- Package version as a string. packageVersion :: String packageVersion = "0.0.1" --- Package location. packagePath :: String packagePath = "/tmp/cpm/contract-prover/" --- Location of the executable installed by this package. packageExecutable :: String packageExecutable = "/net/medoc/home/mh/.cpm/bin/curry-ctopt" |