added ability to export ce.cddl

added exports dir and make target to generate ce.cddl file that can be exported to other repos.
TrustedComputingGroup · Jan 6, 2025 · 8eb5efb · 8eb5efb
1 parent 79f28c3
commit 8eb5efb
Show file tree

Hide file tree

Showing 2 changed files with 737 additions and 0 deletions.
diff --git a/Makefile b/Makefile
@@ -52,3 +52,7 @@ $(eval $(call cddl_check_template,comidx,$(COMID_X_FRAGS),$(COMID_X_EXAMPLES)))
 clean: ; rm -f $(CLEANFILES)
 
 clean-extra: clean ; $(MAKE) -C $(CORIM_DIR) clean
+
+export-ce: ce-autogen.cddl
+	@echo -n "copying ce.cddl to exports"
+	@cp $(CE_DIR)/ce-autogen.cddl exports/ce.cddl