Patch by Andreas Enge <andreas@enge.fr>.
Remedy the absence of ldconfig and explicitly create an additional symbolic
link to the flint library, as discussed privately with upstream.

diff -r -u flint-2.5.2.orig/configure flint-2.5.2/configure
--- flint-2.5.2.orig/configure	2015-08-13 18:16:22.000000000 +0200
+++ flint-2.5.2/configure	2015-08-14 17:38:14.316284437 +0200
@@ -714,6 +714,7 @@
 echo "FLINT_SHARED=$SHARED" >> Makefile
 echo "FLINT_LIB=$FLINT_LIB" >> Makefile
 echo "FLINT_LIBNAME=$FLINT_LIBNAME" >> Makefile
+echo "FLINT_MAJOR=$FLINT_MAJOR" >> Makefile
 echo "FLINT_SOLIB=$FLINT_SOLIB" >> Makefile
 echo "EXEEXT=$EXEEXT" >> Makefile
 echo "PREFIX=$PREFIX" >> Makefile
diff -r -u flint-2.5.2.orig/Makefile.in flint-2.5.2/Makefile.in
--- flint-2.5.2.orig/Makefile.in	2015-08-13 18:16:22.000000000 +0200
+++ flint-2.5.2/Makefile.in	2015-08-14 17:38:50.584774817 +0200
@@ -118,6 +118,7 @@
 		$(LDCONFIG) -n "$(CURDIR)"; \
 	fi
 	ln -sf "$(FLINT_LIB)" "$(FLINT_LIBNAME)"; \
+	ln -sf "$(FLINT_LIB)" "$(FLINT_LIBNAME).$(FLINT_MAJOR)"; \
 
 libflint.a: $(OBJS) $(LIB_SOURCES) $(EXT_SOURCES) $(HEADERS) $(EXT_HEADERS) | build build/interfaces
 	$(AT)$(foreach ext, $(EXTENSIONS), $(foreach dir, $(filter-out %templates, $(patsubst $(ext)/%.h, %, $(wildcard $(ext)/*.h))), mkdir -p build/$(dir); BUILD_DIR=$(CURDIR)/build/$(dir); export BUILD_DIR; MOD_DIR=$(dir); export MOD_DIR; $(MAKE) -f $(CURDIR)/Makefile.subdirs -C $(ext)/$(dir) static || exit $$?;))
uix/diff/gnu/installer/connman.scm?id=edce19938a3a4055f6337306502c429dc0c27156'>diff</a></td><td class='form'><form class='right' method='get' action='/guix/log/gnu/installer/connman.scm'>
<input type='hidden' name='id' value='edce19938a3a4055f6337306502c429dc0c27156'/><select name='qt'>
<option value='grep'>log msg</option>
<option value='author'>author</option>
<option value='committer'>committer</option>
<option value='range'>range</option>
</select>
<input class='txt' type='search' size='10' name='q' value=''/>
<input type='submit' value='search'/>
</form>
</td></tr></table>
<div class='path'>path: <a href='/guix/log/?id=edce19938a3a4055f6337306502c429dc0c27156'>root</a>/<a href='/guix/log/gnu?id=edce19938a3a4055f6337306502c429dc0c27156'>gnu</a>/<a href='/guix/log/gnu/installer?id=edce19938a3a4055f6337306502c429dc0c27156'>installer</a>/<a href='/guix/log/gnu/installer/connman.scm?id=edce19938a3a4055f6337306502c429dc0c27156'>connman.scm</a></div><div class='content'><table class='list nowrap'><tr class='nohover'><th class='left'>Age</th><th class='left'>Commit message (<a href='/guix/log/gnu/installer/connman.scm?id=edce19938a3a4055f6337306502c429dc0c27156&amp;showmsg=1'>Expand</a>)</th><th class='left'>Author</th></tr>
<tr><td><span title='2019-05-29 11:44:49 +0200'>2019-05-29</span></td><td><a href='/guix/commit/gnu/installer/connman.scm?id=694cb8dc62f59fb67799ad4908a6b12cf7cb49a3'>installer: Fix wifi menu crash with hidden SSIDs.</a><span class='msg-avail'>...<span class='msg-tooltip'>This fixes https://issues.guix.gnu.org/issue/35622.

* gnu/installer/connman.scm (&lt;service&gt;): Mention that name may be false.
* gnu/installer/newt/wifi.scm (wifi-services): Filter out wifi services
without name.

Co-authored by: Pierre Neidhardt &lt;mail@ambrevar.xyz&gt;
</span></span></td><td>Mathieu Othacehe</td></tr>
<tr><td><span title='2019-02-18 01:52:47 +0100'>2019-02-18</span></td><td><a href='/guix/commit/gnu/installer/connman.scm?id=b83e4a93a2118513cdd2186d796729f0813264c0'>gnu: Fix some typos in the installer.</a><span class='msg-avail'>...<span class='msg-tooltip'>* gnu/installer/connman.scm (connman-connect-with-auth): Fix typo in
documentation.
* gnu/installer/newt/keymap.scm (sort-variants): Likewise.
* gnu/installer/newt/page.scm (run-listbox-selection-page): Likewise.
* gnu/installer/parted.scm (mkpart): Likewise.
* gnu/installer/newt/utils.scm (destroy-form-and-pop): Likewise.
* gnu/installer/newt/wifi.scm (run-unknown-error-page): Fix typo.
(wifi-listbox-heigth): Rename to…
(wifi-listbox-height): …this, and adjust caller.
* gnu/installer/timezone.scm (locate-childrens): Rename to…
(locate-children): …this.  Adjust all callers.
</span></span></td><td>Tobias Geerinckx-Rice</td></tr>