On Friday, July 3, 2015 at 12:41:02 AM UTC-7, Jeroen Demeyer wrote:
>
> Hello all,
>
> There were some important changes to the Sage build system in 6.8.beta7:
>
> * All logs of running "make" will appear in install.log, including the
> logs of the documentation and the Sage library build. Nothing changed
> for the individual log files.
>
> * The documentation can now be built in parallel with packages: if you
> run "make", then all packages will be built and the documentation will
> be built. Packages which are not required for the documentation might be
> built at the same time as the documentation. Note that the documentation
> has a lot of dependencies, so in practice, the documentation will
> usually be the last thing to finish building anyway.
>
> * New-style packages can now be installed with dependency checking by
> running "make pkgname". This applies to all types (standard, optional,
> experimental). I remind that new-style packages should define
> dependencies in a build/pkgs/pkgname/dependencies file, this information
> will be used by "make pkgname". I think this should become the
> recommended way to install packages, while "./sage -i" (which does NOT
> use dependencies) is a more low-level interface, analogous to "./sage -b"
>
I don't like this:
$ make distclean
make -j6 configure logs
make[1]: `configure' is up to date.
mkdir -p logs
cd build && ./pipestatus \
"./install 'build-clean' 2>&1" \
"tee -a ../logs/install.log"
/Users/palmieri/Desktop/sage-6.8.beta7/src/bin/sage-env: line 434:
/Users/palmieri/Desktop/sage-6.8.beta7/local/lib/R/share/Makevars.site: No
such file or directory
Installing GCC because you have g++ version 4.2.1, which is quite old.
Installing GCC because a Fortran compiler is missing.
...
Even worse, if 'configure' is not up to date, then running "make distclean"
will try to download a file from the internet.
--
John
--
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.
For more options, visit https://groups.google.com/d/optout.
