Merge pull request #2 from ntl/default_rake_task

Add default rake task to run proofs
karmajunkie · Mar 30, 2014 · 4db060c · 4db060c
2 parents 1d3b6ca + e797883
commit 4db060c
Showing 1 changed file with 8 additions and 0 deletions.
diff --git a/Rakefile b/Rakefile
@@ -1 +1,9 @@
 require "bundler/gem_tasks"
+
+task :prove_all do
+  Bundler.setup
+  Bundler.require :default
+  require_relative "proofs/all"
+end
+
+task :default => :prove_all