--- configure.orig	2024-03-15 10:12:13.943761000 -0600
+++ configure	2024-03-29 08:51:27.605321483 -0600
@@ -740,7 +740,7 @@ then
     exit 1
   fi
   # Check that the name is sane (need special handling for Microsoft)
-  BAD_BASENAME=no; [ "`basename \"$CDD_LIB\" .a`" = "libcddgmp" ] || [ "`basename \"$CDD_LIB\" .dll.a`" = "libcddgmp" ] || BAD_BASENAME=yes
+  BAD_BASENAME=no; [ "`basename \"$CDD_LIB\" .so`" = "libcddgmp" ] || [ "`basename \"$CDD_LIB\" .dll.a`" = "libcddgmp" ] || BAD_BASENAME=yes
   if [ "$BAD_BASENAME" = "yes" ]
   then
       echo "$0: ERROR: Specified CDD library should have basename 'libcddgmp'"   > /dev/stderr
--- src/AlgebraicCore/Makefile.orig	2024-02-05 04:30:09.000000000 -0700
+++ src/AlgebraicCore/Makefile	2024-03-29 08:51:57.901805257 -0600
@@ -101,6 +101,11 @@ $(COCOA_LIB): $(OBJS) $(SUBDIRS)
 	done
 	echo "doing ar for AlgebraicCore"
 	ar $(ARFLAGS) $(COCOA_LIB) $(OBJS)
+	$(COMPILE) -shared -Wl,-h,libcocoa.so.0 -o libcocoa.so.0.0.0 \
+		-Wl,--whole-archive $(COCOA_LIB) -Wl,--no-whole-archive \
+		@RPM_LD_FLAGS@ -lcddgmp -lgfan -lfrobby -lgsl -lflexiblas -lgmp
+	ln -s libcocoa.so.0.0.0 libcocoa.so.0
+	ln -s libcocoa.so.0 libcocoa.so
 
 $(OBJS):  $(COCOA_ROOT)/configuration/autoconf.mk