HOL4/tools/buildutils.sml

376 fun map_dir f dir =
377   let val dstrm = OS.FileSys.openDir dir
381           | SOME file => (dir,file)::loop()
434 fun moveTo dir action = let
436   val b = (OS.FileSys.chDir dir; true) handle _ => false
437   fun normalise s = OS.Path.mkAbsolute {path = s, relativeTo = dir}
602 fun transfer_file uploadfn targetdir (df as (dir,file)) = let
603   fun transfer binaryp (dir,file1,file2) =
604     uploadfn binaryp (fullPath [dir,file1]) (fullPath [targetdir,file2])
605   fun idtransfer binaryp (dir,file) =
608       | _ => transfer binaryp (dir,file,file)
620     output(ostrm,fullPath[dir,file]^"\n") ;
634                        (transfer false (dir,file, file' ^".sig");
639 fun Gnumake dir =
641   else (warn ("Build failed in directory "^dir ^" ("^GNUMAKE^" failed).");
645 fun build_dir Holmake selftest_level (dir, regulardir) = let
648   val _ = OS.FileSys.chDir dir
649   val truncdir = if String.isPrefix HOLDIR dir then
650                    String.extract(dir, size HOLDIR + 1, NONE)
652                  else dir
658   case #file(OS.Path.splitDirFile dir) of
666       | other => if not (Gnumake dir) then
678 	 | other => if not (Gnumake dir) then
689 	 | other => if not (Gnumake dir) then
695   | _ => Holmake dir
761   fun make_adocs dir = let
762     val fulldir = fullPath [HOLDIR, dir]
766       (print ("Generation of ASCII doc files failed in directory "^dir^"\n");
774  let val dir = OS.Path.concat(OS.Path.concat (HOLDIR,"help"),"src-sml")
775      val _ = OS.FileSys.chDir dir
782      val doc2html = fullPath [dir,"Doc2Html.exe"]
789      val cmd2     = [fullPath [dir,"makebase.exe"]]
949 fun Holmake sysl isSuccess extra_args analyse_failstatus selftest_level dir = let
957        if SYSTEML [dir ^ "/selftest.exe", Int.toString selftest_level]
961          die ("Selftest failed in directory "^dir))
967       die ("Build failed in directory "^dir^