From 7f06278bd0b43426e88632afcd8e5633c5ab0a1e Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Mon, 27 Jun 2022 04:40:43 +0200
Subject: Update the Makefiles

---
 tests/misc/Makefile | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

(limited to 'tests/misc')

diff --git a/tests/misc/Makefile b/tests/misc/Makefile
index fed1a280..ea838d2d 100644
--- a/tests/misc/Makefile
+++ b/tests/misc/Makefile
@@ -21,10 +21,7 @@ ifeq (,$(filter %-in,$(MAKECMDGOALS)))
 ifndef NODEPEND
 ifndef MAKE_RESTARTS
 .depend: .FORCE
-	$(FSTAR_NO_FLAGS) --dep full $(notdir $(FSTAR_ROOTS)) \
-	    --extract 'krml:*' \
-	    --extract 'OCaml:-* +FStar.Krml.Endianness +Vale.Arch +Vale.X64 -Vale.X64.MemoryAdapters +Vale.Def +Vale.Lib +Vale.Bignum.X64 -Vale.Lib.Tactics +Vale.Math +Vale.Transformers +Vale.AES +Vale.Interop +Vale.Arch.Types +Vale.Arch.BufferFriend +Vale.Lib.X64 +Vale.SHA.X64 +Vale.SHA.SHA_helpers +Vale.Curve25519.X64 +Vale.Poly1305.X64 +Vale.Inline +Vale.AsLowStar +Vale.Test +Spec +Lib -Lib.IntVector +C' \
-	    > $@
+	$(FSTAR_NO_FLAGS) --dep full $(notdir $(FSTAR_ROOTS)) > $@
 
 .PHONY: .FORCE
 .FORCE:
-- 
cgit v1.2.3