gnu/packages/patches/flint-ldconfig.patch

   1 Patch by Andreas Enge <andreas@enge.fr>.
   2 Remedy the absence of ldconfig and explicitly create an additional symbolic
   3 link to the flint library, as discussed privately with upstream.
   4
   5 diff -r -u flint-2.5.2.orig/configure flint-2.5.2/configure
   6 --- flint-2.5.2.orig/configure  2015-08-13 18:16:22.000000000 +0200
   7 +++ flint-2.5.2/configure       2015-08-14 17:38:14.316284437 +0200
   8 @@ -714,6 +714,7 @@
   9  echo "FLINT_SHARED=$SHARED" >> Makefile
  10  echo "FLINT_LIB=$FLINT_LIB" >> Makefile
  11  echo "FLINT_LIBNAME=$FLINT_LIBNAME" >> Makefile
  12 +echo "FLINT_MAJOR=$FLINT_MAJOR" >> Makefile
  13  echo "FLINT_SOLIB=$FLINT_SOLIB" >> Makefile
  14  echo "EXEEXT=$EXEEXT" >> Makefile
  15  echo "PREFIX=$PREFIX" >> Makefile
  16 diff -r -u flint-2.5.2.orig/Makefile.in flint-2.5.2/Makefile.in
  17 --- flint-2.5.2.orig/Makefile.in        2015-08-13 18:16:22.000000000 +0200
  18 +++ flint-2.5.2/Makefile.in     2015-08-14 17:38:50.584774817 +0200
  19 @@ -118,6 +118,7 @@
  20                 $(LDCONFIG) -n "$(CURDIR)"; \
  21         fi
  22         ln -sf "$(FLINT_LIB)" "$(FLINT_LIBNAME)"; \
  23 +       ln -sf "$(FLINT_LIB)" "$(FLINT_LIBNAME).$(FLINT_MAJOR)"; \
  24
  25  libflint.a: $(OBJS) $(LIB_SOURCES) $(EXT_SOURCES) $(HEADERS) $(EXT_HEADERS) | build build/interfaces
  26         $(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 $$?;))