{
    "name": "currypp",
    "version": "2.0.0",
    "author": "Michael Hanus <mh@informatik.uni-kiel.de>",
    "synopsis": "The standard preprocessor of Curry",
    "category": [ "Programming", "Analysis" ],
    "dependencies": {
        "base"          : ">= 1.0.0, < 2.0.0",
        "abstract-curry": ">= 2.0.0",
        "cass-analysis" : ">= 2.0.0",
        "cass"          : ">= 2.0.0",
        "cdbi"          : ">= 2.0.0",
        "contracts"     : ">= 0.0.1",
        "currycheck"    : ">= 2.0.0",
        "currypath"     : ">= 0.0.1",
        "finite-map"    : ">= 0.0.1",
        "fl-parser"     : ">= 1.0.0",
        "flatcurry"     : ">= 2.0.0",
        "html"          : ">= 2.0.0",
        "printf"        : ">= 0.0.1",
        "regexp"        : ">= 1.1.0",
        "searchtree"    : ">= 0.0.1",
        "setfunctions"  : ">= 0.0.1",
        "wl-pprint"     : ">= 0.0.1",
        "xml"           : ">= 2.0.0",

        "easycheck"     : ">= 0.0.1"
    },
    "compilerCompatibility": {
        "pakcs": ">= 2.0.0",
        "kics2": ">= 2.0.0"
    },
    "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"
    },
    "testsuite": [
        { "src-dir": "src/IntegratedCode/Examples",
          "modules": [ "testFormat", "testHtml", "testRegExps" ]
        },
        { "src-dir": "src/IntegratedCode/ExamplesSQL",
          "options": "-v",
          "script" : "test.sh"
        },
        { "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" ]
        }
    ],
    "documentation": {
        "src-dir": "docs",
        "main": "main.tex"
    },
    "source": {
        "git": "https://git.ps.informatik.uni-kiel.de/curry-packages/currypp.git",
        "tag": "$version"
    }
}