From 9a17505d74fb2b9c80547e0e14aaeb6efea3a0d5 Mon Sep 17 00:00:00 2001 From: Jordan Carlin Date: Thu, 19 Dec 2024 13:38:45 -0800 Subject: [PATCH] Remove Makefile cgen target --- Makefile | 3 --- 1 file changed, 3 deletions(-) diff --git a/Makefile b/Makefile index b30fc6162..161e53899 100644 --- 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)