Running tests with few optional and external doctests, I get:
Using
--optional=bliss,cbc,ccache,cmake,cryptominisat,dot2tex,external,glucose,gmpy2,lrslib,memlimit,mpir,normaliz,notedown,pandoc_attributes,pycosat,pynormaliz,python2,rst2ipynb,sage
External software detected for doctesting:
On Ubuntu 18.04 running on Xeon E5-2623 + 16 GB RAM:
- python2:
- incremental build from 8.7.beta0 OK
- all tests from ptestlong passed
- python3:
- incremental build from 8.7.beta0 OK
- the documentation is successfully built as well! (as emphasized
And now the documentation builds with Python 3! (This is due to #26949 plus
a lot of prep work organized by Frédéric.)
On Saturday, January 26, 2019 at 4:18:24 PM UTC-8, Volker Braun wrote:
>
> As always, you can get the latest beta version from the "develop" git
> branch. Alternatively, the
