(cram
 (deps %{exe:../../bin/main.exe} ../frontends/untimed.sh))

(cram
 (applies_to extensions)
 (deps extensions/extensions.exe))

(cram
 (applies_to calculus)
 (deps calculus/calculus.exe))