[GRASS-user] make fails to find Platform.make

[Luí­s Moreira de Sousa]

Hello again,

I started the process from the beginning, running configure on a fresh source folder. I confirmed that indeed the Platform.make was present. This time make completed without errors:

GRASS GIS 7.6.0 exported compilation log
--------------------------------------------------
Started compilation: vr sep 20 08:58:53 CEST 2019
--
Errors in:
No errors detected.
--
Finished compilation: vr sep 20 09:07:06 CEST 2019

However, make install fails, again because the Platform.make file is missing. Interestingly, make itself is deleting the file, note the rm command below:

$ make install
/home/WUR/duque004/grass/grass-7.6.0/bin.x86_64-pc-linux-gnu/grass76
make install-check-built
make[1]: Entering directory `/home/WUR/duque004/grass/grass-7.6.0'
make[1]: Leaving directory `/home/WUR/duque004/grass/grass-7.6.0'
make install-check-parent
make[1]: Entering directory `/home/WUR/duque004/grass/grass-7.6.0'
make[1]: Leaving directory `/home/WUR/duque004/grass/grass-7.6.0'
make install-check-writable
make[1]: Entering directory `/home/WUR/duque004/grass/grass-7.6.0'
make[1]: Leaving directory `/home/WUR/duque004/grass/grass-7.6.0'
make install-check-prefix
make[1]: Entering directory `/home/WUR/duque004/grass/grass-7.6.0'
make[1]: Leaving directory `/home/WUR/duque004/grass/grass-7.6.0'
make real-install
make[1]: Entering directory `/home/WUR/duque004/grass/grass-7.6.0'
tar cBCf /home/WUR/duque004/grass/grass-7.6.0/dist.x86_64-pc-linux-gnu - . | tar xBCf /home/WUR/duque004/grass//grass-7.6.0 - 2>/dev/null
make[1]: [real-install] Error 2 (ignored)
rm /home/WUR/duque004/grass//grass-7.6.0/grass76.tmp
make /home/WUR/duque004/grass//bin/grass76
make[2]: Entering directory `/home/WUR/duque004/grass/grass-7.6.0'
sed -e 's#'@GISBASE@'#'/home/WUR/duque004/grass//grass-7.6.0'#g' \
    -e 's#'@LD_LIBRARY_PATH_VAR@'#'LD_LIBRARY_PATH'#g' \
    -e 's#'@CONFIG_PROJSHARE@'#'/usr/share/proj'#g' \
    /home/WUR/duque004/grass/grass-7.6.0/dist.x86_64-pc-linux-gnu/grass76.tmp > /home/WUR/duque004/grass//bin/grass76
chmod a+x /home/WUR/duque004/grass//bin/grass76
make[2]: Leaving directory `/home/WUR/duque004/grass/grass-7.6.0'
rm /home/WUR/duque004/grass//grass-7.6.0/etc/fontcap
make /home/WUR/duque004/grass//grass-7.6.0/etc/fontcap
make[2]: Entering directory `/home/WUR/duque004/grass/grass-7.6.0'
sed -e 's#/home/WUR/duque004/grass/grass-7.6.0/dist.x86_64-pc-linux-gnu#/home/WUR/duque004/grass//grass-7.6.0#g' /home/WUR/duque004/grass/grass-7.6.0/dist.x86_64-pc-linux-gnu/etc/fontcap > /home/WUR/duque004/grass//grass-7.6.0/etc/fontcap
make[2]: Leaving directory `/home/WUR/duque004/grass/grass-7.6.0'
rm /home/WUR/duque004/grass//grass-7.6.0/demolocation/.grassrc76
make /home/WUR/duque004/grass//grass-7.6.0/demolocation/.grassrc76
make[2]: Entering directory `/home/WUR/duque004/grass/grass-7.6.0'
sed -e 's#/home/WUR/duque004/grass/grass-7.6.0/dist.x86_64-pc-linux-gnu#/home/WUR/duque004/grass//grass-7.6.0#g' /home/WUR/duque004/grass/grass-7.6.0/dist.x86_64-pc-linux-gnu/demolocation/.grassrc76 > /home/WUR/duque004/grass//grass-7.6.0/demolocation/.grassrc76
make[2]: Leaving directory `/home/WUR/duque004/grass/grass-7.6.0'
rm /home/WUR/duque004/grass//grass-7.6.0/include/Make/Platform.make
make /home/WUR/duque004/grass//grass-7.6.0/include/Make/Platform.make
make[2]: Entering directory `/home/WUR/duque004/grass/grass-7.6.0'
include/Make/Vars.make:1: include/Make/Platform.make: No such file or directory
make[2]: *** No rule to make target `include/Make/Platform.make'.  Stop.
make[2]: Leaving directory `/home/WUR/duque004/grass/grass-7.6.0'
make[1]: *** [real-install] Error 2
make[1]: Leaving directory `/home/WUR/duque004/grass/grass-7.6.0'
make: *** [install] Error 2


How can I prevent make from deleting this file? I can try playing around with permissions, but that would be just a workaround.

Thank you.


--
Luís