Ticket #10830: 10830.patch

SPKG.txt

@@ -79 +79 @@
 
 == Changelog ==
 
+=== pari-2.4.3.alpha.p6 (Jason Grout, 22 Feb 2011) ===
+ * #10830: Add SAGE_SPKG_INSTALL_DOCS support to build and install docs in $SAGE_ROOT/local/share/doc/
+
 === pari-2.4.3.alpha.p5 (Jeroen Demeyer, January 23th, 2010) ===
  * Avoid parallel "make install" because of race conditions.
  * Remove Makefile_mv.patch because it doesn't actually fix the race

spkg-install

@@ -233 +233 @@
         echo >&2 "Error installing gprc.expect"
         exit 1
     fi
+
+    # Build and install docs if requested
+    if [ "x$SAGE_SPKG_INSTALL_DOCS" = xyes ] ; then
+        if [ `command -v pdftex` ] ; then
+            echo "Good, pdftex was found, so building the documentation"
+        else
+            echo "Sorry, can't build the documentation for pari since pdftex was not found"   
+            exit 1
+        fi
+
+        $MAKE docpdf
+        if [ $? -ne 0 ]; then
+            echo "Error building pari docs."
+            exit 1
+        fi
+        mkdir -p $SAGE_ROOT/local/share/doc/pari
+        cp -r doc/*.pdf $SAGE_ROOT/local/share/doc/pari/
+    fi
+
 }