[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?


--- 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 || : ; \
        $(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

reply via email to

[Prev in Thread] Current Thread [Next in Thread]