diff options
author | Scott Johnson <scott.johnson@arilinc.com> | 2019-05-30 11:23:30 -0700 |
---|---|---|
committer | Scott Johnson <scott.johnson@arilinc.com> | 2019-05-30 11:23:30 -0700 |
commit | 0bc987c4c5b48b275c76d96019b3188a1a5d8e99 (patch) | |
tree | 7fdbd0812d88430cbd8e47d4a9bb21475d0d88ce /Makefile | |
parent | 65085e894d4affeb41b6758680ca1b265e92d14c (diff) | |
download | sail-riscv-0bc987c4c5b48b275c76d96019b3188a1a5d8e99.zip sail-riscv-0bc987c4c5b48b275c76d96019b3188a1a5d8e99.tar.gz sail-riscv-0bc987c4c5b48b275c76d96019b3188a1a5d8e99.tar.bz2 |
Remove obsolete targets from Makefile
Per email from Prashanth
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 7 |
1 files changed, 0 insertions, 7 deletions
@@ -181,13 +181,6 @@ generated_definitions/ocaml/riscv_duopod_ocaml: $(PRELUDE_SRCS) model/riscv_duop ocaml_emulator/tracecmp: ocaml_emulator/tracecmp.ml ocamlfind ocamlopt -annot -linkpkg -package unix $^ -o $@ -generated_definitions/c/riscv.c: $(SAIL_SRCS) model/main.sail Makefile - mkdir -p generated_definitions/c - $(SAIL) $(SAIL_FLAGS) -O -memo_z3 -c -c_include riscv_prelude.h -c_include riscv_platform.h $(SAIL_SRCS) model/main.sail -o $(basename $@) - -c_emulator/riscv_c: generated_definitions/c/riscv.c $(C_INCS) $(C_SRCS) Makefile - gcc $(C_WARNINGS) $(C_FLAGS) $< $(C_SRCS) $(SAIL_LIB_DIR)/*.c -lgmp -lz -I $(SAIL_LIB_DIR) -o $@ - generated_definitions/c/riscv_model_$(ARCH).c: $(SAIL_SRCS) model/main.sail Makefile mkdir -p generated_definitions/c $(SAIL) $(SAIL_FLAGS) -O -memo_z3 -c -c_include riscv_prelude.h -c_include riscv_platform.h -c_no_main $(SAIL_SRCS) model/main.sail -o $(basename $@) |