[MacPorts] #70182: MacPorts 2.9.3 (base): Xcode 15.X causes issues with some OCaml software (segfaults), but MacPorts does not allow Xcode 14.X on Sonoma

MacPorts noreply at macports.org
Fri Jun 7 19:54:58 UTC 2024


#70182: MacPorts 2.9.3 (base): Xcode 15.X causes issues with some OCaml software
(segfaults), but MacPorts does not allow Xcode 14.X on Sonoma
---------------------------+--------------------
  Reporter:  MSoegtropIMC  |      Owner:  (none)
      Type:  defect        |     Status:  new
  Priority:  Normal        |  Milestone:
 Component:  base          |    Version:  2.9.3
Resolution:                |   Keywords:  sonoma
      Port:                |
---------------------------+--------------------

Comment (by MSoegtropIMC):

 Thank you for the hints, pointers and background info - I will test which
 method is easiest.

 > Every case where the "ok" version is higher than "min" was added because
 of specific serious bugs that affected port builds.

 In my experience with compiler stability it is quite common that a X.0
 version is less stable than the (X-1).3 version. The .0 versions have new
 features which introduce new bugs. I don't think it is valid to exclude
 Xcode 14.3.1 just because 15.0 does not work in some cases. I think it
 would be reasonable to allow the latest minor version of the previous
 major version unless there is evidence that this does not work. Since you
 set the min to 15.0 on Sonoma, I doubt that there is such evidence.

 Answering to Ryan:

 > You should focus on the problem that Xcode 15 doesn't build this code
 correctly, rather than trying to make MacPorts use Xcode 14 on a system it
 wasn't designed for.

 As I explained the problem is not so easy. We are talking about a program
 written in a language called Coq, which in turn is written in OCaml which
 in turn has small parts written in C. It takes several experts to track
 this down, and for that I need a reliable way to recreate this software.
 This also requires to make working comparison builds and Macports is in
 the way here. Besides Coq has a largish user base (it is used in quite a
 few University courses e.g.) and for advanced users it is recommended to
 compile from sources. On Sonoma with MacPorts this is currently not
 possible. What recommendation do you have for these students? Downgrade
 their MacOS?

 Also do you have a reference which states that Xcode 14 is not suitable
 for Sonoma? The Apple docs I referenced above just say that you need it to
 compile software which makes uses of Sonoma SDK specific features. As
 already said, I have doubts that this applies to a lot of MacPorts SW.

-- 
Ticket URL: <https://trac.macports.org/ticket/70182#comment:7>
MacPorts <https://www.macports.org/>
Ports system for macOS


More information about the macports-tickets mailing list