build.gradle.NEW

/**
 * Build the TrueJ compiler and package it for distribution.
 *
 * According to the Gradle documentation,
 * after building, TrueJ can be run with
 *   gradle run --args="<arguments and filenames here>"
 * for instance, compiling the truej code for a project named "todo" might be
 *   gradle run --args="-genout ../todo/generated/ ../todo/src/main/truej/"
 */

plugins {
  id 'java-library'
  id 'antlr'
}

repositories {
  mavenCentral()
}

project.ext {
    cukeVersion = '6.10.2'
}

dependencies { // https://mvnrepository.com/artifact/...
                // ...org.antlr/antlr4
  antlr              'org.antlr:antlr4:4.8-1'
  implementation     'it.unibo.alice.tuprolog:tuprolog:3.3.0'
  implementation     'org.eclipse.jdt:org.eclipse.jdt.annotation:2.2.600'
  testImplementation 'io.cucumber:cucumber-java:'  + cukeVersion
  testImplementation 'io.cucumber:cucumber-junit:' + cukeVersion
}

generateGrammarSource {
    //maxHeapSize = "64m"
    arguments += ["-visitor", "-no-listener", "-long-messages"
                  // , "-package", "tlang"
                  // , "-o", "tlang"
                 ]
}

java {
    // withJavadocJar() // problems with Gradle 6.6
    // withSourcesJar() // problems with Gradle 6.6
}

//// Used with plugin 'Java'
//tasks.withType(JavaCompile) {
//    //enable compilation in a separate daemon process
//    options.fork = true
//}

//compileJava {
//  options.compilerArgs.addAll(['--add-exports jdk.compiler/com.sun.tools.javac.code=ALL-UNNAMED'])
//  //  options.release = 15 // Defaults to compiler release that is used
//  //  options.compilerArgs.addAll(['--doclint-format', 'html5'])
//}

sourceSets {
  main {
    java {
      srcDir "src/main/java"
      srcDir "build/generated-src/antlr/main"
    }
  }
}

configurations {
    cucumberRuntime {
        extendsFrom testImplementation
    }
}

/** Test all the features, even details and end-to-end tests (but not the prover)
 */
task TestReadyFeatures() {
    dependsOn assemble, testClasses
    doLast {
        javaexec {
            main = "io.cucumber.core.cli.Main"
            classpath = ( configurations.cucumberRuntime + sourceSets.main.output
                        + sourceSets.test.output )
            args = [ '--plugin', 'progress'
                   , '--plugin', 'html:build/reports/tests/cucumber/ReadyFeatures.html'
                   , '--glue', 'tlang'
                   , '--tags', "@Ready and not @InProcess"
                   , 'src/test/resources/tlang'
                   ]
        }
    }
}

task TestFeaturesInProgress() {
    dependsOn assemble, testClasses
    doLast {
        javaexec {
            main = "io.cucumber.core.cli.Main"
            classpath = ( configurations.cucumberRuntime + sourceSets.main.output
                        + sourceSets.test.output )
            args = [ '--plugin', 'progress'
                   , '--plugin', 'html:build/reports/tests/cucumber/FeaturesInProgress.html'
                   , '--glue',   'tlang'
                   , '--tags', "@InProgress"
                   , '--tags', "@testthis"
                   , 'src/test/resources/tlang/'
                   ]
        }
    }
}

task TestAtTestthis() { // test Examples and Scenarios with @testthis
    dependsOn assemble, testClasses
    doLast {
        javaexec {
            main = "io.cucumber.core.cli.Main"
            classpath = ( configurations.cucumberRuntime + sourceSets.main.output
                        + sourceSets.test.output )
            args = [ '--plugin', 'progress'
                   , '--plugin', 'html:build/reports/tests/cucumber/FeaturesInProgress.html'
                   , '--glue',   'tlang'
                   , '--tags', "@testthis"
                   , 'src/test/resources/tlang/'
                   ]
        }
    }
}

task CukeHelp () {
  dependsOn assemble, testClasses
  doLast {
    javaexec {
      main = "io.cucumber.core.cli.Main"
      classpath = ( configurations.cucumberRuntime + sourceSets.main.output
                  + sourceSets.test.output )
      args = [ '--help'
             ]
    }
  }

}

task TestProverFeatures() {
    dependsOn assemble, testClasses
    doLast {
        javaexec {
            main = "io.cucumber.core.cli.Main"
            classpath = ( configurations.cucumberRuntime + sourceSets.main.output
                        + sourceSets.test.output )
            args = [ '--plugin', 'progress'
                   , '--plugin', 'html:build/reports/tests/cucumber/ProverFeatures.html'
                   //, '--glue',   ''
                   //, '--tags', "@testthis"
                   , 'src/test/resources/ProofTestFeatures'
                   //, 'src/test/resources/ProofTestFeatures/pl1ha_eTLeanTaP_predicate-calculus.feature'
                   ]
        }
    }
}

version = '0.0.0'

//// The following will eliminate the errors for duplicated directories/files,
//// which should be fixed in Gradle before I need it.
//task archive(type: Zip) {
//    duplicatesStrategy = DuplicatesStrategy.INCLUDE // allow duplicates
//    ...
//}