comparison src/compiler.sml @ 398:ab3177746c78

Simple listShop working
author Adam Chlipala <adamc@hcoop.net>
date Tue, 21 Oct 2008 13:24:54 -0400
parents 519366a76603
children 8084fa9216de
comparison
equal deleted inserted replaced
397:4d519baf357c 398:ab3177746c78
533 if #debug job then 533 if #debug job then
534 ("/tmp/urweb.c", "/tmp/urweb.o", fn () => ()) 534 ("/tmp/urweb.c", "/tmp/urweb.o", fn () => ())
535 else 535 else
536 let 536 let
537 val dir = OS.FileSys.tmpName () 537 val dir = OS.FileSys.tmpName ()
538 val () = OS.FileSys.remove dir
539 val cname = OS.Path.joinDirFile {dir = dir, file = "urweb.c"} 538 val cname = OS.Path.joinDirFile {dir = dir, file = "urweb.c"}
540 val oname = OS.Path.joinDirFile {dir = dir, file = "urweb.o"} 539 val oname = OS.Path.joinDirFile {dir = dir, file = "urweb.o"}
541 in 540 in
542 OS.FileSys.mkDir dir; 541 OS.FileSys.mkDir dir;
543 (cname, oname, 542 (cname, oname,