diff options
| author | Gabriel Kerneis | 2014-02-27 12:59:25 +0000 |
|---|---|---|
| committer | Gabriel Kerneis | 2014-02-27 14:31:42 +0000 |
| commit | c9bbb031b95ea6af431dd930c322dc88594b51c8 (patch) | |
| tree | fa2c19804916e8be80e005e3429e586664febd36 /src/Makefile | |
| parent | 088a7661fbc749f6d899540035c883b14acf337c (diff) | |
Load POWER binary into interpreter's memory
Diffstat (limited to 'src/Makefile')
| -rw-r--r-- | src/Makefile | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/src/Makefile b/src/Makefile index d36441b6..66e83fca 100644 --- a/src/Makefile +++ b/src/Makefile @@ -1,11 +1,14 @@ -.PHONY: all test clean update_lem_lib +.PHONY: all test clean update_lem_lib power_test all: - ocamlbuild -classic-display main.native test/run_tests.native + ocamlbuild -classic-display main.native test/run_tests.native test/run_power.native test: all ./run_tests.native +test_power: all + ./run_power.native ../../../rsem/idl/power/binary/main.bin + clean: -ocamlbuild -clean -rm -rf _build |