Hi All,

May I ask for a vote how issue to be resolved.
The problem is command "... setup.py install ... --root=/$(DESTDIR)" if
DESTDIR is specified:
error: could not create '//...': No such host or network path

Currently issue http://bugs.python.org/issue2233 propose three solutions:

1) replace "slash before $(DESTDIR)" with "/./" . Lets call solution
"hacky".

2) lets call second one "shell script based":
INSTROOT=$(DESTDIR); test -z "$$INSTROOT" && INSTROOT=/; ... setup.py
install ... --root=$$INSTROOT

3) the third "shell parameter expansion":
... --root=$${DESTDIR-/}
The question for last one is: "So, if a user executes "make DESTDIR=
install", then the build will fail. Or, maybe we shouldn't worry about
that corner case."


Which solution is prefered ? What about other solutions ?


Roumen

_______________________________________________
Python-Dev mailing list
Python-Dev@python.org
http://mail.python.org/mailman/listinfo/python-dev
Unsubscribe: 
http://mail.python.org/mailman/options/python-dev/archive%40mail-archive.com

Reply via email to