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

cryptol: constrain happy to <1.19.6 (#18848)

Browse source
This commit is contained in:
ilovezfs 2017-10-02 07:03:43 -07:00 committed by GitHub
parent 02a538fb88
commit 19f42a2522
1 changed files with 7 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
Formula/cryptol.rb
View file

@ -20,8 +20,14 @@ class Cryptol < Formula
depends_on "z3" => :run depends_on "z3" => :run
def install def install
# Remove the "happy<1.19.6" for cryptol > 2.5.0
# See revision 1 of http://hackage.haskell.org/package/cryptol-2.5.0/revisions/
if build.stable?
install_cabal_package :using => ["alex", "happy<1.19.6"]
else
install_cabal_package :using => ["alex", "happy"] install_cabal_package :using => ["alex", "happy"]
end end
end
test do test do
(testpath/"helloworld.icry").write <<-EOS.undent (testpath/"helloworld.icry").write <<-EOS.undent