1.4.1 -> 1.5

JetBrains · Oct 9, 2020 · ca51158 · ca51158
1 parent 7d0ac09
commit ca51158
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/arend.yaml b/arend.yaml
@@ -1,6 +1,6 @@
-langVersion: 1.4.1
+langVersion: 1.5.0
 sourcesDir: src
 testsDir: test
-binariesDir: .bin
+binariesDir: bin
 extensionsDir: ext
 extensionMainClass: org.arend.lib.StdExtension
diff --git a/meta/build.gradle.kts b/meta/build.gradle.kts
@@ -8,7 +8,7 @@ task<JavaExec>("cliCheck") {
     group = "verification"
     dependsOn(projectArend.task(":cli:jarDep"), tasks["classes"])
     main = "-jar"
-    val jarDepPath = projectArend.projectDir.resolve("cli/build/libs/cli-1.4.1-full.jar").absolutePath
+    val jarDepPath = projectArend.projectDir.resolve("cli/build/libs/cli-1.5.0-full.jar").absolutePath
     args(jarDepPath, "-tcr")
     workingDir(projectDir.parent)
 }