diff options
Diffstat (limited to 'contrib/get-glpk-cut-log')
-rwxr-xr-x | contrib/get-glpk-cut-log | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/contrib/get-glpk-cut-log b/contrib/get-glpk-cut-log index f8eff85bb..cf523dc5a 100755 --- a/contrib/get-glpk-cut-log +++ b/contrib/get-glpk-cut-log @@ -32,7 +32,9 @@ automake --add-missing ./configure --without-pic --prefix="$INSTALL_DIR" --disable-shared --enable-static --disable-dependency-tracking make install -j$(nproc) make distclean -mv "$INSTALL_LIB_DIR/libglpk.a" "$INSTALL_LIB_DIR/libglpk-static.a" + +# Find and move the static build +rename_installed_lib "libglpk.a" "libglpk-static.a" ./configure --with-pic --prefix="$INSTALL_DIR" --disable-shared --enable-static --disable-dependency-tracking make install -j$(nproc) |