mosml
mosml copied to clipboard
MOSML Installer installs in wrong directory
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.
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
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
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
I have contributed a Homebrew formula, so you can mention that as an installation option for Mac OS X.
Nice! :+1:
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.