[GRASS-dev] ubuntu/debian packages missing Platform.make?

[Luca Delucchi]

Hi devs,

I just discovered that the "config" option on grass70 script doesn't
work with ubuntu/debian packages because Platform.make is missing,
anyway to solve it?

grass70 --config path

Traceback (most recent call last):
  File "/usr/bin/grass70", line 1345, in <module>
    parse_cmdline()
  File "/usr/bin/grass70", line 1281, in parse_cmdline
    print_params()
  File "/usr/bin/grass70", line 1194, in print_params
    fileplat = open(plat)
IOError: [Errno 2] No such file or directory:
'/usr/lib/grass70/include/Make/Platform.make'

Should I open a ticket?

-- 
ciao
Luca

http://gis.cri.fmach.it/delucchi/
www.lucadelu.org