On 20/04/2013, at 4:43 AM, Jean-Pierre Flori <jpfl...@gmail.com> wrote: > Dear all, > > We are currently updating the "install from source" doc at #14465, but I'm > a little lost about what to say for Mac OS X, see > http://trac.sagemath.org/sage_trac/ticket/14465#comment:4. > It has been previously stated that the "Command line tools" of Xcode were > sufficient and could be downloaded separately form Apple dev site, but it > does not seem to be the case anymore (I've registered there, there's only > Java stuff and old Xcode 3.*). That's odd. My Apple Dev thing (free version) looks like http://yomcat.geek.nz/sage/clt.PNG (that's just logging in at http://developer.apple.com/downloads). > First it seems xcode is now free, cannot really check as I have no Mac and > so no access to the Mac App Store. This is true. > Second, from what I see at https://developer.apple.com/xcode/, it's stated > that this "command line tools" part is an optional part of xcode that you > can download from within xcode. Also true. > So it would mean that to get the "command line tools", you need to install > xcode first... It's one way, and the way that I use. However, you can download them directly from Apple, as shown in the screenshot above. > > So should we suggest the user to install xcode and then download these > optional "command line tools"? I say yes, as it seems easier. I have had issues trying to download from the Apple dev site. > Or is this optional part useless once the user has installed Xcode? No. Just installing XCode does not give the command line tools. You need to go into prefs and manually download them. > Or is there a hidden place from where you can download the "command line > tools" alone as > stackoverflow.com/questions/9329243/xcode-4-4-command-line-tools suggests? It's not very hidden, though it appears to change monthly, and it's different if you're on Lion or Mountain Lion. > > Best, > JP
Michael -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel?hl=en. For more options, visit https://groups.google.com/groups/opt_out.