From 5e8ccd59bda429b70190d395b7492c1e4494871e Mon Sep 17 00:00:00 2001 From: Oscar Benjamin Date: Wed, 19 Jun 2024 18:30:21 +0100 Subject: [PATCH 1/3] Run strip on libflint.so after building Flint --- bin/build_dependencies_unix.sh | 1 + 1 file changed, 1 insertion(+) diff --git a/bin/build_dependencies_unix.sh b/bin/build_dependencies_unix.sh index 7f807a9f..da269081 100755 --- a/bin/build_dependencies_unix.sh +++ b/bin/build_dependencies_unix.sh @@ -286,6 +286,7 @@ cd flint-$FLINTVER --with-mpfr=$PREFIX\ --disable-static make -j6 + strip libflint.so make install cd .. From f5a08bdc62972e06e188f0e857357ba3b94a6592 Mon Sep 17 00:00:00 2001 From: Oscar Benjamin Date: Wed, 19 Jun 2024 18:45:21 +0100 Subject: [PATCH 2/3] Set strip in CFLAGS --- bin/build_dependencies_unix.sh | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/bin/build_dependencies_unix.sh b/bin/build_dependencies_unix.sh index da269081..714bb4bd 100755 --- a/bin/build_dependencies_unix.sh +++ b/bin/build_dependencies_unix.sh @@ -281,12 +281,11 @@ curl -O -L https://github.com/flintlib/flint/releases/download/v$FLINTVER/flint- tar xf flint-$FLINTVER.tar.gz cd flint-$FLINTVER ./bootstrap.sh - ./configure --prefix=$PREFIX\ + CFLAGS='-Wl,--strip-all' ./configure --prefix=$PREFIX\ $FLINTARB_WITHGMP\ --with-mpfr=$PREFIX\ --disable-static make -j6 - strip libflint.so make install cd .. From 679c0f3d1bad06225d5fb70124860d5d73364cab Mon Sep 17 00:00:00 2001 From: Oscar Benjamin Date: Wed, 19 Jun 2024 19:36:53 +0100 Subject: [PATCH 3/3] Run strip on libflint.* --- bin/build_dependencies_unix.sh | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/bin/build_dependencies_unix.sh b/bin/build_dependencies_unix.sh index 714bb4bd..c54dd115 100755 --- a/bin/build_dependencies_unix.sh +++ b/bin/build_dependencies_unix.sh @@ -281,11 +281,12 @@ curl -O -L https://github.com/flintlib/flint/releases/download/v$FLINTVER/flint- tar xf flint-$FLINTVER.tar.gz cd flint-$FLINTVER ./bootstrap.sh - CFLAGS='-Wl,--strip-all' ./configure --prefix=$PREFIX\ + ./configure --prefix=$PREFIX\ $FLINTARB_WITHGMP\ --with-mpfr=$PREFIX\ --disable-static make -j6 + strip libflint.* make install cd ..