diff options
author | Andrew V. Jones <andrewvaughanj@gmail.com> | 2021-03-10 22:10:12 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-03-10 22:10:12 +0000 |
commit | a0dfbbbf3bcaf7a6edbe18e140b6d7b5c49c2f8d (patch) | |
tree | 78aa75bea706a4332f1db56c6e9d76cf19396413 /contrib/get-glpk-cut-log | |
parent | f4519b17b6738cf959877c0e0b37000fc7bb0d88 (diff) |
Improved handing of 'lib64' vs. 'lib' for glpk-cut-log and antlr-3.4 (#6091)
Signed-off-by: Andrew V. Jones <andrewvaughanj@gmail.com>
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) |