Skip to content

Commit

Permalink
Update Makefile
Browse files Browse the repository at this point in the history
moved make exports to end of make stream
  • Loading branch information
nedmsmith committed Jan 7, 2025
1 parent d663800 commit 9de4e71
Showing 1 changed file with 5 additions and 2 deletions.
7 changes: 5 additions & 2 deletions Makefile
Original file line number Diff line number Diff line change
Expand Up @@ -21,7 +21,8 @@ CORIM_IMPORT := $(addprefix $(IMPORTS_DIR), corim-import.cddl )

check:: check-comidx check-comidx-examples
check:: check-spdm check-spdm-examples
check:: check-ce check-ce-examples exp-ce
check:: check-ce check-ce-examples
check:: exp-ce

include $(CE_DIR)ce-frags.mk
CE_DEPS := $(addprefix $(CE_DIR), $(CE_FRAGS))
Expand All @@ -41,7 +42,6 @@ EV_FRAGS += $(CORIM_IMPORT)
EV_EXAMPLES := $(wildcard examples/ce-*.diag) # concise-evidence example filenames have 'ce-' prefix

$(eval $(call cddl_check_template,ce,$(EV_FRAGS),$(EV_EXAMPLES)))
$(eval $(call cddl_exp_template,ce,$(CE_DEPS)))

COMID_X_FRAGS := comid-x-start.cddl
COMID_X_FRAGS += $(CE_DEPS)
Expand All @@ -51,6 +51,9 @@ COMID_X_EXAMPLES := $(wildcard examples/comid-*.diag) # concise-mid-tag example

$(eval $(call cddl_check_template,comidx,$(COMID_X_FRAGS),$(COMID_X_EXAMPLES)))

# Make ce.cddl export file
$(eval $(call cddl_exp_template,ce,$(CE_DEPS)))

clean: ; rm -f $(CLEANFILES)

clean-extra: clean ; $(MAKE) -C $(CORIM_DIR) clean
Expand Down

0 comments on commit 9de4e71

Please sign in to comment.