diff --git a/.ci-build.sh b/.ci-build.sh index 75ebf61..303f912 100755 --- a/.ci-build.sh +++ b/.ci-build.sh @@ -11,3 +11,5 @@ export SHELLOPTS ./gradlew check ./gradlew test +./gradlew testCheckScript +./gradlew testInferenceScript diff --git a/build.gradle b/build.gradle index 60c37c1..57314f3 100644 --- a/build.gradle +++ b/build.gradle @@ -112,6 +112,22 @@ task cloneAndBuildDependencies(type: Exec) { executable './scripts/setup-deps.sh' } +task testCheckScript(type: Exec) { + description 'Runs the script that checks the tests' + executable './scripts/check.sh' + args = [ + 'tests/typecheck/topol/Wildcards.java' + ] +} + +task testInferenceScript(type: Exec) { + description 'Runs the script that checks the tests' + executable './scripts/infer.sh' + args = [ + 'tests/inference/Person.java' + ] +} + tasks.withType(JavaCompile) { compilationTask -> options.compilerArgs = [ '-implicit:class',