flint-2.4.3-whitespaces.patch 1.9 KB

12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455
  1. From 3506d617ef9dfc5184aa99be05a25e4f73d6c3f6 Mon Sep 17 00:00:00 2001
  2. From: hasufell <hasufell@hasufell.de>
  3. Date: Sun, 18 May 2014 18:47:27 +0200
  4. Subject: [PATCH] Quote variables that could contain whitespaces
  5. Make does NOT take care of this in this context. It's
  6. not a variable assignment and installation would fail
  7. if DESTDIR contains any whitespace.
  8. ---
  9. Makefile.in | 22 +++++++++++-----------
  10. 1 file changed, 11 insertions(+), 11 deletions(-)
  11. diff --git a/Makefile.in b/Makefile.in
  12. index b6ea4c9..a522ac1 100644
  13. --- a/Makefile.in
  14. +++ b/Makefile.in
  15. @@ -171,23 +171,23 @@ else
  16. endif
  17. install: library
  18. - mkdir -p $(DESTDIR)$(PREFIX)/$(LIBDIR)
  19. - mkdir -p $(DESTDIR)$(PREFIX)/include/flint
  20. + mkdir -p "$(DESTDIR)$(PREFIX)/$(LIBDIR)"
  21. + mkdir -p "$(DESTDIR)$(PREFIX)/include/flint"
  22. $(AT)if [ "$(FLINT_SHARED)" -eq "1" ]; then \
  23. - cp $(FLINT_LIB) $(DESTDIR)$(PREFIX)/$(LIBDIR); \
  24. + cp $(FLINT_LIB) "$(DESTDIR)$(PREFIX)/$(LIBDIR)"; \
  25. fi
  26. $(AT)if [ "$(FLINT_STATIC)" -eq "1" ]; then \
  27. - cp libflint.a $(DESTDIR)$(PREFIX)/$(LIBDIR); \
  28. + cp libflint.a "$(DESTDIR)$(PREFIX)/$(LIBDIR)"; \
  29. fi
  30. - cp $(HEADERS) $(DESTDIR)$(PREFIX)/include/flint
  31. + cp $(HEADERS) "$(DESTDIR)$(PREFIX)/include/flint"
  32. $(AT)if [ ! -z $(EXT_HEADERS) ]; then \
  33. - cp $(EXT_HEADERS) $(DESTDIR)$(PREFIX)/include/flint; \
  34. + cp $(EXT_HEADERS) "$(DESTDIR)$(PREFIX)/include/flint"; \
  35. fi
  36. - mkdir -p $(DESTDIR)$(FLINT_CPIMPORT_DIR)
  37. - cp qadic/CPimport.txt $(DESTDIR)$(FLINT_CPIMPORT_DIR)
  38. - mkdir -p $(DESTDIR)$(PREFIX)/include/flint/flintxx
  39. - cp flintxx/*.h $(DESTDIR)$(PREFIX)/include/flint/flintxx
  40. - cp *xx.h $(DESTDIR)$(PREFIX)/include/flint
  41. + mkdir -p "$(DESTDIR)$(FLINT_CPIMPORT_DIR)"
  42. + cp qadic/CPimport.txt "$(DESTDIR)$(FLINT_CPIMPORT_DIR)"
  43. + mkdir -p "$(DESTDIR)$(PREFIX)/include/flint/flintxx"
  44. + cp flintxx/*.h "$(DESTDIR)$(PREFIX)/include/flint/flintxx"
  45. + cp *xx.h "$(DESTDIR)$(PREFIX)/include/flint"
  46. build:
  47. mkdir -p build
  48. --
  49. 1.9.3