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 'facdcbe6f2'
${ noResults }
infer_clone/Makefile.config.in

128 lines
3.5 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@
[make] compatibility with Debian testing Summary: - set SHELL to bash explicitly in Makefiles (Debian uses dash) - avoid using system headers when using our own clang's headers in tests - do not rely on the name of the object file to write the frontend debugging scripts. It turns out that `-o` is *not* always present in the arguments of `-cc1` functions so the `Option.get` could crash. Since we don't actually need to get the object file name, just a nice enough name, don't try to be smarter at guessing what object will be created and pick a different name built from the source name instead. Reviewed By: akotulski Differential Revision: D4159516 fbshipit-source-id: c7bc2b9
8 years ago
SHELL = bash
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)
[build tests] migrate buck integration test to Makefiles Summary: Only run the buck (and ant) tests if the tools can be found at ./configure-time. Reviewed By: jberdine Differential Revision: D4167586 fbshipit-source-id: e77b736
8 years ago
ANT = @ANT@
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 tests] migrate buck integration test to Makefiles Summary: Only run the buck (and ant) tests if the tools can be found at ./configure-time. Reviewed By: jberdine Differential Revision: D4167586 fbshipit-source-id: e77b736
8 years ago
BUCK = @BUCK@
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
BUILD_C_ANALYZERS = @BUILD_C_ANALYZERS@
BUILD_JAVA_ANALYZERS = @BUILD_JAVA_ANALYZERS@
CC = @CC@
CFLAGS = @CFLAGS@
CLANG_INCLUDES = @CLANG_INCLUDES@
CLANG_PREFIX = @CLANG_PREFIX@
[tests] convert clang_compilation_db test to Makefile Reviewed By: akotulski Differential Revision: D4168022 fbshipit-source-id: 0d2b9c4
8 years ago
CMAKE = @CMAKE@
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
CPP = @CPP@
CXX = @CXX@
CXXFLAGS = @CXXFLAGS@
[Makefiles] Use custom CC in ocamlopt only when configure flag is set Summary: Introduce `--enable-ocamlopt-custom-cc` configure flag (disabled by default). Normally it doesn't have to be set. However, when cross-compiling infer itself for another platform it may have to be set. Reviewed By: jberdine Differential Revision: D3995032 fbshipit-source-id: ce2fd72
8 years ago
ENABLE_OCAMLOPT_CUSTOM_CC = @ENABLE_OCAMLOPT_CUSTOM_CC@
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
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
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
endif
[make] make infer/src/Makefile less phony Reviewed By: jberdine Differential Revision: D4319515 fbshipit-source-id: 607022c
8 years ago
COPY = cp -f
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
COPY_DIR = cp -Rf
[make] make frontend tests more functional Summary: These direct tests were still mostly relying on PHONY targets. Reviewed By: jberdine Differential Revision: D4326469 fbshipit-source-id: 37b2d0a
8 years ago
REMOVE = rm -f
REMOVE_DIR = rm -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
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
[infer][java] Separate the builtins from the other models for a better modularity Summary: The Infer builtins can be used in the e2e tests, but those tests should not depend on the Infer models to avoid cyclic dependencies. This diff separates the models and the Infer builtins in two directories so that the test can depend on the builtins without depending on the models Reviewed By: sblackshear Differential Revision: D3929478 fbshipit-source-id: 7d0ab79
8 years ago
JAVA_BUILTINS_DIR = $(MODELS_DIR)/java/builtins
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
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
[make] remove support for OCaml annot and other Eclipse-related quirks Summary: This removes support for developing infer using Eclipse. If you use Eclipse, consider using Atom/Emacs/vim instead, which have good OCaml/Reason support. This allows us to get rid of a couple quirks: - do not generated ocaml annots (this is very slow) - move OCaml _build directory to infer/src/ where it makes more sense Reviewed By: jberdine Differential Revision: D4319480 fbshipit-source-id: 6f063fc
8 years ago
BUILD_DIR = $(INFER_DIR)/_build
add quick-test target Reviewed By: jberdine Differential Revision: D3436716 fbshipit-source-id: 8bfb530
9 years ago
INFER_BUILD_DIR = $(BUILD_DIR)/infer
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
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
[base] resolve links when guessing which executable we are running, move infer into bin/ Summary: There's no reason for infer to be in lib/ anymore, move it to the same place as the other binaries. Thus all binaries are in the same directory and Config.ml can better know where things are. Reviewed By: jberdine Differential Revision: D4015958 fbshipit-source-id: c5e851f
8 years ago
INFER_BIN = $(BIN_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
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
[tests] Rerun test without swallowing output on failure Reviewed By: jvillard Differential Revision: D3992995 fbshipit-source-id: 85d2586
8 years ago
define silent_on_success
$(1) >/dev/null 2>/dev/null || ($(1) && exit 1)
endef