# A sample Agda Guardfile
# More info at https://github.com/guard/guard#readme

guard :shell, :all_on_start => true do
  
  # watch /.*\.l?agda$/ do |m|
  #   puts "\n\n\nCompiling..."
  #   `agda -i ~/scm/lib/git/agda/standard-library/src -i . -c #{m[0]} && echo "Compiled!"`
  # end
  
  # watch "hello.agda" do
  #   puts "\n\n\nCompiling..."
  #   `agda -i ~/scm/lib/git/agda/standard-library/src -i . -c hello.agda && echo "Compiled!" && ./hello`
  # end

  watch /.*\.l?hs$/ do |m|
    if m[0].scan("MAlonzo").empty?
      puts "\n\n\nCompiling #{m[0]} ..."
      `runghc -isrc #{m[0]} && echo "Compiled!"`
    end
  end
  
  watch "src/Hello" do
    puts "Running Hello ..."
    `./src/Hello`
  end
end