package.json 1.69 KB
Newer Older
1
2
{
    "name": "currypp",
3
    "version": "2.0.0",
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
8
    "dependencies": {
    },
9
10
11
    "compilerCompatibility": {
        "pakcs": ">= 2.0.0",
        "kics2": ">= 2.0.0"
12
    },
Michael Hanus's avatar
Michael Hanus committed
13
14
15
16
17
18
19
20
21
22
23
24
    "sourceDirs": [ "src", "src/IntegratedCode",
                    "src/IntegratedCode/Parser",
                    "src/IntegratedCode/Parser/ML",
                    "src/IntegratedCode/Parser/SQL",
                    "src/DefaultRules",
                    "src/ContractWrapper"
                  ],
    "exportedModules": [ "Main" ],
    "executable": {
        "name": "currypp",
        "main": "Main"
    },
25
26
    "testsuite": [
        { "src-dir": "src/IntegratedCode/Examples",
Michael Hanus's avatar
Michael Hanus committed
27
          "modules": [ "testFormat", "testRegExps" ]
28
29
30
31
32
33
34
35
36
37
38
39
40
41
        },
        { "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" ]
        }
    ],
Michael Hanus's avatar
Michael Hanus committed
42
43
44
45
    "documentation": {
        "src-dir": "docs",
        "main": "main.tex"
    },
46
47
48
49
50
    "source": {
        "git": "https://git.ps.informatik.uni-kiel.de/curry-packages/currypp.git",
        "tag": "$version"
    }
}