aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--reproduce/software/make/basic.mk27
-rwxr-xr-xreproduce/software/shell/configure.sh1
2 files changed, 23 insertions, 5 deletions
diff --git a/reproduce/software/make/basic.mk b/reproduce/software/make/basic.mk
index 79411d2..779320f 100644
--- a/reproduce/software/make/basic.mk
+++ b/reproduce/software/make/basic.mk
@@ -1297,8 +1297,8 @@ $(ibidir)/gcc: | $(ibidir)/binutils \
tar xf $(word 1,$(filter $(tdir)/%,$|)); \
if [ $$odir != $(ddir) ]; then \
ln -s $$odir/gcc-$(gcc-version) $(ddir)/gcc-$(gcc-version); \
- fi \
- && cd gcc-$(gcc-version) \
+ fi; \
+ if cd gcc-$(gcc-version) \
&& mkdir build \
&& cd build \
&& ../configure SHELL=$(ibdir)/bash \
@@ -1347,6 +1347,25 @@ $(ibidir)/gcc: | $(ibidir)/binutils \
rm -rf $$odir; \
rm $(ddir)/gcc-$(gcc-version); \
fi \
- && ln -sf $(ibdir)/gcc $(ibdir)/cc \
- && echo "GNU Compiler Collection (GCC) $(gcc-version)" > $@; \
+ && ln -sf $(ibdir)/gcc $(ibdir)/cc; \
+ then \
+ echo "GNU Compiler Collection (GCC) $(gcc-version)" > $@; \
+ else echo; echo; echo; \
+ echo "_________________________________________________"; \
+ echo "!!!!!!!! Warning from Maneage !!!!!!!!"; \
+ echo; \
+ echo "Unfortunately building of GCC failed on this system!"; \
+ echo "Can you please copy the last ~500 lines above and post it"; \
+ echo "as a bug here (as an attached file):"; \
+ echo " https://sv.nongnu.org/support/?func=additem&group=reproduce"; \
+ echo; \
+ echo "In the meantime, please re-configure Maneage with '--host-cc'"; \
+ echo "like below so it uses your own C compiler for building the"; \
+ echo "high-level software ('-e' is to use the existing configuration):"; \
+ echo; \
+ echo " ./project configure -e --host-cc"; \
+ echo; \
+ echo "__________ SEE NOTE FROM MANEAGE ABOVE __________"; \
+ echo; exit 1; \
+ fi; \
fi
diff --git a/reproduce/software/shell/configure.sh b/reproduce/software/shell/configure.sh
index 5837642..cce6e62 100755
--- a/reproduce/software/shell/configure.sh
+++ b/reproduce/software/shell/configure.sh
@@ -383,7 +383,6 @@ ______________________________________________________
EOF
sleep 5
else
- host_cc=0
on_mac_os=no
fi