[darcs-devel] [darcs #197] Makefile issues

[Juliusz Chroboczek via RT]

Sun Jan 30 15:50:21 2005: New ticket: 197.
Transaction: Ticket created by jch
       Queue: Darcs
     Subject: Makefile issues
       Owner: Nobody
  Requestors: jch at pps.jussieu.fr
      Status: new
 Ticket <URL: http://bugs.darcs.net/.//Ticket/Display.html?id=197 >

I think there's something wrong with the dependencies in the makefile.

First, doing

  $ make clean; make 
  $ make

relinks darcs in the second make.  A nasty side effect is that if you do

  $ make clean; make
  $ sudo make install

you end up with a darcs binary that's owned by root.

Additionally, doing

  $ darcs pull
  $ make

sometimes fails by claiming inconsistent interfaces.

The first issue seems to imply that dependencies are too strict, the
second that they're too lax.

                                        Juliusz