An IDE development course project: a miniKanren IDE plugin in C#
Install SDK and prepare backend plugin build using Gradle
if using IntelliJ IDEA:
Open the rider-spring
project in IntelliJ IDEA. When suggested to import Gradle projects, accept the suggestion: Gradle will download Rider SDK and set up all necessary dependencies. rider-spring
uses the gradle-intellij-plugin Gradle plugin that downloads the IntelliJ Platform SDK, packs the plugin and installs it into a sandboxed IDE or its test shell, which allows testing the plugin in a separate environment.
Open the Gradle tool window in IntelliJ IDEA (View | Tool Windows | Gradle), and execute the rider-spring/prepare
task.
if using Gradle command line:
$ cd ./rider-spring
$ ./gradlew prepare
Open Spring.sln
solution and build using the Debug
configuration. The output assemblies are later copied to the frontend plugin directories by Gradle. (If you’re seeing build errors in Rider, choose File | Settings | Build, Execution, Deployment | Toolset and Build, and in the Use MSBuild version drop-down, make sure that Rider uses MSBuild shipped with .NET Core SDK.)
Launch Rider with the plugin installed
if using IntelliJ IDEA:
Open the Gradle tool window in IntelliJ IDEA (View | Tool Windows | Gradle), and execute the intellij/runIde
task. This will build the frontend, install the plugin to a sandbox, and launch Rider with the plugin.
if using Gradle command line:
$ ./gradlew runIde
Debug
configuration in Spring.sln
.buildPlugin
Gradle task.rider-spring/build/distributions/*.zip
) to your Rider installation from disk.