Skip to content

Commit

Permalink
Bump Semgrep opam's solver timeout
Browse files Browse the repository at this point in the history
Homebrew#191178 and Homebrew#191306 were
failing due to opam's solver timing out. We (Semgrep) fixed this
in our own CI by bumping the solver's timeout
  • Loading branch information
ajbt200128 committed Sep 25, 2024
1 parent 2ba656d commit 7b08d32
Showing 1 changed file with 3 additions and 0 deletions.
3 changes: 3 additions & 0 deletions Formula/s/semgrep.rb
Original file line number Diff line number Diff line change
Expand Up @@ -291,6 +291,9 @@ def install
ENV["LIBRARY_PATH"] = "#{HOMEBREW_PREFIX}/lib"
# Set path to libev for our static linking logic
ENV["SEMGREP_LIBEV_ARCHIVE_PATH"] = "#{HOMEBREW_PREFIX}/lib/libev.a"
# Opam's solver times out when it is set to the default of 60.0
# See: https://github.com/Homebrew/homebrew-core/pull/191306
ENV["OPAMSOLVERTIMEOUT"] = "1200"

system "opam", "init", "--no-setup", "--disable-sandboxing"
ENV.deparallelize { system "opam", "switch", "create", "ocaml-base-compiler.4.14.0" }
Expand Down

0 comments on commit 7b08d32

Please sign in to comment.