diff options
| author | Prashanth Mundkur <prashanth.mundkur@gmail.com> | 2019-03-11 14:57:18 -0700 |
|---|---|---|
| committer | Prashanth Mundkur <prashanth.mundkur@gmail.com> | 2019-03-11 14:57:18 -0700 |
| commit | 7f07eeff9f43b359f7b1b0e65689021bf68c19d6 (patch) | |
| tree | c3486c8f9ad00a834aa458a961b97ed73d6b5520 | |
| parent | 568b2096a75540f58e11b2d90617397532515874 (diff) | |
| download | sail-riscv-7f07eeff9f43b359f7b1b0e65689021bf68c19d6.zip sail-riscv-7f07eeff9f43b359f7b1b0e65689021bf68c19d6.tar.gz sail-riscv-7f07eeff9f43b359f7b1b0e65689021bf68c19d6.tar.bz2 | |
Fix typo in Makefile.
| -rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -241,7 +241,7 @@ generated_definitions/hol4/$(ARCH)/riscvScript.sml: generated_definitions/hol4/$ generated_definitions/lem/$(ARCH)/riscv_types.lem \ generated_definitions/lem/$(ARCH)/riscv.lem -$(addprefix generated_definitions/hol4/$(ARCH),riscvTheory.uo riscvTheory.ui): generated_definitions/hol4/$(ARCH)/Holmakefile generated_definitions/hol4/$(ARCH)/riscvScript.sml +$(addprefix generated_definitions/hol4/$(ARCH)/,riscvTheory.uo riscvTheory.ui): generated_definitions/hol4/$(ARCH)/Holmakefile generated_definitions/hol4/$(ARCH)/riscvScript.sml ifeq ($(wildcard $(LEM_DIR)/hol-lib),) $(error Lem directory not found. Please set the LEM_DIR environment variable) endif |