search

dreal / homebrew-dreal

homebrew tap for dReal
0 stars 0 forks source link

`brew cleanup` removes `/usr/local/opt/dreal` link #5

Closed soonho-tri closed 6 years ago

soonho-tri commented 6 years ago

Repro steps:

brew remove dreal
brew install https://raw.githubusercontent.com/dreal/homebrew-dreal/feaa4e1c18e7e8395480bbe34c4903c4f2fe05c9/dreal.rb
brew update
brew upgrade dreal

/usr/local/opt/dreal should exist up to this point. But running the following will remove it.

brew cleanup
soonho-tri commented 6 years ago

Left a comment in the upstream: https://github.com/Homebrew/brew/commit/1651647a3dc9dbc03ed3c5da06090228db4cd1a0#r28360427

soonho-tri commented 6 years ago

Fixed by https://github.com/Homebrew/brew/pull/4009.