diff options
| author | Jessica Clarke <jrtc27@jrtc27.com> | 2022-01-19 16:34:43 +0000 |
|---|---|---|
| committer | Jessica Clarke <jrtc27@jrtc27.com> | 2022-01-19 16:34:43 +0000 |
| commit | 4a191821c6b3f61702235fcfffc17b044b5493db (patch) | |
| tree | 5683cc3b697f9ca3fafc0b9983ca61ea1ba3a806 | |
| parent | 7b80055a083e0a03f23e2bfd87188935498d57a4 (diff) | |
| download | sail-riscv-4a191821c6b3f61702235fcfffc17b044b5493db.zip sail-riscv-4a191821c6b3f61702235fcfffc17b044b5493db.tar.gz sail-riscv-4a191821c6b3f61702235fcfffc17b044b5493db.tar.bz2 | |
Makefile: Sort files when generating sail-riscv.install
The order used for wildcard is not deterministic and varies between
systems. Sorting ensures the diffs are easy to inspect going forwards.
| -rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -424,7 +424,7 @@ generated_definitions/for-rmem/riscv.defs: $(SAIL_RMEM_SRCS) FORCE: -SHARE_FILES:=$(wildcard model/*.sail) $(wildcard c_emulator/*.c) $(wildcard c_emulator/*.h) $(wildcard handwritten_support/*.lem) $(wildcard handwritten_support/hgen/*.hgen) $(wildcard handwritten_support/0.11/*.lem) $(RMEM_FILES) +SHARE_FILES:=$(sort $(wildcard model/*.sail)) $(sort $(wildcard c_emulator/*.c)) $(sort $(wildcard c_emulator/*.h)) $(sort $(wildcard handwritten_support/*.lem)) $(sort $(wildcard handwritten_support/hgen/*.hgen)) $(sort $(wildcard handwritten_support/0.11/*.lem)) $(RMEM_FILES) sail-riscv.install: FORCE echo 'bin: ["c_emulator/riscv_sim_RV64" "c_emulator/riscv_sim_RV32"]' > sail-riscv.install echo 'share: [ $(foreach f,$(SHARE_FILES),"$f" {"$f"}) ]' >> sail-riscv.install |