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
_______________________________________________
grass-user mailing list
[email protected]
https://lists.osgeo.org/mailman/listinfo/grass-user
