[MacPorts] #22254: coq_makefile generates Makefile with ''install -D'' lines
#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
#22254: coq_makefile generates Makefile with ''install -D'' lines ---------------------------------------+------------------------------------ Reporter: kiyoshi.coquser@… | Owner: reilles@… Type: defect | Status: new Priority: Normal | Milestone: Component: ports | Version: 1.8.1 Keywords: haspatch | Port: coq ---------------------------------------+------------------------------------ Changes (by jmr@…): * keywords: => haspatch * owner: macports-tickets@… => reilles@… -- Ticket URL: <http://trac.macports.org/ticket/22254#comment:1> MacPorts <http://www.macports.org/> Ports system for Mac OS
#22254: coq_makefile generates Makefile with ''install -D'' lines ---------------------------------------+------------------------------------ Reporter: kiyoshi.coquser@… | Owner: jann@… Type: defect | Status: assigned Priority: Normal | Milestone: Component: ports | Version: 1.8.1 Keywords: haspatch | Port: coq ---------------------------------------+------------------------------------ Changes (by jann@…): * cc: jann@…, reilles@… (added) * owner: reilles@… => jann@… * status: new => assigned Comment: The maintainer doesn't seem to respond. If you provide a patch for the portfile itself, I will commit this fix. -- Ticket URL: <http://trac.macports.org/ticket/22254#comment:2> MacPorts <http://www.macports.org/> Ports system for Mac OS
#22254: coq_makefile generates Makefile with ''install -D'' lines ---------------------------------------+------------------------------------ Reporter: kiyoshi.coquser@… | Owner: jann@… Type: defect | Status: assigned Priority: Normal | Milestone: Component: ports | Version: 1.8.1 Keywords: haspatch | Port: coq ---------------------------------------+------------------------------------ Comment(by kiyoshi.coquser@…): Please use Portfile.diff and patch-tool-coq_makefile.ml4.diff . -- Ticket URL: <http://trac.macports.org/ticket/22254#comment:3> MacPorts <http://www.macports.org/> Ports system for Mac OS
#22254: coq_makefile generates Makefile with ''install -D'' lines ----------------------------------------+----------------------------------- Reporter: kiyoshi.coquser@… | Owner: jann@… Type: defect | Status: closed Priority: Normal | Milestone: Component: ports | Version: 1.8.1 Resolution: fixed | Keywords: haspatch Port: coq | ----------------------------------------+----------------------------------- Changes (by jann@…): * status: assigned => closed * resolution: => fixed Comment: Committed in r62316. Thanks. -- Ticket URL: <http://trac.macports.org/ticket/22254#comment:4> MacPorts <http://www.macports.org/> Ports system for Mac OS
participants (1)
-
MacPorts