From mboxrd@z Thu Jan 1 00:00:00 1970 From: David Edelsohn To: kenner@vlsi1.ultra.nyu.edu (Richard Kenner) Cc: gcc@gcc.gnu.org Subject: Re: Top-level Makefile Date: Fri, 30 Nov 2001 19:33:00 -0000 Message-ID: <200112010332.WAA23872@makai.watson.ibm.com> References: <10112010139.AA28635@vlsi1.ultra.nyu.edu> X-SW-Source: 2001-11/msg01678.html Message-ID: <20011130193300.yqjdcM6lPuX9OKEQSR2Ey6NqFzwZbR6uFDA7iRfd-6U@z> >>>>> Richard Kenner writes: > Note that I use > $ make SHELL=/usr/local/bin/bash CONFIG_SHELL=/usr/local/bin/bash ... bootstrap > Setting the appropriate environment variables should be equivalent with > GNU Make, but I am not sure. Richard> You lost me. I was doing configure, not make. As others have mentioned, "configure" is run at different times. The first manual configure is for the build of the compiler itself. Then "make bootstrap" or "make all" in the top-level runs configure implicitly to set up the target libraries based on the target compiler just built. libstdc++-v3 is one of those directories in which "configure" is run by Make. The upshot is that you need to specify the shell to Make so that it is used by the libstdc++-v3 configure. David