You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
25 lines
521 B
25 lines
521 B
10 years ago
|
SHELL := /bin/bash
|
||
|
|
CWD = $(shell pwd)
|
||
|
|
BINDIR = $(CWD)/../../bin
|
||
|
|
LIBDIR = $(CWD)/../../lib
|
||
|
|
LIB_SPECS = $(LIBDIR)/specs
|
||
|
|
C_MODELS_FILE = $(LIB_SPECS)/c_models
|
||
|
|
|
||
|
|
INFER = ANALYZE_MODELS=1 $(BINDIR)/infer
|
||
|
|
|
||
|
|
default: run_infer
|
||
|
|
|
||
|
|
.PHONY: run_infer install clean
|
||
|
|
|
||
|
|
run_infer: clean
|
||
|
|
$(INFER) -o $(CWD)/out --models_mode --no_failures_allowed -- make -C src -j
|
||
|
|
|
||
|
|
install: run_infer
|
||
|
|
cp out/specs/*.specs $(LIB_SPECS)
|
||
|
|
touch $(C_MODELS_FILE)
|
||
|
|
rm -rf out
|
||
|
|
|
||
|
|
clean:
|
||
|
|
if [ -a $(C_MODELS_FILE) ];then rm $(C_MODELS_FILE);fi
|
||
|
|
make -C src clean
|