diff options
| author | Gabriel Kerneis | 2014-06-10 12:25:32 +0100 |
|---|---|---|
| committer | Gabriel Kerneis | 2014-06-10 12:25:32 +0100 |
| commit | d426514ad1fc917183e6d432e8ba658e7ef4a641 (patch) | |
| tree | f9dbc32471c1303bed487bb35867aa7cb8246ff1 /src/Makefile | |
| parent | e203adf3bd63c8f0e061da4814791e4242d3dad6 (diff) | |
More robust build system
Diffstat (limited to 'src/Makefile')
| -rw-r--r-- | src/Makefile | 19 |
1 files changed, 12 insertions, 7 deletions
diff --git a/src/Makefile b/src/Makefile index 92ca2246..22f3beb2 100644 --- a/src/Makefile +++ b/src/Makefile @@ -1,17 +1,22 @@ -.PHONY: all test clean doc lib test_power test_idempotence +.PHONY: all sail test clean doc lib power test_power test_idempotence -all: lib doc - ocamlbuild -classic-display sail.native test/run_tests.native +all: sail test lib power doc -test: all +sail: + ocamlbuild sail.native + +test: sail + ocamlbuild test/run_tests.native ./run_tests.native -test_power: +power: sail + ocamlbuild test/run_power.native + +test_power: power #../../../rsem/idl/power/binary/run.sh - ocamlbuild -classic-display sail.native test/run_power.native ./run_power.native --file ../../../rsem/idl/power/binary/main.bin -test_idempotence: +test_idempotence: sail @cd test; for file in *.sail; do \ ./idempotence.sh $$file; echo ;\ done |