git/list[1] front-page[2] threads[3] people[4] search[5] about
 

Re: make install rewrites source files

From
Junio C Hamano <gitster@pobox.com>
Date
Jan 23, 2012, 20:15 UTC
Message-ID
<7vhazm89bo.fsf@alter.siamese.dyndns.org>
In-Reply-To
<hbf.20120123bz2f@bombur.uio.no>
Hallvard Breien Furuseth <h.b.furuseth@usit.uio.no> writes:
> INSTALL says we can install a profiled Git with
> 	$ make profile-all
> 	# make install prefix=...
> This does not work...

We should just drop prefix=... from that line, as the "prefix=value must be the same while building and installing" is not only about the "profile" build but applies to any other build.

I however wonder why you would need a separate profile-install target, though. Shouldn't 

	$ make foo-build && make install

install a funky 'foo' variant of the build for any supported value of 'foo'?

Previous: Hallvard Breien FurusethNext: Hallvard Breien Furuseth
Message 2 of 9 in “make install rewrites source files”
  1. Hallvard Breien FurusethJan 23, 2012
  2. Junio C HamanoJan 23, 2012
  3. Hallvard Breien FurusethJan 23, 2012
  4. Clemens BuchacherJan 26, 2012
  5. Junio C HamanoJan 27, 2012
  6. Hallvard Breien FurusethJan 27, 2012
  7. Phillip SusiJan 23, 2012
  8. Junio C HamanoJan 23, 2012
  9. Hallvard B FurusethJan 27, 2012

Read the whole thread, see it on lore, or plain text.

$ cat FOOTERMessages come from the public archive at lore.kernel.org/git, fetched every hour. The front page is chosen and written each morning by an AI editor and can be wrong; the threads themselves are the record. About and API. For agents: an MCP server at https://gitlist.dev/mcp, and any thread, story or person page as Markdown by adding .md to its URL (or sending Accept: text/markdown). Details in /llms.txt.