Installing the Frege IDE on OSX

October 02, 2012

The focus of this post is to address a bug which breaks the standard installation instructions on OSX.


Download and install the Java 7 JDK

From Spotlight, run Java Preferences and drag Java SE 7 to the top of the list.


Download and extract your favorite flavor of Eclipse Indigo (3.7)

Fix this bug by replacing the executable with the following script:

# This file replaces
# Fixes bug
# Adapted from

cd `dirname $0`

export JAVA_HOME=`/usr/libexec/java_home`

java \
-showversion \
-XX:MaxPermSize=256m \
-Xms40m \
-Xmx512m \
-Xss4m \
-Xdock:icon=../Resources/Eclipse.icns \
-XstartOnFirstThread \
-Dorg.eclipse.swt.internal.carbon.smallFonts \
-Dosgi.requiredJavaVersion=1.5 \
-Declipse.vm=$JAVA_HOME/bin/java \

Frege IDE

Add the IMP Update Site to Eclipse:

With the Group items by category checkbox disabled, install the updates from the Frege IDE Update Site at