agda: ghc is a build-time dependency.

Closes Homebrew/legacy-homebrew#39209. Signed-off-by: Mike McQuaid <mike@mikemcquaid.com>
Homebrew · May 13, 2015 · bacf448 · bacf448
1 parent 8e2f424
commit bacf448
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/Formula/agda.rb b/Formula/agda.rb
@@ -26,8 +26,9 @@ class Agda < Formula
   option "with-malonzo-ffi",
     "Include the MAlonzo backend's FFI (depends on the standard library)"
 
+  depends_on "ghc" => :build
   depends_on "cabal-install" => :build
-  depends_on "ghc"
+
   depends_on "gmp"
   depends_on "bdw-gc" if build.with? "epic-backend"
   depends_on "emacs" => :optional