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