[Ur] Help fixing Ur/Web's Travis script for Mac?

[Jason Gross]

You could try passing `--ignore-dependencies` as it suggests, or else try
uninstalling gdal, postgis and unixodbc and then reinstalling whichever of
these you need?  Or you could try using `brew upgrade` rather than
uninstalling and reinstalling the packages?

On Tue, Dec 17, 2019, 16:38 Adam Chlipala <adamc at csail.mit.edu> wrote:

> Apparently something has changed that breaks the build:
>
>
> https://travis-ci.org/urweb/urweb/jobs/626185397?utm_medium=notification&utm_source=github_status
>
> Can any Mac experts suggest the right fix?  Thanks!
>
>
> _______________________________________________
> Ur mailing list
> Ur at impredicative.com
> http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.impredicative.com/pipermail/ur/attachments/20191217/99432990/attachment.html>