Remove deprecated sage.libs.ppl

[mkoeppe]

In #23024 (merged in Sage 8.7), sage.libs.ppl was deprecated and all uses converted to using the standalone library pplpy.

We remove the deprecated library.

CC: @videlec @jplab @kliem @tscrim @fchapoton

Component: refactoring

Author: Matthias Koeppe

Branch/Commit: 8c51242

Reviewer: Frédéric Chapoton

Issue created by migration from https://trac.sagemath.org/ticket/30595

[mkoeppe]

Branch: u/mkoeppe/remove_deprecated_sage_libs_ppl

[mkoeppe]

Author: Matthias Koeppe

[mkoeppe]

Changed branch from u/mkoeppe/remove_deprecated_sage_libs_ppl to none

[jhpalmieri]

comment:3

The branch was deleted?

[mkoeppe]

Branch: u/mkoeppe/remove_deprecated_sage_libs_ppl

[mkoeppe]

Commit: 27de60f

[mkoeppe]

comment:5

Now it's back

---

New commits:

27de60f

sage.libs.ppl: Remove

[kliem]

comment:6

Documentation doesn't build:

[dochtml] Error building the documentation.
[dochtml] Traceback (most recent call last):
[dochtml]   File "/usr/lib/python3.7/runpy.py", line 193, in _run_module_as_main
[dochtml]     "__main__", mod_spec)
[dochtml]   File "/usr/lib/python3.7/runpy.py", line 85, in _run_code
[dochtml]     exec(code, run_globals)
[dochtml]   File "/home/sagemath/sage-9.1/local/lib/python3.7/site-packages/sage_setup/docbuild/__main__.py", line 2, in <module>
[dochtml]     main()
[dochtml]   File "/home/sagemath/sage-9.1/local/lib/python3.7/site-packages/sage_setup/docbuild/__init__.py", line 1730, in main
[dochtml]     builder()
[dochtml]   File "/home/sagemath/sage-9.1/local/lib/python3.7/site-packages/sage_setup/docbuild/__init__.py", line 344, in _wrapper
[dochtml]     getattr(get_builder(document), 'inventory')(*args, **kwds)
[dochtml]   File "/home/sagemath/sage-9.1/local/lib/python3.7/site-packages/sage_setup/docbuild/__init__.py", line 570, in _wrapper
[dochtml]     self._build_everything_except_bibliography(lang, format, *args, **kwds)
[dochtml]   File "/home/sagemath/sage-9.1/local/lib/python3.7/site-packages/sage_setup/docbuild/__init__.py", line 556, in _build_everything_except_bibliography
[dochtml]     build_many(build_ref_doc, non_references)
[dochtml]   File "/home/sagemath/sage-9.1/local/lib/python3.7/site-packages/sage_setup/docbuild/__init__.py", line 296, in build_many
[dochtml]     _build_many(target, args, processes=NUM_THREADS)
[dochtml]   File "/home/sagemath/sage-9.1/local/lib/python3.7/site-packages/sage_setup/docbuild/utils.py", line 289, in build_many
[dochtml]     raise worker_exc.original_exception
[dochtml] OSError: WARNING: autodoc: failed to import module 'ppl' from module 'sage.libs'; the following exception was raised:

[seblabbe]

Changed commit from 27de60f to 8c51242

[seblabbe]

comment:7

Added a small commit which removes sage/libs/ppl from the doc.

---

New commits:

8c51242

30595: remove sage/libs/ppl from doc

[seblabbe]

Changed branch from u/mkoeppe/remove_deprecated_sage_libs_ppl to public/30595

[fchapoton]

comment:8

looks good.

[fchapoton]

Reviewer: Frédéric Chapoton