Its not that "make ptestlong" does anything special to build Sage, it just
launches our own (parallel) doctester after building the dependencies which
happen to include Sage. Makefile parallelism is some version of
MAKE='make -j8' make
You can't really enable makefile parallelism from within the makefile, it
really needs to be specified when invoking make.
The Java thing is really annoying on OSX; Apple, in their infinite wisdom,
included a "java" binary that just pops up the nag window. So whenever a
script tries to launch java you get this popup. Sage is fine with java not
working (its only used for optional things), but we can't un-popup that nag
screen. The easiest fix is to just install java, of course...
On Thursday, April 7, 2016 at 3:28:08 PM UTC+2, kcrisman wrote:
>
> 1) I was under the (mis)conception that make ptest would also
> (automatically) build in parallel. Apparently this is not the case (only
> *tests* in parallel), and when you are building gcc too and not in
> parallel, the build gives new meaning to 'long'. Should this be
> considered a bug? The developer guide/installation guide, I think, don't
> promise this, but it would seem to be useful to have this be the default
> nowadays, with the same logic as the testing code.
> 2) I get some message about "to use the Java command, install JDK" on a
> loaner Macbook Air with El Capitan. I didn't think we required java as a
> strong dependency (as opposed to an optional dependency) for testing
> (notwithstanding that for 3d graphing from command line it's still needed,
> I guess?). It claims to only be using optional=mpir,python2,sage.
> Thanks!
> - kcrisman
>
--
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 https://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.
