id,summary,reporter,owner,description,type,status,priority,milestone,component,version,resolution,keywords,cc,port 22254,coq_makefile generates Makefile with ''install -D'' lines,kiyoshi.coquser@…,roederja,"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 ",defect,closed,Normal,,ports,1.8.1,fixed,haspatch,roederja reilles@…,coq