[Matita] Matita make install
tassi at cs.unibo.it
Thu Sep 23 17:47:34 CEST 2010
On Thu, Sep 23, 2010 at 11:11:06AM -0400, roconnor at theorem.ca wrote:
> >DESTDIR is a variable meant to be set by package-builders for linux
> >distributions to have the software installed in a place different from
> >the one it has been configured to be actually installed.
> Yes, but you can see in Makefile the rule
> $(MAKE) -C $(word 2, $(subst @, ,$*)) $(word 1, $(subst @, ,$*)) DESTDIR=$(shell pwd)/$(DESTDIR)
Yep, you are right... This line of Makefile makes no sense. I'll erase
the "$(shell pwd)/" part, then it should work for you too.
More information about the Matita