Disable implicit suffix rules in submakefiles (#1902)

I believe this was causing issues, e.g., [here](https://github.com/mit-plv/fiat-crypto/actions/runs/9023963682/job/24799935044?pr=1898#step:5:39) when uploaded artifacts failed to preserve relative timestamps on .o files vs output executables, and as a result invoked automatic [suffix rules](https://www.gnu.org/software/make/manual/html_node/Suffix-Rules.html) and failed.
mit-plv · May 10, 2024 · 8360733 · 8360733
1 parent d70c5eb
commit 8360733
Show file tree

Hide file tree

Showing 5 changed files with 10 additions and 0 deletions.
diff --git a/Makefile.config b/Makefile.config
@@ -1,3 +1,5 @@
+.SUFFIXES:
+
 SKIP_BEDROCK2?=
 
 VERBOSE?=

diff --git a/Makefile.coq.local b/Makefile.coq.local
@@ -1,3 +1,5 @@
+.SUFFIXES:
+
 PROFILE?=
 OTHERFLAGS += -w -notation-overridden,-deprecated-hint-constr,-fragile-hint-constr,-native-compiler-disabled,-ambiguous-paths,-masking-absolute-name
 ifneq ($(PROFILE),)

diff --git a/Makefile.examples b/Makefile.examples
@@ -4,6 +4,8 @@
 # this makefile directly as long as the compiled binaries are lying
 # around
 
+.SUFFIXES:
+
 include Makefile.config
 
 CFLAGS?=

diff --git a/Makefile.js-html b/Makefile.js-html
@@ -1,3 +1,5 @@
+.SUFFIXES:
+
 EXTRA_HTML_VERSION_INFO?=
 
 .PHONY: fiat-html/version.js

diff --git a/Makefile.standalone b/Makefile.standalone
@@ -2,6 +2,8 @@
 # files on .v files, so that we can compile them by invoking this
 # makefile directly even when Coq is not available
 
+.SUFFIXES:
+
 SELF_MAKEFILE_STANDALONE := $(lastword $(MAKEFILE_LIST))
 
 include Makefile.config