Installing Spoofax

Spoofax is distributed as an Eclipse plugin. This guide shows how to download, install, and run Spoofax in Eclipse.


Spoofax runs on the major operating systems:

  • Windows (32 and 64 bits)
  • Linux (32 and 64 bits)
  • macOS (Intel only)

Spoofax requires a working internet connection to download several libraries when it is first started. These libraries are cached afterwards, and only need to be re-downloaded when you update Spoofax.

Installing the Spoofax Eclipse Plugin


To get started with Spoofax, download an Eclipse Oxygen installation with Spoofax preinstalled for your platform:

These are bundled with an embedded Java Runtime Environment (JRE) version 8, such that a JRE on your system is not required. If your system has a JRE of version 8 or higher installed, and would rather use that, use the following download links instead:


Unpack the downloaded archive to a location with write access, since Eclipse requires write access to the unpacked Eclipse installation.


On Windows, do not unpack the Eclipse installation into Program Files, because no write access is granted there, breaking both Eclipse and Spoofax.


On macOS Sierra (10.12) and above, you must move the unpacked file to a different location (such as Applications) after unpacking, to prevent App Translocation from moving the app into a read-only filesystem, breaking Eclipse and Spoofax.

Alternatively, you can prevent App Translocation by clearing attributes from the application. To do this, open the Terminal, navigate to the directory where the is located, and execute:

xattr -rc

Running Eclipse

Start up Eclipse, depending on your operating system:

  • Windows: open spoofax/eclipse.exe
  • Linux: open spoofax/eclipse
  • Mac OSX: open


On macOS, if Eclipse cannot be opened because it is from an unidentified developer, right click and choose Open to grant permission to open Eclipse.

If Eclipse cannot be opened because it is damaged, open the Terminal, navigate to the directory where is located, and execute:

xattr -rc

This will clear the attributes that Eclipse has been downloaded from the internet, and grant permission to open Eclipse.


On Ubuntu 16.04, Eclipse is known to have problems with GTK+ 3. To work around this issue, add the following to eclipse.ini:


before the line:


After starting up, choose where your workspace will be stored. The Eclipse workspace will contain all of your settings, and is the default location for new projects.

Some Eclipse settings unfortunately have sub-optimal defaults. After you have chosen a workspace and Eclipse has completely started up, go to the Eclipse preferences and set these options:

  • General ‣ Startup and Shutdown
    • Enable: Refresh workspace on startup
  • General ‣ Workspace
    • Enable: Refresh using native hooks or polling

Further Instructions

Follow the Getting Started guide to get started with Spoofax in Eclipse.