pghs975uc
/
infer_clone
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
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.
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from '88897addfa'
${ noResults }
infer_clone/Makefile.config.in

128 lines
3.6 KiB
Raw Normal View History Unescape

migrate infer/annotations/Makefile Summary: public Create Makefile.config.in to hold paths to various source directories used in infer/annotations/Makefile. Reviewed By: jeremydubreil Differential Revision: D2702986 fb-gh-sync-id: b5eb5bf
9 years ago
# Copyright (c) 2015 - present Facebook, Inc.
# All rights reserved.
#
# This source code is licensed under the BSD style license found in the
# LICENSE file in the root directory of this source tree. An additional grant
# of patent rights can be found in the PATENTS file in the same directory.
move all config variables to Makefile.config.in Summary: Hardcoding `variable@` in Makefiles is Bad™ because it prevents the users from overwriting them easily with `make variable="my custom value"`. The right way to do it is thus: ``` variable = variable@ # then use $(variable) everywhere ``` This diff puts all the `variable = variable@` lines in Makefile.config.in, and changes every occurrence of a `variable@` to `$(variable)` everywhere else. I mostly automated generating this diff. Here are the steps I did: - find out which `variable@`s we use: find . -name 'Makefile*' -exec grep -e '@[^@ []\+@' -o -h \{\} \+ | sort | uniq > config_variables - write this `replace.sh` script to replace every `variable@` with `$(variable)`: ``` #!/bin/sh config_vars_file=$1 shift for line in $(cat $config_vars_file); do var=$(echo $line | tr -d @) sed -i -e "s/$line/\$($var)/g" $@ > /dev/null done ``` - run the script as such: find . -name 'Makefile.*in' \( -not -wholename './Makefile.config.in' \) -exec ./replace.sh config_variables \{\} \+ - put all the `VARIABLE = VARIABLE@` lines in Makefile.config.in - move all `Makefile.in` to `Makefile`, since they don't need to be generated by `./configure` anymore: ``` for i in $(find . -name 'Makefile.*in' \( -not -wholename './Makefile.config.in' \)); do \ rm $(dirname $i)/$(basename $i .in) && git mv $i $(dirname $i)/$(basename $i .in) ; \ done ``` - delete all Makefile except Makefile.config from configure.ac - manually inspect and remove remaining instances of `VAR = $(VAR)` in makefiles, looking at the output of `git grep '^\(\w\+\) = $(\1)'` Reviewed By: jberdine Differential Revision: D3358379 fbshipit-source-id: 5d37f02
9 years ago
@SET_MAKE@
migrate infer/models/Makefile Summary: public Use autoconf's detection of xcode-select to decide whether to build the ObjC models or not. Reviewed By: jeremydubreil Differential Revision: D2703864 fb-gh-sync-id: e6dadca
9 years ago
PLATFORM = $(shell uname)
move all config variables to Makefile.config.in Summary: Hardcoding `variable@` in Makefiles is Bad™ because it prevents the users from overwriting them easily with `make variable="my custom value"`. The right way to do it is thus: ``` variable = variable@ # then use $(variable) everywhere ``` This diff puts all the `variable = variable@` lines in Makefile.config.in, and changes every occurrence of a `variable@` to `$(variable)` everywhere else. I mostly automated generating this diff. Here are the steps I did: - find out which `variable@`s we use: find . -name 'Makefile*' -exec grep -e '@[^@ []\+@' -o -h \{\} \+ | sort | uniq > config_variables - write this `replace.sh` script to replace every `variable@` with `$(variable)`: ``` #!/bin/sh config_vars_file=$1 shift for line in $(cat $config_vars_file); do var=$(echo $line | tr -d @) sed -i -e "s/$line/\$($var)/g" $@ > /dev/null done ``` - run the script as such: find . -name 'Makefile.*in' \( -not -wholename './Makefile.config.in' \) -exec ./replace.sh config_variables \{\} \+ - put all the `VARIABLE = VARIABLE@` lines in Makefile.config.in - move all `Makefile.in` to `Makefile`, since they don't need to be generated by `./configure` anymore: ``` for i in $(find . -name 'Makefile.*in' \( -not -wholename './Makefile.config.in' \)); do \ rm $(dirname $i)/$(basename $i .in) && git mv $i $(dirname $i)/$(basename $i .in) ; \ done ``` - delete all Makefile except Makefile.config from configure.ac - manually inspect and remove remaining instances of `VAR = $(VAR)` in makefiles, looking at the output of `git grep '^\(\w\+\) = $(\1)'` Reviewed By: jberdine Differential Revision: D3358379 fbshipit-source-id: 5d37f02
9 years ago
ATDGEN = @ATDGEN@
bindir = @bindir@
BUILD_C_ANALYZERS = @BUILD_C_ANALYZERS@
BUILD_JAVA_ANALYZERS = @BUILD_JAVA_ANALYZERS@
BUILD_LLVM_ANALYZERS = @BUILD_LLVM_ANALYZERS@
CC = @CC@
CFLAGS = @CFLAGS@
CLANG_INCLUDES = @CLANG_INCLUDES@
CLANG_PREFIX = @CLANG_PREFIX@
CPP = @CPP@
CXX = @CXX@
CXXFLAGS = @CXXFLAGS@
ENABLE_OCAML_ANNOT = @ENABLE_OCAML_ANNOT@
ENABLE_OCAML_BINANNOT = @ENABLE_OCAML_BINANNOT@
exec_prefix = @exec_prefix@
INFER_MAJOR = @INFER_MAJOR@
INFER_MINOR = @INFER_MINOR@
INFER_PATCH = @INFER_PATCH@
INSTALL = @INSTALL@
INSTALL_DATA = @INSTALL_DATA@
INSTALL_PROGRAM = @INSTALL_PROGRAM@
IS_FACEBOOK_TREE = @IS_FACEBOOK_TREE@
IS_RELEASE_TREE = @IS_RELEASE_TREE@
LDFLAGS = @LDFLAGS@
libdir = @libdir@
LIBS = @LIBS@
MKDIR_P_CMD = case "@MKDIR_P@" in \
./*) printf "$(ROOT_DIR)/@MKDIR_P@\n";; \
*) printf "@MKDIR_P@\n";; \
esac
MKDIR_P = $(shell $(MKDIR_P_CMD))
Simplify NCPU computation and avoid fork bombs Summary:public Use getconf to compute NCPU as it is uniform across platforms. Use result in several places to avoid fork bombs. I routinely see errors about fork running out of memory when building e.g. the clang plugin. Reviewed By: jvillard Differential Revision: D3148970 fb-gh-sync-id: 6d071c9 fbshipit-source-id: 6d071c9
9 years ago
NCPU = @NCPU@
move all config variables to Makefile.config.in Summary: Hardcoding `variable@` in Makefiles is Bad™ because it prevents the users from overwriting them easily with `make variable="my custom value"`. The right way to do it is thus: ``` variable = variable@ # then use $(variable) everywhere ``` This diff puts all the `variable = variable@` lines in Makefile.config.in, and changes every occurrence of a `variable@` to `$(variable)` everywhere else. I mostly automated generating this diff. Here are the steps I did: - find out which `variable@`s we use: find . -name 'Makefile*' -exec grep -e '@[^@ []\+@' -o -h \{\} \+ | sort | uniq > config_variables - write this `replace.sh` script to replace every `variable@` with `$(variable)`: ``` #!/bin/sh config_vars_file=$1 shift for line in $(cat $config_vars_file); do var=$(echo $line | tr -d @) sed -i -e "s/$line/\$($var)/g" $@ > /dev/null done ``` - run the script as such: find . -name 'Makefile.*in' \( -not -wholename './Makefile.config.in' \) -exec ./replace.sh config_variables \{\} \+ - put all the `VARIABLE = VARIABLE@` lines in Makefile.config.in - move all `Makefile.in` to `Makefile`, since they don't need to be generated by `./configure` anymore: ``` for i in $(find . -name 'Makefile.*in' \( -not -wholename './Makefile.config.in' \)); do \ rm $(dirname $i)/$(basename $i .in) && git mv $i $(dirname $i)/$(basename $i .in) ; \ done ``` - delete all Makefile except Makefile.config from configure.ac - manually inspect and remove remaining instances of `VAR = $(VAR)` in makefiles, looking at the output of `git grep '^\(\w\+\) = $(\1)'` Reviewed By: jberdine Differential Revision: D3358379 fbshipit-source-id: 5d37f02
9 years ago
prefix = @prefix@
USER_JAVA_HOME = @USER_JAVA_HOME@
XCODE_SELECT = @XCODE_SELECT@
ifneq (,$(findstring s,$(MAKEFLAGS)))
do not use the FB-ONLY literal string in non-fb-only files Reviewed By: jberdine Differential Revision: D3399011 fbshipit-source-id: cb2558c
9 years ago
# quiet mode
LN_S = @LN_S@
move all config variables to Makefile.config.in Summary: Hardcoding `variable@` in Makefiles is Bad™ because it prevents the users from overwriting them easily with `make variable="my custom value"`. The right way to do it is thus: ``` variable = variable@ # then use $(variable) everywhere ``` This diff puts all the `variable = variable@` lines in Makefile.config.in, and changes every occurrence of a `variable@` to `$(variable)` everywhere else. I mostly automated generating this diff. Here are the steps I did: - find out which `variable@`s we use: find . -name 'Makefile*' -exec grep -e '@[^@ []\+@' -o -h \{\} \+ | sort | uniq > config_variables - write this `replace.sh` script to replace every `variable@` with `$(variable)`: ``` #!/bin/sh config_vars_file=$1 shift for line in $(cat $config_vars_file); do var=$(echo $line | tr -d @) sed -i -e "s/$line/\$($var)/g" $@ > /dev/null done ``` - run the script as such: find . -name 'Makefile.*in' \( -not -wholename './Makefile.config.in' \) -exec ./replace.sh config_variables \{\} \+ - put all the `VARIABLE = VARIABLE@` lines in Makefile.config.in - move all `Makefile.in` to `Makefile`, since they don't need to be generated by `./configure` anymore: ``` for i in $(find . -name 'Makefile.*in' \( -not -wholename './Makefile.config.in' \)); do \ rm $(dirname $i)/$(basename $i .in) && git mv $i $(dirname $i)/$(basename $i .in) ; \ done ``` - delete all Makefile except Makefile.config from configure.ac - manually inspect and remove remaining instances of `VAR = $(VAR)` in makefiles, looking at the output of `git grep '^\(\w\+\) = $(\1)'` Reviewed By: jberdine Differential Revision: D3358379 fbshipit-source-id: 5d37f02
9 years ago
REMOVE = rm -f
REMOVE_DIR = rm -rf
do not use the FB-ONLY literal string in non-fb-only files Reviewed By: jberdine Differential Revision: D3399011 fbshipit-source-id: cb2558c
9 years ago
RSYNC_A = rsync -av
move all config variables to Makefile.config.in Summary: Hardcoding `variable@` in Makefiles is Bad™ because it prevents the users from overwriting them easily with `make variable="my custom value"`. The right way to do it is thus: ``` variable = variable@ # then use $(variable) everywhere ``` This diff puts all the `variable = variable@` lines in Makefile.config.in, and changes every occurrence of a `variable@` to `$(variable)` everywhere else. I mostly automated generating this diff. Here are the steps I did: - find out which `variable@`s we use: find . -name 'Makefile*' -exec grep -e '@[^@ []\+@' -o -h \{\} \+ | sort | uniq > config_variables - write this `replace.sh` script to replace every `variable@` with `$(variable)`: ``` #!/bin/sh config_vars_file=$1 shift for line in $(cat $config_vars_file); do var=$(echo $line | tr -d @) sed -i -e "s/$line/\$($var)/g" $@ > /dev/null done ``` - run the script as such: find . -name 'Makefile.*in' \( -not -wholename './Makefile.config.in' \) -exec ./replace.sh config_variables \{\} \+ - put all the `VARIABLE = VARIABLE@` lines in Makefile.config.in - move all `Makefile.in` to `Makefile`, since they don't need to be generated by `./configure` anymore: ``` for i in $(find . -name 'Makefile.*in' \( -not -wholename './Makefile.config.in' \)); do \ rm $(dirname $i)/$(basename $i .in) && git mv $i $(dirname $i)/$(basename $i .in) ; \ done ``` - delete all Makefile except Makefile.config from configure.ac - manually inspect and remove remaining instances of `VAR = $(VAR)` in makefiles, looking at the output of `git grep '^\(\w\+\) = $(\1)'` Reviewed By: jberdine Differential Revision: D3358379 fbshipit-source-id: 5d37f02
9 years ago
else
do not use the FB-ONLY literal string in non-fb-only files Reviewed By: jberdine Differential Revision: D3399011 fbshipit-source-id: cb2558c
9 years ago
LN_S = @LN_S@ -v
move all config variables to Makefile.config.in Summary: Hardcoding `variable@` in Makefiles is Bad™ because it prevents the users from overwriting them easily with `make variable="my custom value"`. The right way to do it is thus: ``` variable = variable@ # then use $(variable) everywhere ``` This diff puts all the `variable = variable@` lines in Makefile.config.in, and changes every occurrence of a `variable@` to `$(variable)` everywhere else. I mostly automated generating this diff. Here are the steps I did: - find out which `variable@`s we use: find . -name 'Makefile*' -exec grep -e '@[^@ []\+@' -o -h \{\} \+ | sort | uniq > config_variables - write this `replace.sh` script to replace every `variable@` with `$(variable)`: ``` #!/bin/sh config_vars_file=$1 shift for line in $(cat $config_vars_file); do var=$(echo $line | tr -d @) sed -i -e "s/$line/\$($var)/g" $@ > /dev/null done ``` - run the script as such: find . -name 'Makefile.*in' \( -not -wholename './Makefile.config.in' \) -exec ./replace.sh config_variables \{\} \+ - put all the `VARIABLE = VARIABLE@` lines in Makefile.config.in - move all `Makefile.in` to `Makefile`, since they don't need to be generated by `./configure` anymore: ``` for i in $(find . -name 'Makefile.*in' \( -not -wholename './Makefile.config.in' \)); do \ rm $(dirname $i)/$(basename $i .in) && git mv $i $(dirname $i)/$(basename $i .in) ; \ done ``` - delete all Makefile except Makefile.config from configure.ac - manually inspect and remove remaining instances of `VAR = $(VAR)` in makefiles, looking at the output of `git grep '^\(\w\+\) = $(\1)'` Reviewed By: jberdine Differential Revision: D3358379 fbshipit-source-id: 5d37f02
9 years ago
REMOVE = rm -vf
REMOVE_DIR = rm -rvf
do not use the FB-ONLY literal string in non-fb-only files Reviewed By: jberdine Differential Revision: D3399011 fbshipit-source-id: cb2558c
9 years ago
RSYNC_A = rsync -aq
move all config variables to Makefile.config.in Summary: Hardcoding `variable@` in Makefiles is Bad™ because it prevents the users from overwriting them easily with `make variable="my custom value"`. The right way to do it is thus: ``` variable = variable@ # then use $(variable) everywhere ``` This diff puts all the `variable = variable@` lines in Makefile.config.in, and changes every occurrence of a `variable@` to `$(variable)` everywhere else. I mostly automated generating this diff. Here are the steps I did: - find out which `variable@`s we use: find . -name 'Makefile*' -exec grep -e '@[^@ []\+@' -o -h \{\} \+ | sort | uniq > config_variables - write this `replace.sh` script to replace every `variable@` with `$(variable)`: ``` #!/bin/sh config_vars_file=$1 shift for line in $(cat $config_vars_file); do var=$(echo $line | tr -d @) sed -i -e "s/$line/\$($var)/g" $@ > /dev/null done ``` - run the script as such: find . -name 'Makefile.*in' \( -not -wholename './Makefile.config.in' \) -exec ./replace.sh config_variables \{\} \+ - put all the `VARIABLE = VARIABLE@` lines in Makefile.config.in - move all `Makefile.in` to `Makefile`, since they don't need to be generated by `./configure` anymore: ``` for i in $(find . -name 'Makefile.*in' \( -not -wholename './Makefile.config.in' \)); do \ rm $(dirname $i)/$(basename $i .in) && git mv $i $(dirname $i)/$(basename $i .in) ; \ done ``` - delete all Makefile except Makefile.config from configure.ac - manually inspect and remove remaining instances of `VAR = $(VAR)` in makefiles, looking at the output of `git grep '^\(\w\+\) = $(\1)'` Reviewed By: jberdine Differential Revision: D3358379 fbshipit-source-id: 5d37f02
9 years ago
endif
COPY = cp -f -p
COPY_DIR = cp -Rf
Simplify NCPU computation and avoid fork bombs Summary:public Use getconf to compute NCPU as it is uniform across platforms. Use result in several places to avoid fork bombs. I routinely see errors about fork running out of memory when building e.g. the clang plugin. Reviewed By: jvillard Differential Revision: D3148970 fb-gh-sync-id: 6d071c9 fbshipit-source-id: 6d071c9
9 years ago
migrate infer/annotations/Makefile Summary: public Create Makefile.config.in to hold paths to various source directories used in infer/annotations/Makefile. Reviewed By: jeremydubreil Differential Revision: D2702986 fb-gh-sync-id: b5eb5bf
9 years ago
ABSOLUTE_ROOT_DIR = $(shell cd $(ROOT_DIR) && pwd)
do not use the FB-ONLY literal string in non-fb-only files Reviewed By: jberdine Differential Revision: D3399011 fbshipit-source-id: cb2558c
9 years ago
DEPENDENCIES_DIR = $(ABSOLUTE_ROOT_DIR)/dependencies
DOCKER_DIR = $(ABSOLUTE_ROOT_DIR)/docker
add e2e test of inferTraceBugs Summary:public Add very basic end-to-end tests that inferTraceBugs doesn't crash. Reviewed By: jeremydubreil Differential Revision: D2995427 fb-gh-sync-id: d9e969e shipit-source-id: d9e969e
9 years ago
EXAMPLES_DIR = $(ABSOLUTE_ROOT_DIR)/examples
migrate infer/annotations/Makefile Summary: public Create Makefile.config.in to hold paths to various source directories used in infer/annotations/Makefile. Reviewed By: jeremydubreil Differential Revision: D2702986 fb-gh-sync-id: b5eb5bf
9 years ago
INFER_DIR = $(ABSOLUTE_ROOT_DIR)/infer
migrate infer/src/Makefile Summary: public Use the autotools to generate some of the info used in infer/src/Makefile. Reviewed By: jeremydubreil Differential Revision: D2703752 fb-gh-sync-id: 59090b2
9 years ago
FCP_DIR = $(ABSOLUTE_ROOT_DIR)/facebook-clang-plugins
do not use the FB-ONLY literal string in non-fb-only files Reviewed By: jberdine Differential Revision: D3399011 fbshipit-source-id: cb2558c
9 years ago
M4_DIR = $(ABSOLUTE_ROOT_DIR)/m4
migrate infer/src/Makefile Summary: public Use the autotools to generate some of the info used in infer/src/Makefile. Reviewed By: jeremydubreil Differential Revision: D2703752 fb-gh-sync-id: 59090b2
9 years ago
SCRIPT_DIR = $(ABSOLUTE_ROOT_DIR)/scripts
FCP_CLANG_OCAML_DIR = $(FCP_DIR)/clang-ocaml
migrate infer/annotations/Makefile Summary: public Create Makefile.config.in to hold paths to various source directories used in infer/annotations/Makefile. Reviewed By: jeremydubreil Differential Revision: D2702986 fb-gh-sync-id: b5eb5bf
9 years ago
migrate infer/Makefile Summary: public Generate infer/Makefile from infer/Makefile.in to use make from autoconf. Reviewed By: jeremydubreil Differential Revision: D2703102 fb-gh-sync-id: ee22395
9 years ago
ANNOTATIONS_DIR = $(INFER_DIR)/annotations
migrate infer/models/Makefile Summary: public Use autoconf's detection of xcode-select to decide whether to build the ObjC models or not. Reviewed By: jeremydubreil Differential Revision: D2703864 fb-gh-sync-id: e6dadca
9 years ago
BIN_DIR = $(INFER_DIR)/bin
test OSS build as part of `make test` Summary: - `test_build` now also test that the OSS build works if we're inside the internal repo - remove some "if java/clang" in the test targets, since tests work under the assumption that all the analyzers are to be tested. Reviewed By: jberdine Differential Revision: D3305088 fbshipit-source-id: 142fc49
9 years ago
BUILD_DIR = $(INFER_DIR)/_build
add quick-test target Reviewed By: jberdine Differential Revision: D3436716 fbshipit-source-id: 8bfb530
9 years ago
ETC_DIR = $(INFER_DIR)/etc
migrate infer/annotations/Makefile Summary: public Create Makefile.config.in to hold paths to various source directories used in infer/annotations/Makefile. Reviewed By: jeremydubreil Differential Revision: D2702986 fb-gh-sync-id: b5eb5bf
9 years ago
LIB_DIR = $(INFER_DIR)/lib
migrate infer/Makefile Summary: public Generate infer/Makefile from infer/Makefile.in to use make from autoconf. Reviewed By: jeremydubreil Differential Revision: D2703102 fb-gh-sync-id: ee22395
9 years ago
MODELS_DIR = $(INFER_DIR)/models
SRC_DIR = $(INFER_DIR)/src
migrate infer/annotations/Makefile Summary: public Create Makefile.config.in to hold paths to various source directories used in infer/annotations/Makefile. Reviewed By: jeremydubreil Differential Revision: D2702986 fb-gh-sync-id: b5eb5bf
9 years ago
add quick-test target Reviewed By: jberdine Differential Revision: D3436716 fbshipit-source-id: 8bfb530
9 years ago
ANNOT_DIR = $(SRC_DIR)/_build
INFER_BUILD_DIR = $(BUILD_DIR)/infer
LLVM_BUILD_DIR = $(BUILD_DIR)/llvm
TEST_BUILD_DIR = $(BUILD_DIR)/test
migrate infer/annotations/Makefile Summary: public Create Makefile.config.in to hold paths to various source directories used in infer/annotations/Makefile. Reviewed By: jeremydubreil Differential Revision: D2702986 fb-gh-sync-id: b5eb5bf
9 years ago
JAVA_LIB_DIR = $(LIB_DIR)/java
migrate infer/models/Makefile Summary: public Use autoconf's detection of xcode-select to decide whether to build the ObjC models or not. Reviewed By: jeremydubreil Differential Revision: D2703864 fb-gh-sync-id: e6dadca
9 years ago
SPECS_LIB_DIR = $(LIB_DIR)/specs
add e2e test of inferTraceBugs Summary:public Add very basic end-to-end tests that inferTraceBugs doesn't crash. Reviewed By: jeremydubreil Differential Revision: D2995427 fb-gh-sync-id: d9e969e shipit-source-id: d9e969e
9 years ago
PYTHON_DIR = $(LIB_DIR)/python
PYTHON_LIB_DIR = $(PYTHON_DIR)/inferlib
migrate infer/models/Makefile Summary: public Use autoconf's detection of xcode-select to decide whether to build the ObjC models or not. Reviewed By: jeremydubreil Differential Revision: D2703864 fb-gh-sync-id: e6dadca
9 years ago
CAPTURE_LIB_DIR = $(PYTHON_LIB_DIR)/capture
INFERANALYZE_BIN = $(BIN_DIR)/InferAnalyze
INFERCLANG_BIN = $(BIN_DIR)/InferClang
INFERJAVA_BIN = $(BIN_DIR)/InferJava
Fix install target Summary: Add InferStatsAggregator to install target Reviewed By: jvillard Differential Revision: D3392452 fbshipit-source-id: dc05bb4
9 years ago
INFERSTATS_BIN = $(BIN_DIR)/InferStatsAggregator
migrate infer/models/Makefile Summary: public Use autoconf's detection of xcode-select to decide whether to build the ObjC models or not. Reviewed By: jeremydubreil Differential Revision: D2703864 fb-gh-sync-id: e6dadca
9 years ago
INFERPRINT_BIN = $(BIN_DIR)/InferPrint
adding runner for OCaml unit tests Reviewed By: cristianoc Differential Revision: D2977765 fb-gh-sync-id: abb1b8b shipit-source-id: abb1b8b
9 years ago
INFERUNIT_BIN = $(BIN_DIR)/InferUnit
Add OCaml toplevel driver executable Summary: This diff changes the toplevel 'infer' executable from the current python script to an OCaml binary. Currently this executable only parses command line arguments, sets up environment variables, and invokes the existing python script. This improves infer's command-line and configuration interface, since passing arguments to the frontends or backend no longer requires manually setting environment variables, and arguments for the toplevel can now also be specified in .inferconfig. Simplification and migration of functionality from the python script is left for the future. Reviewed By: martinoluca, jvillard Differential Revision: D3450662 fbshipit-source-id: 1b52302
9 years ago
INFER_BIN = $(LIB_DIR)/infer
create infer/bin/ symlinks from the makefile Summary:public This is needed to have a working `opam install infer`. Actual working `opam install infer` in a follow-up diff. Reviewed By: jberdine Differential Revision: D3109308 fb-gh-sync-id: 49d7276 fbshipit-source-id: 49d7276
9 years ago
INFERTRACEBUGS_BIN = $(BIN_DIR)/inferTraceBugs
remove infer/Makefile.in Summary: This is basically not used and removing it makes the Makefiles slightly less convoluted. Reviewed By: jberdine Differential Revision: D3322376 fbshipit-source-id: 2d7c1f8
9 years ago
# paths relative to $(ROOT_DIR)
Add OCaml toplevel driver executable Summary: This diff changes the toplevel 'infer' executable from the current python script to an OCaml binary. Currently this executable only parses command line arguments, sets up environment variables, and invokes the existing python script. This improves infer's command-line and configuration interface, since passing arguments to the frontends or backend no longer requires manually setting environment variables, and arguments for the toplevel can now also be specified in .inferconfig. Simplification and migration of functionality from the python script is left for the future. Reviewed By: martinoluca, jvillard Differential Revision: D3450662 fbshipit-source-id: 1b52302
9 years ago
INFER_BIN_SYMLINK = infer/bin/infer
remove infer/Makefile.in Summary: This is basically not used and removing it makes the Makefiles slightly less convoluted. Reviewed By: jberdine Differential Revision: D3322376 fbshipit-source-id: 2d7c1f8
9 years ago
INFERTRACEBUGS_BIN_RELPATH = infer/bin/inferTraceBugs
migrate infer/models/Makefile Summary: public Use autoconf's detection of xcode-select to decide whether to build the ObjC models or not. Reviewed By: jeremydubreil Differential Revision: D2703864 fb-gh-sync-id: e6dadca
9 years ago
move all config variables to Makefile.config.in Summary: Hardcoding `variable@` in Makefiles is Bad™ because it prevents the users from overwriting them easily with `make variable="my custom value"`. The right way to do it is thus: ``` variable = variable@ # then use $(variable) everywhere ``` This diff puts all the `variable = variable@` lines in Makefile.config.in, and changes every occurrence of a `variable@` to `$(variable)` everywhere else. I mostly automated generating this diff. Here are the steps I did: - find out which `variable@`s we use: find . -name 'Makefile*' -exec grep -e '@[^@ []\+@' -o -h \{\} \+ | sort | uniq > config_variables - write this `replace.sh` script to replace every `variable@` with `$(variable)`: ``` #!/bin/sh config_vars_file=$1 shift for line in $(cat $config_vars_file); do var=$(echo $line | tr -d @) sed -i -e "s/$line/\$($var)/g" $@ > /dev/null done ``` - run the script as such: find . -name 'Makefile.*in' \( -not -wholename './Makefile.config.in' \) -exec ./replace.sh config_variables \{\} \+ - put all the `VARIABLE = VARIABLE@` lines in Makefile.config.in - move all `Makefile.in` to `Makefile`, since they don't need to be generated by `./configure` anymore: ``` for i in $(find . -name 'Makefile.*in' \( -not -wholename './Makefile.config.in' \)); do \ rm $(dirname $i)/$(basename $i .in) && git mv $i $(dirname $i)/$(basename $i .in) ; \ done ``` - delete all Makefile except Makefile.config from configure.ac - manually inspect and remove remaining instances of `VAR = $(VAR)` in makefiles, looking at the output of `git grep '^\(\w\+\) = $(\1)'` Reviewed By: jberdine Differential Revision: D3358379 fbshipit-source-id: 5d37f02
9 years ago
ifeq ($(BUILD_JAVA_ANALYZERS),yes)
JAVA_HOME=$(USER_JAVA_HOME)
add test target Summary: public `make test` now runs the e2e tests. Reviewed By: jeremydubreil Differential Revision: D2754740 fb-gh-sync-id: 9f80815
9 years ago
endif
migrate infer/models/Makefile Summary: public Use autoconf's detection of xcode-select to decide whether to build the ObjC models or not. Reviewed By: jeremydubreil Differential Revision: D2703864 fb-gh-sync-id: e6dadca
9 years ago
JAVA_DEPS = $(addprefix $(PYTHON_LIB_DIR)/, \
analyze.py config.py issues.py jwlib.py source.py utils.py) \
$(addprefix $(CAPTURE_LIB_DIR)/, javac.py util.py) \
create infer/bin/ symlinks from the makefile Summary:public This is needed to have a working `opam install infer`. Actual working `opam install infer` in a follow-up diff. Reviewed By: jberdine Differential Revision: D3109308 fb-gh-sync-id: 49d7276 fbshipit-source-id: 49d7276
9 years ago
$(INFER_BIN) \
migrate infer/models/Makefile Summary: public Use autoconf's detection of xcode-select to decide whether to build the ObjC models or not. Reviewed By: jeremydubreil Differential Revision: D2703864 fb-gh-sync-id: e6dadca
9 years ago
$(INFERANALYZE_BIN) \
$(INFERJAVA_BIN) \
$(INFERPRINT_BIN)
CLANG_DEPS = $(addprefix $(PYTHON_LIB_DIR)/, \
analyze.py config.py issues.py source.py utils.py) \
$(addprefix $(CAPTURE_LIB_DIR)/, make.py util.py) \
create infer/bin/ symlinks from the makefile Summary:public This is needed to have a working `opam install infer`. Actual working `opam install infer` in a follow-up diff. Reviewed By: jberdine Differential Revision: D3109308 fb-gh-sync-id: 49d7276 fbshipit-source-id: 49d7276
9 years ago
$(INFER_BIN) \
migrate infer/models/Makefile Summary: public Use autoconf's detection of xcode-select to decide whether to build the ObjC models or not. Reviewed By: jeremydubreil Differential Revision: D2703864 fb-gh-sync-id: e6dadca
9 years ago
$(INFERANALYZE_BIN) \
$(INFERCLANG_BIN) \
$(INFERPRINT_BIN)
JAVA_MODELS_JAR = $(LIB_DIR)/java/models.jar