blob: bc0ec3edb92c6dd687fd6c0213b012dd2785a2b9 (
plain) (
tree)
|
|
(* 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
|
