[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[task #15730] Installed scripts with Makefiles for parallel operations
|
From: |
Mohammad Akhlaghi |
|
Subject: |
[task #15730] Installed scripts with Makefiles for parallel operations |
|
Date: |
Sat, 18 Jul 2020 11:43:03 -0400 (EDT) |
|
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:78.0) Gecko/20100101 Firefox/78.0 |
Follow-up Comment #1, task #15730 (project gnuastro):
One small technicality will be using portable Make in the Makefiles. Because
some systems may not have GNU Make.
But if the Makefiles use GNU Make specific features, we can add checks in
Gnuastro's configuration step for the running Make version. If the host
doesn't have any GNU Make, those Makefiles can be disabled (with a warning at
the end of the configuration).
_______________________________________________________
Reply to this item at:
<https://savannah.gnu.org/task/?15730>
_______________________________________________
Message sent via Savannah
https://savannah.gnu.org/