Commit 5d3f0bbe authored by Michael Hanus 's avatar Michael Hanus
Browse files

Compiler spec added

parent 1be915e9
......@@ -10,6 +10,10 @@
"currycheck" : ">= 1.0.0",
"verify" : ">= 0.0.1"
},
"compilerCompatibility": {
"pakcs": ">= 1.14.0, < 2.0.0",
"kics2": ">= 0.5.0, < 2.0.0"
},
"sourceDirs": [ "src", "src/IntegratedCode", "src/IntegratedCode/Parser",
"src/IntegratedCode/Parser/ML",
"src/IntegratedCode/Parser/SQL",
......
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