Imported tutch example

1 files changed, 63 insertions, 0 deletions

diff --git a/examples/tutch/checks.sml b/examples/tutch/checks.sml
new file mode 100644
index 0000000..bc0ec3e
--- /dev/null
+++ b/examples/tutch/checks.sml
@@ -0,0 +1,63 @@
+(* Copyright (C) 2017 Ryan Kavanagh <rkavanagh@cs.cmu.edu>       *)
+(* Distributed under the ISC license, see COPYING for details.   *)
+
+(************************************************************)
+(* Make sure you put the tutch sources under support/tutch. *)
+(************************************************************)
+
+functor ChecksHelper (structure H : HELPER) : CHECKS where type checks = H.checks =
+struct
+
+datatype checks = datatype H.checks
+
+(*****************************************************)
+(**********       CONFIGURE ME HERE            *******)
+(*****************************************************)
+
+val tutchPath = "./support/tutch/bin/tutch"
+
+val thePDF = "hw3.pdf"
+
+val requiredFiles = [ thePDF
+		    , "hw3_6a.tut"
+		    , "hw3_6b.tut"
+		    , "hw3_6c.tut" ]
+
+(* Compile tutch *)
+(* Surely one should be able to call CM.make or something... *)
+fun compileTutch () =
+  case H.runCmd "make -C ./support/tutch > /dev/null"
+   of 0 => ()
+    | _ => (H.abortWithMessage o H.stringsInBox)
+	       [ "Unable to compile tutch."
+	       , "Contact course staff." ]
+
+(* Runs tutch on requirements file "req" and tutch file "tut". *)
+(* Awards maxScore if tutch succeeds, 0 otherwise. *)
+fun runTutch req tut maxScore =
+  case H.runCmd (tutchPath ^ " -r " ^ req ^ " " ^ (H.joinHandinPath tut))
+   of 0 => maxScore
+    | _ => let val _ = H.printInBox [ "Tutch thinks something went wrong!"
+				    , "Please fix and try again." ]
+	   in 0.0 end
+
+(* We first make sure all of the required files exist. *)
+(* Then we check that the PDF is a valid PDF. *)
+(* Finally, we grade the tutch problems 6a--6c at 2 points each. *)
+val checks = [ H.Check ("all files present", fn _ => H.checkFilesExist requiredFiles)
+	     , H.Check (thePDF, fn _ => H.checkPDF thePDF)
+	     , H.Check ("tutch compile", fn _ => compileTutch ()) ]
+	     @ (List.map (fn (n,s) =>
+			     H.Problem (n, fn _ => runTutch ("./support/hw3_" ^ n ^ ".req")
+							    ("hw3_" ^ n ^ ".tut")
+							    s))
+			 [("6a", 2.0), ("6b", 2.0), ("6c", 2.0)])
+
+(* Empty scoreboard *)
+fun scoreboard _ = NONE
+
+(*****************************************************)
+(**********        END CONFIGURATION           *******)
+(*****************************************************)
+
+end