From 9c92d84eebbbd34d8926decfd314d5c165c4bd40 Mon Sep 17 00:00:00 2001
From: Jess Sullivan <jess@sulliwood.org>
Date: Thu, 26 Feb 2026 16:45:19 -0500
Subject: [PATCH] fix(fstar): remove deprecated --verify_module and
 --extract_module flags

F* 2025.12.15 removed --verify_module and --extract_module. Modern F*
verifies files passed on the command line directly and extracts all
impl files in the dependency graph with --codegen OCaml.
---
 fstar/Makefile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/fstar/Makefile b/fstar/Makefile
index 0a00fa4..59eeb29 100644
--- a/fstar/Makefile
+++ b/fstar/Makefile
@@ -16,10 +16,10 @@ extract: verify $(EXTRACTED)
 	@echo ":: F* -> OCaml extraction complete"
 
 cache/%.fst.checked: %.fst | cache
-	$(FSTAR) $(FSTAR_FLAGS) --verify_module $(basename $<) $<
+	$(FSTAR) $(FSTAR_FLAGS) $<
 
 out/Hexstrike_%.ml: Hexstrike.%.fst | out
-	$(FSTAR) $(FSTAR_FLAGS) --codegen OCaml --extract_module Hexstrike.$(word 2,$(subst ., ,$<)) $<
+	$(FSTAR) $(FSTAR_FLAGS) --codegen OCaml $<
 
 cache:
 	mkdir -p cache