package.json 2.19 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
9
10
        "abstract-curry": ">= 2.0.0",
        "cass-analysis" : ">= 2.0.0",
        "cass"          : ">= 2.0.0",
Michael Hanus's avatar
Michael Hanus committed
11
        "cdbi"          : ">= 2.0.0",
12
        "currycheck"    : ">= 2.0.0",
13
        "fl-parser"     : ">= 1.0.0",
Michael Hanus's avatar
Michael Hanus committed
14
        "html"          : ">= 2.0.0",
15
        "regexp"        : ">= 1.1.0",
Michael Hanus's avatar
Michael Hanus committed
16
        "wl-pprint"     : ">= 0.0.1",
Michael Hanus's avatar
Michael Hanus committed
17
        "xml"           : ">= 2.0.0"
Michael Hanus's avatar
Michael Hanus committed
18
    },
Michael Hanus's avatar
Michael Hanus committed
19
    "compilerCompatibility": {
20
21
        "pakcs": ">= 2.0.0",
        "kics2": ">= 2.0.0"
Michael Hanus's avatar
Michael Hanus committed
22
    },
23
24
    "sourceDirs": [ "src", "src/IntegratedCode",
                    "src/IntegratedCode/Parser",
Michael Hanus's avatar
Michael Hanus committed
25
26
                    "src/IntegratedCode/Parser/ML",
                    "src/IntegratedCode/Parser/SQL",
27
                    "src/DefaultRules",
Michael Hanus's avatar
Michael Hanus committed
28
29
30
31
                    "src/ContractWrapper"
                  ],
    "exportedModules": [ "Main" ],
    "executable": {
32
        "name": "currypp",
Michael Hanus's avatar
Michael Hanus committed
33
34
35
36
37
38
        "main": "Main"
    },
    "testsuite": [
        { "src-dir": "src/IntegratedCode/Examples",
          "modules": [ "testFormat", "testHtml", "testRegExps" ]
        },
39
40
41
42
        { "src-dir": "src/IntegratedCode/ExamplesSQL",
          "options": "-v",
          "script" : "test.sh"
        },
Michael Hanus's avatar
Michael Hanus committed
43
44
45
46
47
48
49
50
51
52
53
54
55
        { "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" ]
        }
    ],
56
57
58
59
    "documentation": {
        "src-dir": "docs",
        "main": "main.tex"
    },
Michael Hanus's avatar
Michael Hanus committed
60
61
62
63
64
    "source": {
        "git": "https://git.ps.informatik.uni-kiel.de/curry-packages/currypp.git",
        "tag": "$version"
    }
}