Trac #27398: using sdh dist helpers for plantri

URL: https://trac.sagemath.org/27398
Reported by: chapoton
Ticket author(s): Frédéric Chapoton
Reviewer(s): Erik Bray

build/pkgs/plantri/spkg-install

@@ -1,21 +1,5 @@
-if [ -z "$SAGE_LOCAL" ]; then
-    echo >&2 "SAGE_LOCAL undefined ... exiting"
-    echo >&2 "Maybe run 'sage --sh'?"
-    exit 1
-fi
-
 cd src
 
-$MAKE plantri
-if [ $? -ne 0 ]; then
-    echo >&2 "Error building plantri."
-    exit 1
-fi
-
-echo >&2 "Copying plantri..."
-cp plantri $SAGE_LOCAL/bin/plantri
-if [ $? -ne 0 ]; then
-    echo >&2 "Error installing plantri."
-    exit 1
-fi
+sdh_make plantri
 
+sdh_install plantri $SAGE_LOCAL/bin/