avoid building doc for pari/gp

README

@@ -61,6 +61,11 @@ The following libraries are optional
  - MPI implementation ; any implementation can be used, e.g. openmpi,
    mpich, mvapich2, ...
 
+The development platform is recent Debian GNU/Linux, and most testing has
+been done in this environment. As a general rule of thumb, if things bomb
+out, a reasonable explanation could be subtle distribution differences,
+which are not that hard to fix, but terribly annoying indeed.
+
 A convenience script for fetching and building all the software
 prerequisites is in ./config/build-dependencies.sh ; this builds all the
 needed packages in $topdir/cmh-deps, but can also be tuned to build

config/build-dependencies.sh

@@ -41,13 +41,23 @@ if [ "$1" != "-k" ] ; then
     mkdir "$PKG_BUILDTREE"
 fi
 
+# the pari building process calls tex if it happens to be available.
+# This, in turn, interacts with stdin apparently. Disgusting, really.
+# Should not get in our way any longer now that we do "make gp" for pari
+# and not make all, but closing stdin surely can't harm.
+exec </dev/null
+
 compile() {
+    target=all
+    install_target=all
     pkgname="$1" ; shift
     if [[ $pkgname =~ ^pari- ]] ; then
         # Pari seems to be hopelessly bound to in-source build
         rsync -a $PKG_SOURCETREE/$pkgname/ $PKG_BUILDTREE/$pkgname/
         cd $PKG_BUILDTREE/$pkgname/
         ./Configure --prefix=$PKG_INSTALLTREE/ "$@"
+        target=gp
+        install_target="install-lib-dyn install-include install-bin install-man install-misc install-examples install-cfg install-data"
     else
         cd $PKG_BUILDTREE
         mkdir -p $pkgname
@@ -58,8 +68,9 @@ compile() {
     esac
         $PKG_SOURCETREE/$pkgname/configure --prefix=$PKG_INSTALLTREE/ "$@"
     fi
-    make -j `grep -c ^processor /proc/cpuinfo` all
-    make install
+    make -j `grep -c ^processor /proc/cpuinfo` $target
+
+    make $install_target
     cd $TOPDIR
 }