Bookmark this site!

2007-11-20

polyml

Dave Matthews's polyml is my implementation of choice for Standard ML (my language of choice).

The latest release (version 5.1) compiles on Leopard. The download should be unpacked automatically by Stuffit Expander—otherwise use gtar xvzf polyml.5.1.tar.gz.

cd polyml.5.1
./configure
make
sudo make install

You should get the message:

Libraries have been installed in:
   /usr/local/lib

If you ever happen to want to link against installed libraries
in a given directory, LIBDIR, you must either use libtool, and
specify the full pathname of the library, or use the `-LLIBDIR'
flag during linking and do at least one of the following:
   - add LIBDIR to the `DYLD_LIBRARY_PATH' environment variable
     during execution

See any operating system documentation about shared libraries for
more information, such as the ld(1) and ld.so(8) manual pages.

You can also download later development versions of the source from the cvs repository on sourceforge:

cvs -d:pserver:anonymous@polyml.cvs.sourceforge.net:/cvsroot/polyml co polyml
cd polyml
cvs update -Pd
chmod +x install-sh
./configure
make
sudo make install

2007-11-08

Safari Crash; Firefox Crash; Applet Crash!

Leopard and Java 6 don't mix!

I didn't know this and used Java preferences to set Java 6.0 as my preferred version (I had earlier installed the developer preview, under Tiger)

Calamity!

Apple confesses

The solution is to expunge all traces of Java 6, then reinstall Java.

Javablog has the answer:

Move or remove all of the following

/Library/Java
/Applications/Utilities/Java
/System/Library/Frameworks/JavaVM.framework
/System/Library/Java
/System/Library/CoreServices/Jar\ Launcher.app
/System/Library/PrivateFrameworks/JavaApplicationLauncher.framework
/System/Library/Frameworks/JavaEmbedding.framework
/System/Library/CFMSupport/StubLibraries/JavaEmbeddingLib

and all your Java 6 installation receipts from /Library/Receipts/.

Then re-install Java from the Leopard DVD with the commands

open /Volumes/Mac\ OS\ X\ Install\ DVD/System/Installation/Packages/Java.pkg
open /Volumes/Mac\ OS\ X\ Install\ DVD/System/Installation/Packages/JavaTools.pkg 

2007-11-02

Kerberos for Leopard

For the avoidance of doubt, install Mac OSX Kerberos Extras—some say this is changed for Leopard (OS X 10.5) others hint that it's just as the same as it was for 10.4.

Add X509 Anchors to Keychain Access (found in /Applications/Utilities/). (It was there by default in 10.4, but it appears not in Leopard. Select Add Keychain from the File menu. In the file selection dialog, navigate to /System/Library/Keychains. You should find X509 Anchors there.

Install the University Certificate in X509 Anchors— drag-and-drop.

For me Keberos works for IMAP access to staffmail.inf.ed.ac.uk, but not to mail.inf.ed.ac.uk, nor for SMTP access to either.

Here's what support have to say:

I've run this past a few people who might know and the consensus is that Apple may have broken something. There's a strange looking message in one of the log files - Token header is malformed or corrupt

This is probably not the whole story, as staffmail does work with Leopard's Kerberos. Time to switch to staffmail...