MOSML Installer installs in wrong directory

[chrene]

The mosml installer (pkg) installs its files in a directory (/usr/local), which is used for Homebrew. This needs to be changed, so brew doctor doesn't complain about unexpected header files and to avoid possible problems with other software.

Please use /usr instead.

[FranklinChen]

It would be nice to add a Homebrew formula. I presume it would be very simple, at least from head, where it looks like probably something like the following should work, given the directory structure of installation:

def install
  system "make PREFIX=#{prefix} world"
  system "make PREFIX=#{prefix} install"
end

[kfl]

The recommended way to install Moscow ML on a system using Homebrew is to use the formula in the gist https://gist.github.com/kfl/136b155cc459687875d1. Alas, I cannot easily get this formula into Homebrew, because formula from upstream is frowned upon (as I understand the homebrew policy).

That is, use the command:

$ brew install https://gist.githubusercontent.com/kfl/136b155cc459687875d1/raw/05d86a0b2a9a2a33ba20c154a170a3c1c7830a60/mosml.rb

[FranklinChen]

I will submit the formula myself.

I was surprised to learn that Moscow ML still existed. I used it on Mac and Linux back in the mid-1990s when I was doing a lot of programming in ML (both Caml and SML) and even ported it to Mac in the early days: http://computer-programming-forum.com/23-functional/d8b505b9c395ec63.htm

[FranklinChen]

I have contributed a Homebrew formula, so you can mention that as an installation option for Mac OS X.

[Munksgaard]

Nice! 👍

[FranklinChen]

For amusement, I put up a personal project repo imported from an RCS project of 1996 https://github.com/FranklinChen/schreiner-friedman-pretty-printer that is possibly my oldest Moscow ML code. It compiled with no modification required after 19 years.