New Version of DrJava with Mint

I just made a new release of the all-in-one DrJava with Mint:

drjava-r5121-mint-r14186.jar

On the Mint side, there is only one small change: Previously, the Mint compiler only appeared in the "Compiler" drop-down box if the "Display all compiler versions" preference was enabled, which by default was not the case.

Happy experimentation with Mint!

All in One File!

After integrating Mint into DrJava last week, we have now made it even simpler to experiment with Mint: You can download a copy of DrJava that already includes the Mint compiler, all in one file:

• DrJava with Mint (check the implementation page for newer versions)
  

That means on Windows and Linux, provided you have installed the JDK 6, you can just double-click on the jar file or start it using
java -jar drjava-r5104-mint-r14185.jar

On MacOS, you still need to install Soylatte and X11 as described in the previous post, but you don't need to set up Mint. Just run it with
java -jar drjava-r5104-mint-r14185.jar
using Soylatte under X11.

This DrJava with Mint jar file doesn't give you the mintc and mint command line utilities, but you can edit, compile and run Mint programs in DrJava. This is probably the easiest way to experiment with Mint!

Note: We recommend that you disable DrJava's auto-update feature when using the DrJava with Mint jar file. The auto-update would otherwise download new versions of DrJava without integrated Mint. Please go to Edit -> Preferences, select the Notifications category, and set "Check for new versions?" to "none (disabled)".