Add DESTDIR support for ppl

[embray]

Implements #24024 and #23733 for ppl.

Depends on #23733

Component: build

Keywords: destdir ppl

Author: Erik Bray

Branch/Commit: 88ffc89

Reviewer: Julian Rüth

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

[embray]

Description changed:

--- 
+++ 
@@ -1 +1 @@
-
+Implements #24024 for ppl.

[embray]

Description changed:

--- 
+++ 
@@ -1 +1 @@
-Implements #24024 for ppl.
+Implements #24024 and #23733 for ppl.

[saraedum]

comment:3

Does this work if SAGE_LOCAL contains spaces?

[saraedum]

Reviewer: Julian Rüth

[embray]

comment:4

Oops--good catch. That probably explains why the --with-gmp arguments weren't being added to $PPL_CONFIGURE in the first place.

[sagetrac-git]

Changed commit from 0480f6a to e9d4fc6