diff options
Diffstat (limited to 'chapter8/gmp.sh')
| -rw-r--r-- | chapter8/gmp.sh | 34 | 
1 files changed, 17 insertions, 17 deletions
diff --git a/chapter8/gmp.sh b/chapter8/gmp.sh index f3adfe7..7e0f180 100644 --- a/chapter8/gmp.sh +++ b/chapter8/gmp.sh @@ -1,17 +1,17 @@ -#!/bin/bash -set -e - -# Uncomment for generic libraries -# cp -v configfsf.guess config.guess -# cp -v configfsf.sub config.sub - -./configure --prefix=/usr \ -            --enable-cxx \ -            --disable-static \ -            --docdir=/usr/share/doc/gmp-"${VERSION}" && - -make && -make html && - -make -j1 install && -make -j1 install-html +#!/bin/bash
 +set -e
 +
 +# Uncomment for generic libraries
 +# cp -v configfsf.guess config.guess
 +# cp -v configfsf.sub config.sub
 +
 +./configure --prefix=/usr \
 +            --enable-cxx \
 +            --disable-static \
 +            --docdir=/usr/share/doc/gmp-"${VERSION}" &&
 +
 +make &&
 +make html &&
 +
 +make -j1 install &&
 +make -j1 install-html
  | 
