package.json 2.27 KB
Newer Older
Michael Hanus's avatar
Michael Hanus committed
1
2
{
    "name": "currypp",
3
    "version": "2.0.0",
Michael Hanus's avatar
Michael Hanus committed
4
5
    "author": "Michael Hanus <mh@informatik.uni-kiel.de>",
    "synopsis": "The standard preprocessor of Curry",
Michael Hanus's avatar
Michael Hanus committed
6
    "category": [ "Programming", "Analysis" ],
Michael Hanus's avatar
Michael Hanus committed
7
    "dependencies": {
Michael Hanus's avatar
Michael Hanus committed
8
        "base"          : ">= 1.0.0, < 2.0.0",
Michael Hanus's avatar
Michael Hanus committed
9
10
11
        "abstract-curry": ">= 2.0.0",
        "cass-analysis" : ">= 2.0.0",
        "cass"          : ">= 2.0.0",
Michael Hanus's avatar
Michael Hanus committed
12
        "cdbi"          : ">= 2.0.0",
13
        "currycheck"    : ">= 2.0.0",
Michael Hanus's avatar
Michael Hanus committed
14
        "currypath"     : ">= 0.0.1",
15
        "fl-parser"     : ">= 1.0.0",
Michael Hanus's avatar
Michael Hanus committed
16
        "html"          : ">= 2.0.0",
17
        "regexp"        : ">= 1.1.0",
Michael Hanus's avatar
Michael Hanus committed
18
        "wl-pprint"     : ">= 0.0.1",
Michael Hanus's avatar
Michael Hanus committed
19
        "xml"           : ">= 2.0.0"
Michael Hanus's avatar
Michael Hanus committed
20
    },
Michael Hanus's avatar
Michael Hanus committed
21
    "compilerCompatibility": {
22
23
        "pakcs": ">= 2.0.0",
        "kics2": ">= 2.0.0"
Michael Hanus's avatar
Michael Hanus committed
24
    },
25
26
    "sourceDirs": [ "src", "src/IntegratedCode",
                    "src/IntegratedCode/Parser",
Michael Hanus's avatar
Michael Hanus committed
27
28
                    "src/IntegratedCode/Parser/ML",
                    "src/IntegratedCode/Parser/SQL",
29
                    "src/DefaultRules",
Michael Hanus's avatar
Michael Hanus committed
30
31
32
33
                    "src/ContractWrapper"
                  ],
    "exportedModules": [ "Main" ],
    "executable": {
34
        "name": "currypp",
Michael Hanus's avatar
Michael Hanus committed
35
36
37
38
39
40
        "main": "Main"
    },
    "testsuite": [
        { "src-dir": "src/IntegratedCode/Examples",
          "modules": [ "testFormat", "testHtml", "testRegExps" ]
        },
41
42
43
44
        { "src-dir": "src/IntegratedCode/ExamplesSQL",
          "options": "-v",
          "script" : "test.sh"
        },
Michael Hanus's avatar
Michael Hanus committed
45
46
47
48
49
50
51
52
53
54
55
56
57
        { "src-dir": "src/DefaultRules/Examples",
          "options": "-m40",
          "modules": [ "BreakWhere", "BubbleSort", "ColorMap", "DutchFlag",
                       "FixInt", "FloatString", "Guards", "ListFuns", "Lookup",
                       "Nim", "ParOr", "Queens", "Rev2", "WorldCup",
                       "ParOrDet", "BubbleSortDet", "DutchFlagDet" ]
        },
        { "src-dir": "src/ContractWrapper/Examples",
          "options": "--nospec --nodet --deftype=Int",
          "modules": [ "BubbleSort", "BubbleSortFormat", "Coin",
                       "FibInfinite", "Quicksort" ]
        }
    ],
58
59
60
61
    "documentation": {
        "src-dir": "docs",
        "main": "main.tex"
    },
Michael Hanus's avatar
Michael Hanus committed
62
63
64
65
66
    "source": {
        "git": "https://git.ps.informatik.uni-kiel.de/curry-packages/currypp.git",
        "tag": "$version"
    }
}