do not extract COSE.Spec

project-everest · Aug 29, 2023 · aa22bc5 · aa22bc5
1 parent 3231c6a
commit aa22bc5
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/cbor/Makefile b/src/cbor/Makefile
@@ -49,7 +49,7 @@ clean:
 	rm -rf *.checked *.source .depend .depend.tmp out *.krml *.o
 
 .depend: $(LOWPARSE_FILES)
-	$(FSTAR) --dep full $(LOWPARSE_FILES) --extract 'krml:*,-FStar.Tactics,-CDDL.Spec' > $@.tmp
+	$(FSTAR) --dep full $(LOWPARSE_FILES) --extract 'krml:*,-FStar.Tactics,-CDDL.Spec,-COSE.Spec' > $@.tmp
 	mv $@.tmp $@
 
 include .depend