Skip to content

Commit

Permalink
rename md5sum files to NAME.md5sum
Browse files Browse the repository at this point in the history
matches the collated compiled.md5sum.
hopefully this causes no problems
  • Loading branch information
katrinafyi committed Dec 17, 2024
1 parent fa740ff commit 9073116
Show file tree
Hide file tree
Showing 303 changed files with 6 additions and 4 deletions.
2 changes: 1 addition & 1 deletion src/test/Makefile
Original file line number Diff line number Diff line change
Expand Up @@ -24,7 +24,7 @@ $(SUBDIRS):
# check with `md5sum -c compiled.md5sum` in src/test.
.PHONY: compiled.md5sum
compiled.md5sum:
find $(DIRS) -name 'md5sums' -exec cat '{}' + | sort -k2 > compiled.md5sum
find $(DIRS) -name '*.md5sum' -exec cat '{}' + | sort -k2 > compiled.md5sum

TARBALL := compiled.tar.zst

Expand Down
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
8 changes: 5 additions & 3 deletions src/test/make/lift.mk
Original file line number Diff line number Diff line change
@@ -1,6 +1,8 @@

# Run from the directory basil/src/test/*/test_case/compilation_variant/

MD5SUM_FILE := $(NAME).md5sum

all: $(LIFT_ARTEFACTS)

$(NAME).relf: a.out
Expand Down Expand Up @@ -37,15 +39,15 @@ ifeq ($(USE_DOCKER), 1)
# $(DOCKER_CMD) hash > docker-hash-new
# diff --color -u docker-hash docker-hash-new # if this fails, make sure your docker image is up-to-date.
# rm docker-hash-new
cd $(BASE_DIR) && md5sum -c $(realpath .)/md5sums # using docker; checking compiler output hashes.
cd $(BASE_DIR) && md5sum -c $(realpath .)/$(MD5SUM_FILE) # using docker; checking compiler output hashes.
else
echo "not running within docker; skipping docker image validation."
cd $(BASE_DIR) && md5sum -c $(realpath .)/md5sums
cd $(BASE_DIR) && md5sum -c $(realpath .)/$(MD5SUM_FILE)
endif

# paths in md5sum are relative to src/test, to allow for collation into a big md5sums file
md5sum-update: a.out $(LIFT_ARTEFACTS)
cd $(BASE_DIR) && md5sum $(addprefix $(RELATIVE_DIR)/,$^) > $(RELATIVE_DIR)/md5sums # $^ is all specified dependencies
cd $(BASE_DIR) && md5sum $(addprefix $(RELATIVE_DIR)/,$^) > $(RELATIVE_DIR)/$(MD5SUM_FILE) # $^ is all specified dependencies
# $(ENSURE_DOCKER) $(DOCKER_CMD) hash > docker-hash

ifdef $(SPEC)
Expand Down
Loading

0 comments on commit 9073116

Please sign in to comment.