[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Bug-glpk] (Not) installing headers in $(oldincludedir)
From: |
Alexandre Oliva |
Subject: |
[Bug-glpk] (Not) installing headers in $(oldincludedir) |
Date: |
14 Jan 2001 23:42:34 -0200 |
User-agent: |
Gnus/5.0808 (Gnus v5.8.8) XEmacs/21.1 (Crater Lake) |
I don't think glpk should attempt to install headers in both
$(includedir) and $(oldincludedir). However, if you'd rather keep
this feature, may I suggest this patch, so that it doesn't fail if
$(oldincludedir) isn't writable?
Thanks,
--- Makefile.in Sat Nov 4 05:39:05 2000
+++ Makefile.in Sat Nov 4 06:07:39 2000
@@ -276,7 +276,7 @@
$(INSTALL_DATA) $(srcdir)/include/$$i \
$(DESTDIR)$(includedir)/$$i; \
$(INSTALL_DATA) $(srcdir)/include/$$i \
- $(DESTDIR)$(oldincludedir)/$$i; \
+ $(DESTDIR)$(oldincludedir)/$$i || : ; \
done
$(INSTALL_DATA) libglpk.a $(DESTDIR)$(libdir)/libglpk.a
--
Alexandre Oliva Enjoy Guarana', see http://www.ic.unicamp.br/~oliva/
Red Hat GCC Developer address@hidden, redhat.com}
CS PhD student at IC-Unicamp address@hidden, gnu.org}
Free Software Evangelist *Please* write to mailing lists, not to me
- [Bug-glpk] (Not) installing headers in $(oldincludedir),
Alexandre Oliva <=