Summary: | math/eprover: update llvm dependency (for 10.x) to llvm60 | ||||||
---|---|---|---|---|---|---|---|
Product: | Ports & Packages | Reporter: | Brooks Davis <brooks> | ||||
Component: | Individual Port(s) | Assignee: | freebsd-ports-bugs (Nobody) <ports-bugs> | ||||
Status: | Closed FIXED | ||||||
Severity: | Affects Only Me | CC: | val | ||||
Priority: | --- | Keywords: | patch | ||||
Version: | Latest | Flags: | val:
maintainer-feedback+
|
||||
Hardware: | Any | ||||||
OS: | Any | ||||||
Bug Depends on: | |||||||
Bug Blocks: | 231286 | ||||||
Attachments: |
|
Looks good to me. A commit references this bug: Author: brooks Date: Wed Sep 12 16:01:03 UTC 2018 New revision: 479612 URL: https://svnweb.freebsd.org/changeset/ports/479612 Log: Update llvm dependency (for 10.x support) to llvm60. PR: 231289 Approved by: Greg V <greg@unrelenting.technology> (maintainer) Sponsored by: DARPA, AFRL Changes: head/math/eprover/Makefile |
Created attachment 197012 [details] Update llvm/clang dependency to 6.0 We'd like to remove llvm40 at some point so update the dependency for clang on 10.x to devel/llvm60. Port revision is bumped due to RUN_DEPENDS change. I've verified this this works and is required on 10.4 amd64 in poudriere.