We currently build everything with MACOSX_DEPLOYMENT_TARGET=10.9 Which is actually not OS X 10.9. The counting scheme used make OS X 10.12 have MACOSX_DEPLOYMENT_TARGET=10.16. So that’s a number of OS X release back. The only way to know if it really works is to try it.
We will probably want to up that at some point. Sticking it 10.9 was due to problem with double digits. François > On 7/08/2017, at 10:40, Volker Braun <vbraun.n...@gmail.com> wrote: > > Binaries for OSX 10.12.6 are at http://files.sagemath.org/osx/intel/index.html > > May also work on older versions of OSX, but I have no way of testing.... > > > > > On Sunday, August 6, 2017 at 10:33:05 PM UTC+2, Bruce wrote: > Hi Volker, > > Thanks for all your work. Could you (or someone with a Mac running MacOS X > 11.6) upload a binary for SageMath 8.0. > > Thanks, > > -Bruce > > On Monday, July 24, 2017 at 10:01:53 AM UTC-7, Volker Braun wrote: > Binaries can now be found at http://www.sagemath.org/download.html > > Note: Debian 7 now fails to build with SAGE_FAT_BINARY because the linker is > too old. Debian 9 64-bit also failed with > https://trac.sagemath.org/ticket/23519 > > The Sage 8.0 virtual appliance can now be found at > http://files.sagemath.org/win/index.html > > -- > You received this message because you are subscribed to the Google Groups > "sage-release" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to sage-release+unsubscr...@googlegroups.com. > To post to this group, send email to sage-release@googlegroups.com. > Visit this group at https://groups.google.com/group/sage-release. > For more options, visit https://groups.google.com/d/optout. -- You received this message because you are subscribed to the Google Groups "sage-release" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-release+unsubscr...@googlegroups.com. To post to this group, send email to sage-release@googlegroups.com. Visit this group at https://groups.google.com/group/sage-release. For more options, visit https://groups.google.com/d/optout.
