build mosml in /usr/local

bfb1b1c3 · Norman Ramsey · a9d4a073 · bfb1b1c3
Commit bfb1b1c3 authored Jan 19, 2013 by Norman Ramsey
--- a/src/Makefile.inc
+++ b/src/Makefile.inc
@@ -2,7 +2,7 @@

 # Where to install stuff

-MOSMLHOME=${HOME}/projects/mosml2.10
+MOSMLHOME=/usr/local/mosml2.10-3

 # Various utility programs
 INSTALL_PROGRAM=cp