wbrawner/homebrew-core
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

agda: ghc is needed at runtime.

Browse source
This commit is contained in:
Mike McQuaid 2015-01-25 09:56:51 +00:00
parent 718d2f29cb
commit 4dd5afc53e
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
Formula/agda.rb
View file

@ -22,8 +22,8 @@ class Agda < Formula
option "without-epic-backend", "Exclude the 'epic' compiler backend"
depends_on "ghc" => :build
depends_on "cabal-install" => :build
depends_on "ghc"
depends_on "gmp"
depends_on "bdw-gc" if build.with? "epic-backend"