9 |
|
|
10 |
fun proc () = let |
fun proc () = let |
11 |
val home = valOf (OS.Process.getEnv "ROOT") |
val home = valOf (OS.Process.getEnv "ROOT") |
12 |
|
val installdir = getOpt (OS.Process.getEnv "INSTALLDIR", home) |
13 |
val configdir = getOpt (OS.Process.getEnv "CONFIGDIR", |
val configdir = getOpt (OS.Process.getEnv "CONFIGDIR", |
14 |
OS.Path.concat (home, "config")) |
OS.Path.concat (home, "config")) |
15 |
val unpack = OS.Path.concat (configdir, "unpack") |
val unpack = OS.Path.concat (configdir, "unpack") |
16 |
val bindir = getOpt (OS.Process.getEnv "BINDIR", |
val bindir = getOpt (OS.Process.getEnv "BINDIR", |
17 |
OS.Path.concat (home, "bin")) |
OS.Path.concat (installdir, "bin")) |
18 |
fun bincmd cmd = OS.Path.concat (bindir, cmd) |
fun bincmd cmd = OS.Path.concat (bindir, cmd) |
19 |
val runsml = bincmd ".run-sml" |
val runsml = bincmd ".run-sml" |
20 |
in |
in |
21 |
LibInstall.proc { smlnjroot = home, |
LibInstall.proc { smlnjroot = home, |
22 |
|
installdir = installdir, |
23 |
buildcmd = "CM_LOCAL_PATHCONFIG=/dev/null ./build", |
buildcmd = "CM_LOCAL_PATHCONFIG=/dev/null ./build", |
24 |
unpackcmd = SOME unpack, |
unpackcmd = SOME unpack, |
25 |
instcmd = fn target => let |
instcmd = fn target => let |