hanoidb/Makefile

REBAR=		rebar
DIALYZER=	dialyzer


.PHONY: plt analyze all deps compile get-deps clean

all: compile

deps: get-deps

get-deps:
	@$(REBAR) get-deps

compile:
	@$(REBAR) compile

clean:
	@$(REBAR) clean

test: eunit

eunit: compile clean-test-btrees
	@$(REBAR) eunit skip_deps=true

eunit_console:
	erl -pa .eunit deps/*/ebin

clean-test-btrees:
	rm -fr .eunit/Btree_* .eunit/simple

plt: compile
	$(DIALYZER) --build_plt --output_plt .hanoi.plt \
		-pa deps/snappy/ebin \
		-pa deps/plain_fsm/ebin \
		deps/plain_fsm/ebin \
		--apps kernel stdlib

analyze: compile
	$(DIALYZER) --plt .hanoi.plt \
	-pa deps/snappy/ebin \
	-pa deps/plain_fsm/ebin \
	ebin

analyze-nospec: compile
	$(DIALYZER) --plt .hanoi.plt \
	-pa deps/plain_fsm/ebin \
        --no_spec \
	ebin

repl:
	erl -pz deps/*/ebin -pa ebin
Cleanup 2012-06-19 14:00:06 +00:00			`REBAR= rebar`
			`DIALYZER= dialyzer`

Provide a Makefile for running dialyzer. While here, also dump another slew of goodies in the makefile. 2012-01-06 20:22:23 +00:00
			`.PHONY: plt analyze all deps compile get-deps clean`

			`all: compile`

* Changed "lookup" to "get" just because * Added copyright notices to files * Added Apache 2.0 License file with permission from Kresten/Trifork * Changed the handle from "Db" to "Tree" because... it made me feel better * Other minor changes here and there 2012-04-15 14:35:39 +00:00			`deps: get-deps`

Provide a Makefile for running dialyzer. While here, also dump another slew of goodies in the makefile. 2012-01-06 20:22:23 +00:00			`get-deps:`
			`@$(REBAR) get-deps`

			`compile:`
			`@$(REBAR) compile`

			`clean:`
			`@$(REBAR) clean`

* Changed "lookup" to "get" just because * Added copyright notices to files * Added Apache 2.0 License file with permission from Kresten/Trifork * Changed the handle from "Db" to "Tree" because... it made me feel better * Other minor changes here and there 2012-04-15 14:35:39 +00:00			`test: eunit`

Preliminary cleanup of test cases. This is not the "right" way to do it since it should be internalized, but for a start it will do until we fix it. 2012-01-06 21:55:07 +00:00			`eunit: compile clean-test-btrees`
			`@$(REBAR) eunit skip_deps=true`

Provide a target for an eunit_console. 2012-01-21 14:13:22 +00:00			`eunit_console:`
			`erl -pa .eunit deps/*/ebin`

Preliminary cleanup of test cases. This is not the "right" way to do it since it should be internalized, but for a start it will do until we fix it. 2012-01-06 21:55:07 +00:00			`clean-test-btrees:`
Improve the test stale btree removal. Also delete the "simple" Btree in between test runs so we have a clean slate of what is happening. 2012-01-06 23:58:57 +00:00			`rm -fr .eunit/Btree_* .eunit/simple`
Preliminary cleanup of test cases. This is not the "right" way to do it since it should be internalized, but for a start it will do until we fix it. 2012-01-06 21:55:07 +00:00
Provide a Makefile for running dialyzer. While here, also dump another slew of goodies in the makefile. 2012-01-06 20:22:23 +00:00			`plt: compile`
Rename "lsm-btree" to "hanoi". 2012-04-21 19:20:39 +00:00			`$(DIALYZER) --build_plt --output_plt .hanoi.plt \`
Remove most dialyzer warnings This is a large change set, which adds type specs needed for dialyzer to be happy. We likely need even more type specs as we move forward. 2012-09-26 13:11:55 +00:00			`-pa deps/snappy/ebin \`
Provide a Makefile for running dialyzer. While here, also dump another slew of goodies in the makefile. 2012-01-06 20:22:23 +00:00			`-pa deps/plain_fsm/ebin \`
			`deps/plain_fsm/ebin \`
			`--apps kernel stdlib`

			`analyze: compile`
Rename "lsm-btree" to "hanoi". 2012-04-21 19:20:39 +00:00			`$(DIALYZER) --plt .hanoi.plt \`
Remove most dialyzer warnings This is a large change set, which adds type specs needed for dialyzer to be happy. We likely need even more type specs as we move forward. 2012-09-26 13:11:55 +00:00			`-pa deps/snappy/ebin \`
Provide a Makefile for running dialyzer. While here, also dump another slew of goodies in the makefile. 2012-01-06 20:22:23 +00:00			`-pa deps/plain_fsm/ebin \`
			`ebin`

Remove most dialyzer warnings This is a large change set, which adds type specs needed for dialyzer to be happy. We likely need even more type specs as we move forward. 2012-09-26 13:11:55 +00:00			`analyze-nospec: compile`
			`$(DIALYZER) --plt .hanoi.plt \`
			`-pa deps/plain_fsm/ebin \`
			`--no_spec \`
			`ebin`

* Changed "lookup" to "get" just because * Added copyright notices to files * Added Apache 2.0 License file with permission from Kresten/Trifork * Changed the handle from "Db" to "Tree" because... it made me feel better * Other minor changes here and there 2012-04-15 14:35:39 +00:00			`repl:`
Minor fixes and reorg. 2012-06-14 17:03:55 +00:00			`erl -pz deps/*/ebin -pa ebin`