From 3a79f8f243b68f0b7ef77509178c83b3b3490e40 Mon Sep 17 00:00:00 2001 From: ilovezfs Date: Fri, 1 Jun 2018 08:30:49 -0700 Subject: [PATCH] fstar: make ocaml a required dependency instead of build-time or recommended. --- Formula/fstar.rb | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/Formula/fstar.rb b/Formula/fstar.rb index 381217f498..7a5a05a049 100644 --- a/Formula/fstar.rb +++ b/Formula/fstar.rb @@ -13,12 +13,11 @@ class Fstar < Formula sha256 "1b410c9bb0dca7b9a5988cc6522404e54b793aaed2a88a973ffb3b409a12ca89" => :el_capitan end - depends_on "ocaml" => :build depends_on "ocamlbuild" => :build depends_on "camlp4" => :build depends_on "opam" => :build depends_on "gmp" - depends_on "ocaml" => :recommended + depends_on "ocaml" # FStar uses a special cutting-edge release from the Z3 team. # As we don't depend on the standard release we can't use the z3 formula.