Disable debug symbols in Flint build

flintlib · Jun 19, 2024 · 636e19d · 636e19d
1 parent 33a4daa
commit 636e19d
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/bin/build_dependencies_unix.sh b/bin/build_dependencies_unix.sh
@@ -284,7 +284,8 @@ cd flint-$FLINTVER
   ./configure --prefix=$PREFIX\
     $FLINTARB_WITHGMP\
     --with-mpfr=$PREFIX\
-    --disable-static
+    --disable-static\
+    --disable-debug
   make -j6
   make install
 cd ..