Skip to content

Commit b92a3fa

Browse files
authored
Remove Makefile cgen target
This is not a valid Sail backend anymore.
1 parent c855281 commit b92a3fa

File tree

1 file changed

+0
-3
lines changed

1 file changed

+0
-3
lines changed

Makefile

-3
Original file line numberDiff line numberDiff line change
@@ -234,9 +234,6 @@ sail_doc/riscv_$(ARCH).json: $(SAIL_SRCS) model/main.sail
234234
riscv.smt_model: $(SAIL_SRCS)
235235
$(SAIL) -smt_serialize $(SAIL_FLAGS) $(SAIL_SRCS) -o riscv
236236

237-
cgen: $(SAIL_SRCS) model/main.sail
238-
$(SAIL) -cgen $(SAIL_FLAGS) $(SAIL_SRCS) model/main.sail
239-
240237
cloc:
241238
cloc --by-file --force-lang C,sail $(SAIL_SRCS)
242239

0 commit comments

Comments
 (0)