On 29/11/2019 13:42, Lawrence Paulson wrote:
> Just to remark again, the binary I’ve used in my work machine dates from
> 2014. What is the earliest version of Mac OS that we support?
See https://isabelle.in.tum.de/repos/isabelle/file/caede3159e23/Admin/PLATFORMS
Sometimes it is impossible to
Just to remark again, the binary I’ve used in my work machine dates from 2014.
What is the earliest version of Mac OS that we support?
Larry
> On 29 Nov 2019, at 12:24, Makarius wrote:
>
> Further note that the result needs to work on the oldest macOS version that we
> still support, which
On 29/11/2019 12:04, Lawrence Paulson wrote:
>
> As I recall, it’s possible to create a sort of closure containing both an
> executable and libraries. Does anybody know how that is done?
This is done for the "poly" executable here:
https://isabelle.in.tum.de/repos/isabelle/rev/bf5c69acf2be
For
Yes, I noticed this as well. It’s necessary to install gfortran, which can be
done in a single line using homebrew:
brew cask install gfortran
This also installs a copy of the real gcc, and I put a link in a more sensible
place:
ln -s /usr/local/gfortran/bin/gcc