[MacPorts] #22254: coq_makefile generates Makefile with ''install -D'' lines
MacPorts
noreply at macports.org
Tue Oct 27 00:24:30 PDT 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
More information about the macports-tickets
mailing list