Skip to content

Auto-generate exercise files

Ralf Jung requested to merge ralf/gen-exercises into master

This implements a make exercises target which auto-generates the exercise files from the solutions. I hope the syntax is self-explaining:

(* BEGIN SOLUTION *)
  solution here.
(* END SOLUTION *)

is replaced by

  (* exercise *)
Admitted.

and the more powerful

(* BEGIN SOLUTION *)
  solution here.
(* END SOLUTION BEGIN TEMPLATE
  exercise template here.
END TEMPLATE *)

is replaced by

  exercise template here.

Fixes #4 (closed)

@robbertkrebbers please let me know what you think :)

Merge request reports