intellij-frege

KO | EN

gitlite — search

#ai #go #rust #docker #nodejs #macos #windows #awesome #cli #kubernetes #pytorch #security #mcp #open-source

(★ 15)

Frege support for IntelliJ IDEA

intellij-frege Latest Version Download

Download Latest Version (.zip)

// repository documentation

Was this content helpful?

★ 0 (0 ratings)

# IntelliJ Support for Frege

This is an experiment to see how well Frege works for developing IntelliJ plugins.
The plan is to develop the plugin _in_ Frege and, once it proves feasible, add the
new functionality to [HaskForce](http://caryrobbins.com/intellij-haskforce/), allowing
HaskForce itself to be written in Frege.

Note that there seems to be an
[existing Frege plugin](https://github.com/Dierk/frege-idea-plugin)
in the works.  Hopefully, if this experiment proves a success, we can merge the two
projects together.

## Building

The simplest way to build is to run `make` from the command line. The `Makefile` is just
a temporary convenience to hold us over until we get something like Gradle configured.

Here's the long way -

1. Configure the Project SDK.
  * Go to **File > Project Structure > Project Settings > Project**
  * Ensure you have an **Intellij IDEA** SDK configured for **Project SDK**.
      If not, choose **New** and create an **Intellij Platform Plugin SDK**
      with **JDK 8**. You might need to create a **JDK 8** if you haven't already.

1. Generate JFlex lexers by running `tools/jflex/generate-sources`

1. Download and copy a [Frege jar](https://github.com/Frege/frege/releases) to the `lib/`
    directory.

1. Generate the Frege parser tokens by running `tools/gen-tokens`

1. Highlight the following modules and choose **Build > Make Selected Modules**
  * java-lib
  * jps-lib
  * jps-plugin

1. Compile Frege sources by running `tools/fregec` with the
   following environment variables -
      * **FREGE_JAR** - (optional) path to Frege jar (defaults to `lib/frege*.jar`)
      * **IDEA_HOME** - path to IntelliJ installation (defaults to `~/opt/idea`)
      * **JAVA** - path to `java` executable
      * **JAVAC** - path to `javac` executable

1. Compile the remaining Java sources using the IDE (**Build > Make Project**)

## Running the Test Suite

Open **FregeTestCase.java**, right-click on the class name, and choose
  **Run 'FregeTestCase'**

You can do the same with any of the other test classes.

intellij-frege

intellij-frege Latest Version Download

Today's picks

Was this content helpful?

Recent Feedback

intellij-frege

intellij-frege Latest Version Download

Today's picks

Was this content helpful?

Recent Feedback

Download README