Commit ebfd5699 authored by Michael Hanus 's avatar Michael Hanus
Browse files

Symbolic links added

parent a5f77053
......@@ -5,31 +5,11 @@ Curry_Main_Goal.curry
cpm/src/CPM/ConfigPackage.curry
*.agdai
*_cache
browser/.cpm/packages/addtypes-0.0.1
browser/.cpm/packages/cass-2.0.0
browser/.cpm/packages/cass-analysis-2.0.0
browser/.cpm/packages/importusage-0.0.1
browser/.cpm/packages/showflatcurry-0.0.1
currycheck/.cpm/packages/rewriting-2.0.0
currypp/.cpm/packages/cass-2.0.0
currypp/.cpm/packages/cass-analysis-2.0.0
currypp/.cpm/packages/currycheck-2.0.0
currypp/.cpm/packages/rewriting-2.0.0
currypp/.cpm/packages/abstract-curry-2.0.0
currypp/.cpm/packages/flatcurry-2.0.0
currypp/.cpm/packages/html-2.0.0
currypp/.cpm/packages/xml-2.0.0
optimize/.cpm/packages/cass-2.0.0
optimize/.cpm/packages/cass-analysis-2.0.0
optimize/.cpm/packages/flatcurry-2.0.0
optimize/.cpm/packages/xml-2.0.0
# executables
browser/BrowserGUI
cpm/src/CPM.Main
cpns/CPNSD
currypp/Main
currycheck/CurryCheck
optimize/BindingOpt
runcurry/RunCurry
www/Registry
......
abstract-curry
\ No newline at end of file
cass
\ No newline at end of file
cass-analysis
\ No newline at end of file
currycheck
\ No newline at end of file
flatcurry
\ No newline at end of file
html
\ No newline at end of file
rewriting
\ No newline at end of file
xml
\ No newline at end of file
......@@ -3,14 +3,30 @@
"version": "2.0.0",
"author": "Michael Hanus <mh@informatik.uni-kiel.de>",
"synopsis": "The standard preprocessor of Curry",
"category": [ "Analysis" ],
"category": [ "Programming", "Analysis" ],
"dependencies": {
"html": ">= 2.0.0"
"abstract-curry": ">= 2.0.0",
"cass-analysis" : ">= 2.0.0",
"cass" : ">= 2.0.0",
"currycheck" : ">= 2.0.0",
"html" : ">= 2.0.0"
},
"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" ]
......@@ -32,6 +48,10 @@
"FibInfinite", "Quicksort" ]
}
],
"documentation": {
"src-dir": "docs",
"main": "main.tex"
},
"source": {
"git": "https://git.ps.informatik.uni-kiel.de/curry-packages/currypp.git",
"tag": "$version"
......
cass
\ No newline at end of file
cass-analysis
\ No newline at end of file
flatcurry
\ No newline at end of file
xml
\ No newline at end of file
......@@ -4,11 +4,19 @@
"author": "Michael Hanus <mh@informatik.uni-kiel.de>",
"synopsis": "A transformation tool to replace Boolean equalities by equational constraints",
"category": [ "Analysis", "Optimization" ],
"dependencies": { },
"dependencies": {
"cass-analysis": ">= 2.0.0",
"cass" : ">= 2.0.0",
"flatcurry" : ">= 2.0.0"
},
"compilerCompatibility": {
"pakcs": ">= 2.0.0",
"kics2": ">= 2.0.0"
},
"executable": {
"name": "curry-transbooleq",
"main": "BindingOpt"
},
"testsuite": {
"src-dir": "examples",
"modules": [ "Expressions", "Grep", "Half", "Last", "Various" ]
......
......@@ -9,6 +9,10 @@
"pakcs": ">= 1.14.0",
"kics2": ">= 0.5.0"
},
"executable": {
"name": "runcurry",
"main": "RunCurry"
},
"testsuite": {
"src-dir": "examples",
"options": "-v",
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment