From 1b8fd8999ea036bf34e24b38f2befba8c7e18727 Mon Sep 17 00:00:00 2001 From: Tahina Ramananandro Date: Wed, 27 Sep 2023 11:38:11 -0700 Subject: [PATCH] steel_c.h no longer needed --- src/cbor/Makefile | 1 - 1 file changed, 1 deletion(-) diff --git a/src/cbor/Makefile b/src/cbor/Makefile index 02185adf7..a64794bad 100644 --- a/src/cbor/Makefile +++ b/src/cbor/Makefile @@ -63,7 +63,6 @@ verify-all: $(ALL_CHECKED_FILES) KRML = $(KRML_HOME)/krml \ -ccopt "-Ofast" \ -drop 'FStar.Tactics.\*' -drop FStar.Tactics -drop 'FStar.Reflection.\*' \ - -I $(STEEL_HOME)/include/steel -add-include '"steel_c.h"' \ -tmpdir out \ -bundle 'CBOR.SteelC+CBOR.SteelST+CBOR.Spec.Constants=CBOR.\*,Steel.\*,C,LowStar.\*,LowParse.\*[rename=CBOR]' \ -skip-linking \