Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
23 changes: 0 additions & 23 deletions build.gradle
Original file line number Diff line number Diff line change
Expand Up @@ -12,8 +12,6 @@ plugins {
id("java")
// https://github.com/tbroyer/gradle-errorprone-plugin
alias(libs.plugins.net.ltgt.errorprone)
// https://docs.gradle.org/current/userguide/eclipse_plugin.html
id("eclipse")
// To show task list as a tree, run: ./gradlew <taskname> taskTree
alias(libs.plugins.com.dorongold.task.tree)
// This is a locally built "plugin" that contains the spotless configuration. It is in
Expand Down Expand Up @@ -149,7 +147,6 @@ allprojects { currentProj ->
group = "io.github.eisop"

apply plugin: "java"
apply plugin: "eclipse"
apply plugin: "com.gradleup.shadow"
apply plugin: "de.undercouch.download"
apply plugin: "net.ltgt.errorprone"
Expand Down Expand Up @@ -216,26 +213,6 @@ allprojects { currentProj ->
subprojects.each { sp -> allProjects project(sp.path) }
}

eclipse.classpath {
defaultOutputDir = file("build/default")
file.whenMerged { cp ->
// Remove bare "src/main" source folder entries that cause Eclipse nesting errors.
// See https://github.com/eisop/checker-framework/issues/2130 for a permanent cleanup.
cp.entries.removeAll { e ->
e instanceof org.gradle.plugins.ide.eclipse.model.SourceFolder && e.path == "src/main"
}

cp.entries.forEach { cpe ->
if (cpe instanceof org.gradle.plugins.ide.eclipse.model.SourceFolder) {
cpe.output = cpe.output.replace "bin/", "build/classes/java/"
}
if (cpe instanceof org.gradle.plugins.ide.eclipse.model.Output) {
cpe.path = cpe.path.replace "bin/", "build/"
}
}
}
}

ext {
// The add-export and add-open arguments for compiling and for running the Checker Framework.
// Keep these lists in sync with the lists in CheckerMain#getExecArguments,
Expand Down
3 changes: 0 additions & 3 deletions checker/bin-devel/test-misc.sh
Original file line number Diff line number Diff line change
Expand Up @@ -59,9 +59,6 @@ git diff --exit-code docs/manual/contributors.tex \
# Checker Framework into IDEs like IntelliJ works.
./gradlew tasks --all --warning-mode=all

# Check Eclipse and IDE project configuration generation
./gradlew cleanEclipse eclipse --warning-mode=all

# Check that modern APIs are used
./gradlew modernizer

Expand Down
8 changes: 0 additions & 8 deletions docs/developer/developer-manual.html
Original file line number Diff line number Diff line change
Expand Up @@ -283,14 +283,6 @@ <h2 id="IDE_configuration">IDE configuration</h2>
If your IDE cannot find <code>com.sun.source.*</code> packages, try changing the project JDK to JDK 11 or JDK 17.
</p>

<p>
For VS Code and Eclipse, run <code>./gradlew eclipse</code> before running
the IDE for the first time.
This ensures generated files are not put in the standard <code>../bin/</code> directories.
If you switch branches or update Gradle dependencies, run
<code>./gradlew cleanEclipse eclipse</code> to reset and regenerate the IDE configuration.
</p>

<p>
For VS Code users, install the recommended "Extension Pack for Java"
(<code>vscjava.vscode-java-pack</code>). Recommended workspace settings and extension
Expand Down
Loading