Thank you very much for this Graham, useful tip to search github for such problems. Now I think I still have a problem, unless I misunderstand the workaround, in that this problem occurs on "make configure-deps" not on the next step "./configure -C" when I could pass through options.
tom
----
Starlink User Support list
For list configuration, including subscribing to and unsubscribing from the list, see
https://www.jiscmail.ac.uk/cgi-bin/webadmin?A0=STARLINK
|