Updated rules for make static
This commit is contained in:
2
.gitignore
vendored
2
.gitignore
vendored
@@ -4,7 +4,7 @@ config.status
|
||||
autom4te.cache
|
||||
Makefile
|
||||
priv/Makefile
|
||||
Emakefile
|
||||
sqlite3.plt
|
||||
.svn
|
||||
*/.svn
|
||||
*.db
|
||||
|
||||
10
Makefile.in
10
Makefile.in
@@ -1,5 +1,6 @@
|
||||
ERL=@ERL@
|
||||
ERLC=@ERLC@
|
||||
ERL_ERTS=@ERLANG_LIB_DIR_erts@
|
||||
ERL_KERNEL=@ERLANG_LIB_DIR_kernel@
|
||||
ERL_STDLIB=@ERLANG_LIB_DIR_stdlib@
|
||||
ERL_CRYPTO=@ERLANG_LIB_DIR_crypto@
|
||||
@@ -7,7 +8,7 @@ ERL_COMPILER=@ERLANG_LIB_DIR_compiler@
|
||||
ERL_HIPE=@ERLANG_LIB_DIR_hipe@
|
||||
ERL_SYNTAX_TOOLS=@ERLANG_LIB_DIR_syntax_tools@
|
||||
OTP_TOP=/usr/lib/erlang/lib
|
||||
PLT_SRC=$(ERL_KERNEL)/ebin $(ERL_STDLIB)/ebin/ $(ERL_CRYPTO)/ebin $(ERL_COMPILER)/ebin $(ERL_HIPE)/ebin/ $(ERL_SYNTAX_TOOLS)/ebin ebin
|
||||
PLT_SRC=$(ERL_ERTS)/ebin $(ERL_KERNEL)/ebin $(ERL_STDLIB)/ebin $(ERL_CRYPTO)/ebin $(ERL_COMPILER)/ebin $(ERL_HIPE)/ebin $(ERL_SYNTAX_TOOLS)/ebin
|
||||
|
||||
all: compile docs
|
||||
|
||||
@@ -16,8 +17,13 @@ compile:
|
||||
$(ERL) -make
|
||||
cd priv && make
|
||||
|
||||
ifeq ($(wildcard sqlite3.plt),)
|
||||
static:
|
||||
dialyzer --build_plt --output_plt sqlite3.plt -r ebin $(PLT_SRC)
|
||||
dialyzer --build_plt --output_plt sqlite3.plt -r $(PLT_SRC) ebin
|
||||
else
|
||||
static:
|
||||
dialyzer --add_to_plt --plt sqlite3.plt -r ebin
|
||||
endif
|
||||
|
||||
clean:
|
||||
- rm -rf ebin/*.beam doc/* sqlite3.plt src/test/*.beam
|
||||
|
||||
Reference in New Issue
Block a user