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
|