diff options
| author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2019-10-30 14:18:00 +0000 |
|---|---|---|
| committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2019-10-30 15:19:45 +0000 |
| commit | 315172710f5be42b14ac7e1de91a4660368a3c47 (patch) | |
| tree | ab4614b5e4a1d6055eb62e3a8a9672db17a60fc5 /.file-metadata | |
| parent | 3fc44bc6c34cf436a885d0e2ab4dc591d233d573 (diff) | |
Tarballs set as order-only prerequisites, not needed for build calls
Until now, the tarballs were the first normal prerequisite of the
software. As a result if their date changed, the whole software would be
re-built. However, for tarballs specifically, we actually check their
contents with a checksum, so their date is irrelevant (if its newer than
the built program, but has the same checksum, there is no need to re-build
the software).
Also, calling the tarball name as an argument to the building process (for
example `gbuild') was redundant. It is now automatically found from the
list of order-only prerequisites within `gbuild' and `cbuild' (similar to
how it was previously found in the `pybuild' for Python building).
A `README.md' file has also been placed in `reproduce/software/make' to
help describe the shared properties of the software building
Makefiles. This will hopefully grow much larger in the future.
Diffstat (limited to '.file-metadata')
| -rw-r--r-- | .file-metadata | bin | 6651 -> 6895 bytes |
1 files changed, 0 insertions, 0 deletions
diff --git a/.file-metadata b/.file-metadata Binary files differindex 6a6b52c..f77f0d1 100644 --- a/.file-metadata +++ b/.file-metadata |