Remove Makefile cgen target

This is not a valid Sail backend anymore.
jordancarlin · Dec 31, 2024 · b92a3fa · b92a3fa
1 parent c855281
commit b92a3fa
Showing 1 changed file with 0 additions and 3 deletions.
diff --git a/Makefile b/Makefile
@@ -234,9 +234,6 @@ sail_doc/riscv_$(ARCH).json: $(SAIL_SRCS) model/main.sail
 riscv.smt_model: $(SAIL_SRCS)
 	$(SAIL) -smt_serialize $(SAIL_FLAGS) $(SAIL_SRCS) -o riscv
 
-cgen: $(SAIL_SRCS) model/main.sail
-	$(SAIL) -cgen $(SAIL_FLAGS) $(SAIL_SRCS) model/main.sail
-
 cloc:
 	cloc --by-file --force-lang C,sail $(SAIL_SRCS)