enable compat flag for SteelC following FStarLang/steel#127

project-everest · Mar 4, 2024 · dbc9515 · dbc9515
1 parent 91700f0
commit dbc9515
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/src/cbor/impl/Makefile b/src/cbor/impl/Makefile
@@ -73,6 +73,8 @@ $(ALL_CHECKED_FILES): %.checked:
 	$(FSTAR_EXE) $(FSTAR_OPTIONS) $(OTHERFLAGS) $<
 	touch $@
 
+CBOR.SteelC.fst.checked: FSTAR_OPTIONS += --ext compat:open_metas
+
 extract-steelc: $(filter-out COSE_% CDDL_% DPE_% CBOR_SteelST%,$(ALL_KRML_FILES)) $(filter CBOR_SteelST_Raw%,$(ALL_KRML_FILES))
 	$(KRML) -bundle 'CBOR.SteelC+CBOR.SteelST.Raw+CBOR.Spec.Constants=CBOR.\*,Steel.\*,C,LowStar.\*,LowParse.\*[rename=CBORSteelC]' $^