Use jazzct in Makefile.checksct.

formosa-crypto · May 8, 2024 · a1fa063 · a1fa063
1 parent 1b7cf84
commit a1fa063
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 2 deletions.
diff --git a/src/Makefile.checksct b/src/Makefile.checksct
@@ -7,8 +7,8 @@ ifneq ($(OP),)
 
 SCT_FLAGS  ?= 
 
-CHECK_SCT_S = ($(JASMINC) -slice $* -checkSCT $(SCT_FLAGS) $< > $@ 2>&1) $(CIT)
-CHECK_SCT   = ($(JASMINC)           -checkSCT $(SCT_FLAGS) $< > $@ 2>&1) $(CIT)
+CHECK_SCT_S = ($(JAZZCT) --slice $* --speculative $(SCT_FLAGS) $< > $@ 2>&1) $(CIT)
+CHECK_SCT   = ($(JAZZCT)            --speculative $(SCT_FLAGS) $< > $@ 2>&1) $(CIT)
 
 SCT_TARGETS  = $(addsuffix .sct, $(FUNCTIONS))
 

diff --git a/src/Makefile.common b/src/Makefile.common
@@ -36,6 +36,7 @@ JEXT    ?= jazz
 override JFLAGS += -noinsertarraycopy
 JINCLUDE = -I Jade:$(SRC)
 JASMIN  ?= jasminc
+JAZZCT  ?= jazzct
 JASMINC := $(JASMIN) $(JFLAGS) $(JINCLUDE)
 COMPILE  = ($(JASMINC) -o $@ $<) $(CIT)