polymake: DESTDIR install, use sdh scripts

Author: Matthias Koeppe

build/pkgs/polymake/spkg-install

@@ -1,8 +1,3 @@
-die () {
-    echo "$@" 1>&2
-    exit 1
-}
-
 cd src
 
 more_configure_options=
@@ -20,12 +15,6 @@ fi
             --includedir="$SAGE_LOCAL"/include \
             --bindir="$SAGE_LOCAL"/bin \
             --libdir="$SAGE_LOCAL"/lib \
-            $more_configure_options || die "Error configuring Polymake"
-make || die "Error building polymake"
-# Remove old stuff. Polymake loads whatever it finds in
-# its installation directory.
-rm -Rf $SAGE_LOCAL/lib/polymake
-make install || die "Error installing polymake"
-# Reconfigure Polymake's rules.
-# This modifies ~/.polymake/customize.pl
-echo "exit;" | polymake --reconfigure - || die "Error calling 'polymake --reconfigure'"
+            $more_configure_options || sdh_die "Error configuring Polymake"
+sdh_make
+sdh_make_install

build/pkgs/polymake/spkg-postinst

@@ -0,0 +1,3 @@
+# Reconfigure Polymake's rules.
+# This modifies ~/.polymake/customize.pl
+echo "exit;" | polymake --reconfigure - || sdh_die "Error calling 'polymake --reconfigure'"