[Matita] Matita make install

roconnor at theorem.ca roconnor at theorem.ca
Thu Sep 23 17:11:06 CEST 2010


On Thu, 16 Sep 2010, Enrico Tassi wrote:

> On Thu, Sep 16, 2010 at 11:38:37AM -0400, roconnor at theorem.ca wrote:
>> I have a question about how Matita's make install works.
>>
>> in matita/Makefile we have the line:
>>
>> WHERE = $(DESTDIR)/$(RT_BASE_DIR)
>>
>> WHERE is the directory where matita installs things, but as you can
>> see, it is alway a subdirectory of DESTDIR which is the place that
>> matita was unpacked. The install never puts anything into designated
>> system place.
>>
>> I wonder if this is an error, or is there some aspect of the install
>> that I'm misunderstanding?
>
> 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

rec@%:
         $(MAKE) -C $(word 2, $(subst @, ,$*)) $(word 1, $(subst @, ,$*)) DESTDIR=$(shell pwd)/$(DESTDIR)

So when make is run recursivley the DESTDIR is alwasy set to some 
subdirectory of the current directory (pwd).  This is done even for make 
install.

-- 
Russell O'Connor                                      <http://r6.ca/>
``All talk about `theft,''' the general counsel of the American Graphophone
Company wrote, ``is the merest claptrap, for there exists no property in
ideas musical, literary or artistic, except as defined by statute.''


More information about the Matita mailing list