/usr/lib/mlton/sml/mlrisc-lib/make.sml is in mlton-basis 20130715-3.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 | (*
* Regenerates all the machine description generated files.
* This works for only 110.39+
*)
(* val () = #set(CM.symval "UNSHARED_MLRISC") (SOME 1); *)
(* From 110.57 on, we need the following new magic *)
fun set f = #set(CM.Anchor.anchor f) (SOME "cm");
val _ = app set ["Control.cm", "Lib.cm", "Graphs.cm", "MLRISC.cm",
"MLTREE.cm"];
fun b() = CM.make "Tools/MDL/sources.cm";
val _ = b();
fun c f = MDLGen.gen(f^"/"^f^".mdl");
val _ = app c
[ "x86"
, "amd64"
, "sparc"
, "alpha"
, "hppa"
, "ppc"
(* , "mips" *)
];
|