1open testutils 2 3val _ = tprint "Testing a -I cleanAll" 4val res = OS.Process.system (Systeml.HOLDIR ^ 5 "/bin/Holmake -q -I includethis -r cleanAll") 6 7val _ = 8 if OS.Process.isSuccess res andalso 9 not (OS.FileSys.access ("includethis/ATheory.sml", [OS.FileSys.A_READ])) 10 then 11 OK() 12 else die "" 13 14val _ = tprint "Testing Holmake -I includethis" 15 16val res = OS.Process.system 17 (Systeml.HOLDIR ^ 18 "/bin/Holmake -q -I includethis BTheory.uo > /dev/null"); 19 20val _ = if OS.Process.isSuccess res then OK() 21 else die "" 22