diff options
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 |