Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
branch: master
Fetching contributors…

Cannot retrieve contributors at this time

27 lines (24 sloc) 0.972 kb
let val cidreDir = OS.FileSys.getDir()
in
OS.FileSys.chDir "src/cm2mlb";
CM.make "cm2mlb.cm";
(* OS.FileSys.chDir "src/Cidre"; *)
CM.make "../Cidre/cidre.cm";
if (SMLofNJ.exportML "../../bin/.heap/sml-cidre") then
case Compiler.version of {system, version_id=major::minor::_,...} =>
(print (system ^ " " ^ Int.toString major ^ "." ^ Int.toString minor ^ "\n" ^
"with SML-CIDRE 0.99999\n\nQuickstart: Cidre.make \"filenm.cm\";\n\n");
"a piece of")
else
(print "CIDRE export available via: ./bin/sml-cidre \n";
let val smlCidre = TextIO.openOut "../../bin/sml-cidre"
val smlCidreBat = TextIO.openOut "../../bin/sml-cidre.bat"
in
TextIO.output (smlCidre, "#! /bin/sh\nsml @SMLload=\"" ^ cidreDir ^ "/bin/.heap/sml-cidre\"");
TextIO.output (smlCidreBat, "sml @SMLload=\"" ^ cidreDir ^ "/bin/.heap/sml-cidre\"");
TextIO.closeOut smlCidre;
OS.Process.exit (OS.Process.success);
""
end
)
end
Jump to Line
Something went wrong with that request. Please try again.