20230813 Bloop Setup with Gradle

Update build.gradle

Add the following section after plugins section of build.gradle.

allprojects {
  // test is for compatibility with Metals import
  if (!plugins.hasPlugin("bloop")) {
      apply plugin: "bloop"
  }
}

Update setting.gradle

Update settings.gradle and add the following after plugin management:

buildscript {
  repositories {
      mavenCentral()
  }

  dependencies {
      classpath 'ch.epfl.scala:gradle-bloop_2.13:1.6.1'
  }
}

Run the following gradle command to get started with bloop:

$ ./gradlew bloopInstall