[MacPorts] #22254: coq_makefile generates Makefile with ''install -D'' lines

27 Oct 2009

      #22254: coq_makefile generates Makefile with ''install -D'' lines
---------------------------------------+------------------------------------
 Reporter:  kiyoshi.coquser@…          |       Owner:  macports-tickets@…                   
     Type:  defect                     |      Status:  new                                  
 Priority:  Normal                     |   Milestone:                                       
Component:  ports                      |     Version:  1.8.1                                
 Keywords:                             |        Port:  coq                                  
---------------------------------------+------------------------------------
 The Makefile generated by coq_makefile has lines like follows:

 {{{
 install:
         mkdir -p $(COQLIB)/user-contrib
         (for i in $(VOFILES0); do \
          install -D $$i $(COQLIB)/user-contrib/$(INSTALLDEFAULTROOT)/$$i;
 \
          done)
         (for i in $(CMOFILES0); do \
          install -D $$i $(COQLIB)/user-contrib/$(INSTALLDEFAULTROOT)/$$i;
 \
          done)
         (for i in $(CMIFILES0); do \
          install -D $$i $(COQLIB)/user-contrib/$(INSTALLDEFAULTROOT)/$$i;
 \
          done)
         (for i in $(CMXSFILES0); do \
          install -D $$i $(COQLIB)/user-contrib/$(INSTALLDEFAULTROOT)/$$i;
 \
          done)
 }}}

 The ''install'' command on the Mac OS X (and *BSD) has no ''-D'' option,
 so ''make install'' fails.

 A patch attached to this report will fix this issue.

 I also reported this issue to Coq bugs (not yet confirmed).
 http://www.lix.polytechnique.fr/coq/bugs/show_bug.cgi?id=2153

-- 
Ticket URL: <http://trac.macports.org/ticket/22254>
MacPorts <http://www.macports.org/>
Ports system for Mac OS