hanoidb/Makefile

REBAR=		rebar3
DIALYZER=	dialyzer


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

all: get-deps compile

deps: get-deps compile

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/snappy/ebin \
	-pa deps/lz4/ebin \
	-pa deps/ebloom/ebin \
		-pa deps/plain_fsm/ebin \
		deps/plain_fsm/ebin \
		--apps erts kernel stdlib ebloom lz4 snappy

analyze: compile
	$(DIALYZER) --plt .hanoi.plt \
	-pa deps/snappy/ebin \
	-pa deps/lz4/ebin \
	-pa deps/ebloom/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
fixes 2024-07-18 08:25:32 +00:00			`REBAR= rebar3`
Cleanup 2012-06-19 14:00:06 +00:00			`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`

Leave the tests out as per @essen’s comments resolves issue #29 2014-11-18 23:07:33 +00:00			`all: get-deps compile`
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
Update Makefile update makefile to make it compatible with erlang.mk 2014-11-14 17:47:38 +00:00			`deps: get-deps 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
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 \`
Improve tests/dialyzing. 2014-11-28 15:22:20 +00:00			`-pa deps/snappy/ebin \`
			`-pa deps/lz4/ebin \`
			`-pa deps/ebloom/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 \`
Improve tests/dialyzing. 2014-11-28 15:22:20 +00:00			`--apps erts kernel stdlib ebloom lz4 snappy`
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
			`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 \`
Improve tests/dialyzing. 2014-11-28 15:22:20 +00:00			`-pa deps/lz4/ebin \`
			`-pa deps/ebloom/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`