build: more robust lablgtk2 download

ygrek · Aug 17, 2024 · a96930d · a96930d
1 parent b9a1237
commit a96930d
Showing 1 changed file with 5 additions and 3 deletions.
diff --git a/config/configure.in b/config/configure.in
@@ -1269,12 +1269,14 @@ else
         y* | Y*)
 
          cd $PATCH_DIR
+         LABLGTK_DIST=lablgtk-"$REQUIRED_LABLGTK".tar.gz
          rm -rf lablgtk-"$REQUIRED_LABLGTK"
-         if test ! -f lablgtk-"$REQUIRED_LABLGTK".tar.gz; then
+         if test ! -f "$LABLGTK_DIST"; then
            echo Downloading ...
-           $WGET http://www.math.nagoya-u.ac.jp/~garrigue/soft/olabl/dist/lablgtk-"$REQUIRED_LABLGTK".tar.gz
+           $WGET -O "$LABLGTK_DIST".tmp http://www.math.nagoya-u.ac.jp/~garrigue/soft/olabl/dist/"$LABLGTK_DIST" && mv "$LABLGTK_DIST".tmp "$LABLGTK_DIST"
+           rm -f "$LABLGTK_DIST".tmp
          fi
-         if test ! -f lablgtk-"$REQUIRED_LABLGTK".tar.gz; then exit 1; fi
+         if test ! -f "$LABLGTK_DIST"; then exit 1; fi
 
          mkdir -p $BUILD_DIR
          cd $BUILD_DIR