mirror of
https://github.com/Z3Prover/z3
synced 2025-08-25 20:46:01 +00:00
1309 lines
42 KiB
Makefile
1309 lines
42 KiB
Makefile
# CMAKE generated file: DO NOT EDIT!
|
|
# Generated by "Unix Makefiles" Generator, CMake Version 3.31
|
|
|
|
# Default target executed when no arguments are given to make.
|
|
default_target: all
|
|
.PHONY : default_target
|
|
|
|
# Allow only one "make -f Makefile2" at a time, but pass parallelism.
|
|
.NOTPARALLEL:
|
|
|
|
#=============================================================================
|
|
# Special targets provided by cmake.
|
|
|
|
# Disable implicit rules so canonical targets will work.
|
|
.SUFFIXES:
|
|
|
|
# Disable VCS-based implicit rules.
|
|
% : %,v
|
|
|
|
# Disable VCS-based implicit rules.
|
|
% : RCS/%
|
|
|
|
# Disable VCS-based implicit rules.
|
|
% : RCS/%,v
|
|
|
|
# Disable VCS-based implicit rules.
|
|
% : SCCS/s.%
|
|
|
|
# Disable VCS-based implicit rules.
|
|
% : s.%
|
|
|
|
.SUFFIXES: .hpux_make_needs_suffix_list
|
|
|
|
# Command-line flag to silence nested $(MAKE).
|
|
$(VERBOSE)MAKESILENT = -s
|
|
|
|
#Suppress display of executed commands.
|
|
$(VERBOSE).SILENT:
|
|
|
|
# A target that is always out of date.
|
|
cmake_force:
|
|
.PHONY : cmake_force
|
|
|
|
#=============================================================================
|
|
# Set environment variables for the build.
|
|
|
|
# The shell in which to execute make rules.
|
|
SHELL = /bin/sh
|
|
|
|
# The CMake executable.
|
|
CMAKE_COMMAND = /usr/local/bin/cmake
|
|
|
|
# The command to remove a file.
|
|
RM = /usr/local/bin/cmake -E rm -f
|
|
|
|
# Escaping for special characters.
|
|
EQUALS = =
|
|
|
|
# The top-level source directory on which CMake was run.
|
|
CMAKE_SOURCE_DIR = /home/runner/work/z3/z3
|
|
|
|
# The top-level build directory on which CMake was run.
|
|
CMAKE_BINARY_DIR = /home/runner/work/z3/z3/test-cmake
|
|
|
|
#=============================================================================
|
|
# Targets provided globally by CMake.
|
|
|
|
# Special rule for the target edit_cache
|
|
edit_cache:
|
|
@$(CMAKE_COMMAND) -E cmake_echo_color "--switch=$(COLOR)" --cyan "Running CMake cache editor..."
|
|
/usr/local/bin/ccmake -S$(CMAKE_SOURCE_DIR) -B$(CMAKE_BINARY_DIR)
|
|
.PHONY : edit_cache
|
|
|
|
# Special rule for the target edit_cache
|
|
edit_cache/fast: edit_cache
|
|
.PHONY : edit_cache/fast
|
|
|
|
# Special rule for the target rebuild_cache
|
|
rebuild_cache:
|
|
@$(CMAKE_COMMAND) -E cmake_echo_color "--switch=$(COLOR)" --cyan "Running CMake to regenerate build system..."
|
|
/usr/local/bin/cmake --regenerate-during-build -S$(CMAKE_SOURCE_DIR) -B$(CMAKE_BINARY_DIR)
|
|
.PHONY : rebuild_cache
|
|
|
|
# Special rule for the target rebuild_cache
|
|
rebuild_cache/fast: rebuild_cache
|
|
.PHONY : rebuild_cache/fast
|
|
|
|
# Special rule for the target list_install_components
|
|
list_install_components:
|
|
@$(CMAKE_COMMAND) -E cmake_echo_color "--switch=$(COLOR)" --cyan "Available install components are: \"Unspecified\""
|
|
.PHONY : list_install_components
|
|
|
|
# Special rule for the target list_install_components
|
|
list_install_components/fast: list_install_components
|
|
.PHONY : list_install_components/fast
|
|
|
|
# Special rule for the target install
|
|
install: preinstall
|
|
@$(CMAKE_COMMAND) -E cmake_echo_color "--switch=$(COLOR)" --cyan "Install the project..."
|
|
/usr/local/bin/cmake -P cmake_install.cmake
|
|
.PHONY : install
|
|
|
|
# Special rule for the target install
|
|
install/fast: preinstall/fast
|
|
@$(CMAKE_COMMAND) -E cmake_echo_color "--switch=$(COLOR)" --cyan "Install the project..."
|
|
/usr/local/bin/cmake -P cmake_install.cmake
|
|
.PHONY : install/fast
|
|
|
|
# Special rule for the target install/local
|
|
install/local: preinstall
|
|
@$(CMAKE_COMMAND) -E cmake_echo_color "--switch=$(COLOR)" --cyan "Installing only the local directory..."
|
|
/usr/local/bin/cmake -DCMAKE_INSTALL_LOCAL_ONLY=1 -P cmake_install.cmake
|
|
.PHONY : install/local
|
|
|
|
# Special rule for the target install/local
|
|
install/local/fast: preinstall/fast
|
|
@$(CMAKE_COMMAND) -E cmake_echo_color "--switch=$(COLOR)" --cyan "Installing only the local directory..."
|
|
/usr/local/bin/cmake -DCMAKE_INSTALL_LOCAL_ONLY=1 -P cmake_install.cmake
|
|
.PHONY : install/local/fast
|
|
|
|
# Special rule for the target install/strip
|
|
install/strip: preinstall
|
|
@$(CMAKE_COMMAND) -E cmake_echo_color "--switch=$(COLOR)" --cyan "Installing the project stripped..."
|
|
/usr/local/bin/cmake -DCMAKE_INSTALL_DO_STRIP=1 -P cmake_install.cmake
|
|
.PHONY : install/strip
|
|
|
|
# Special rule for the target install/strip
|
|
install/strip/fast: preinstall/fast
|
|
@$(CMAKE_COMMAND) -E cmake_echo_color "--switch=$(COLOR)" --cyan "Installing the project stripped..."
|
|
/usr/local/bin/cmake -DCMAKE_INSTALL_DO_STRIP=1 -P cmake_install.cmake
|
|
.PHONY : install/strip/fast
|
|
|
|
# The main all target
|
|
all: cmake_check_build_system
|
|
$(CMAKE_COMMAND) -E cmake_progress_start /home/runner/work/z3/z3/test-cmake/CMakeFiles /home/runner/work/z3/z3/test-cmake//CMakeFiles/progress.marks
|
|
$(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 all
|
|
$(CMAKE_COMMAND) -E cmake_progress_start /home/runner/work/z3/z3/test-cmake/CMakeFiles 0
|
|
.PHONY : all
|
|
|
|
# The main clean target
|
|
clean:
|
|
$(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 clean
|
|
.PHONY : clean
|
|
|
|
# The main clean target
|
|
clean/fast: clean
|
|
.PHONY : clean/fast
|
|
|
|
# Prepare targets for installation.
|
|
preinstall: all
|
|
$(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 preinstall
|
|
.PHONY : preinstall
|
|
|
|
# Prepare targets for installation.
|
|
preinstall/fast:
|
|
$(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 preinstall
|
|
.PHONY : preinstall/fast
|
|
|
|
# clear depends
|
|
depend:
|
|
$(CMAKE_COMMAND) -S$(CMAKE_SOURCE_DIR) -B$(CMAKE_BINARY_DIR) --check-build-system CMakeFiles/Makefile.cmake 1
|
|
.PHONY : depend
|
|
|
|
#=============================================================================
|
|
# Target rules for targets named uninstall
|
|
|
|
# Build rule for target.
|
|
uninstall: cmake_check_build_system
|
|
$(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 uninstall
|
|
.PHONY : uninstall
|
|
|
|
# fast build rule for target.
|
|
uninstall/fast:
|
|
$(MAKE) $(MAKESILENT) -f CMakeFiles/uninstall.dir/build.make CMakeFiles/uninstall.dir/build
|
|
.PHONY : uninstall/fast
|
|
|
|
#=============================================================================
|
|
# Target rules for targets named libz3
|
|
|
|
# Build rule for target.
|
|
libz3: cmake_check_build_system
|
|
$(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 libz3
|
|
.PHONY : libz3
|
|
|
|
# fast build rule for target.
|
|
libz3/fast:
|
|
$(MAKE) $(MAKESILENT) -f src/CMakeFiles/libz3.dir/build.make src/CMakeFiles/libz3.dir/build
|
|
.PHONY : libz3/fast
|
|
|
|
#=============================================================================
|
|
# Target rules for targets named util
|
|
|
|
# Build rule for target.
|
|
util: cmake_check_build_system
|
|
$(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 util
|
|
.PHONY : util
|
|
|
|
# fast build rule for target.
|
|
util/fast:
|
|
$(MAKE) $(MAKESILENT) -f src/util/CMakeFiles/util.dir/build.make src/util/CMakeFiles/util.dir/build
|
|
.PHONY : util/fast
|
|
|
|
#=============================================================================
|
|
# Target rules for targets named polynomial
|
|
|
|
# Build rule for target.
|
|
polynomial: cmake_check_build_system
|
|
$(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 polynomial
|
|
.PHONY : polynomial
|
|
|
|
# fast build rule for target.
|
|
polynomial/fast:
|
|
$(MAKE) $(MAKESILENT) -f src/math/polynomial/CMakeFiles/polynomial.dir/build.make src/math/polynomial/CMakeFiles/polynomial.dir/build
|
|
.PHONY : polynomial/fast
|
|
|
|
#=============================================================================
|
|
# Target rules for targets named dd
|
|
|
|
# Build rule for target.
|
|
dd: cmake_check_build_system
|
|
$(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 dd
|
|
.PHONY : dd
|
|
|
|
# fast build rule for target.
|
|
dd/fast:
|
|
$(MAKE) $(MAKESILENT) -f src/math/dd/CMakeFiles/dd.dir/build.make src/math/dd/CMakeFiles/dd.dir/build
|
|
.PHONY : dd/fast
|
|
|
|
#=============================================================================
|
|
# Target rules for targets named hilbert
|
|
|
|
# Build rule for target.
|
|
hilbert: cmake_check_build_system
|
|
$(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 hilbert
|
|
.PHONY : hilbert
|
|
|
|
# fast build rule for target.
|
|
hilbert/fast:
|
|
$(MAKE) $(MAKESILENT) -f src/math/hilbert/CMakeFiles/hilbert.dir/build.make src/math/hilbert/CMakeFiles/hilbert.dir/build
|
|
.PHONY : hilbert/fast
|
|
|
|
#=============================================================================
|
|
# Target rules for targets named simplex
|
|
|
|
# Build rule for target.
|
|
simplex: cmake_check_build_system
|
|
$(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 simplex
|
|
.PHONY : simplex
|
|
|
|
# fast build rule for target.
|
|
simplex/fast:
|
|
$(MAKE) $(MAKESILENT) -f src/math/simplex/CMakeFiles/simplex.dir/build.make src/math/simplex/CMakeFiles/simplex.dir/build
|
|
.PHONY : simplex/fast
|
|
|
|
#=============================================================================
|
|
# Target rules for targets named interval
|
|
|
|
# Build rule for target.
|
|
interval: cmake_check_build_system
|
|
$(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 interval
|
|
.PHONY : interval
|
|
|
|
# fast build rule for target.
|
|
interval/fast:
|
|
$(MAKE) $(MAKESILENT) -f src/math/interval/CMakeFiles/interval.dir/build.make src/math/interval/CMakeFiles/interval.dir/build
|
|
.PHONY : interval/fast
|
|
|
|
#=============================================================================
|
|
# Target rules for targets named realclosure
|
|
|
|
# Build rule for target.
|
|
realclosure: cmake_check_build_system
|
|
$(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 realclosure
|
|
.PHONY : realclosure
|
|
|
|
# fast build rule for target.
|
|
realclosure/fast:
|
|
$(MAKE) $(MAKESILENT) -f src/math/realclosure/CMakeFiles/realclosure.dir/build.make src/math/realclosure/CMakeFiles/realclosure.dir/build
|
|
.PHONY : realclosure/fast
|
|
|
|
#=============================================================================
|
|
# Target rules for targets named subpaving
|
|
|
|
# Build rule for target.
|
|
subpaving: cmake_check_build_system
|
|
$(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 subpaving
|
|
.PHONY : subpaving
|
|
|
|
# fast build rule for target.
|
|
subpaving/fast:
|
|
$(MAKE) $(MAKESILENT) -f src/math/subpaving/CMakeFiles/subpaving.dir/build.make src/math/subpaving/CMakeFiles/subpaving.dir/build
|
|
.PHONY : subpaving/fast
|
|
|
|
#=============================================================================
|
|
# Target rules for targets named ast
|
|
|
|
# Build rule for target.
|
|
ast: cmake_check_build_system
|
|
$(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 ast
|
|
.PHONY : ast
|
|
|
|
# fast build rule for target.
|
|
ast/fast:
|
|
$(MAKE) $(MAKESILENT) -f src/ast/CMakeFiles/ast.dir/build.make src/ast/CMakeFiles/ast.dir/build
|
|
.PHONY : ast/fast
|
|
|
|
#=============================================================================
|
|
# Target rules for targets named params
|
|
|
|
# Build rule for target.
|
|
params: cmake_check_build_system
|
|
$(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 params
|
|
.PHONY : params
|
|
|
|
# fast build rule for target.
|
|
params/fast:
|
|
$(MAKE) $(MAKESILENT) -f src/params/CMakeFiles/params.dir/build.make src/params/CMakeFiles/params.dir/build
|
|
.PHONY : params/fast
|
|
|
|
#=============================================================================
|
|
# Target rules for targets named rewriter
|
|
|
|
# Build rule for target.
|
|
rewriter: cmake_check_build_system
|
|
$(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 rewriter
|
|
.PHONY : rewriter
|
|
|
|
# fast build rule for target.
|
|
rewriter/fast:
|
|
$(MAKE) $(MAKESILENT) -f src/ast/rewriter/CMakeFiles/rewriter.dir/build.make src/ast/rewriter/CMakeFiles/rewriter.dir/build
|
|
.PHONY : rewriter/fast
|
|
|
|
#=============================================================================
|
|
# Target rules for targets named bit_blaster
|
|
|
|
# Build rule for target.
|
|
bit_blaster: cmake_check_build_system
|
|
$(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 bit_blaster
|
|
.PHONY : bit_blaster
|
|
|
|
# fast build rule for target.
|
|
bit_blaster/fast:
|
|
$(MAKE) $(MAKESILENT) -f src/ast/rewriter/bit_blaster/CMakeFiles/bit_blaster.dir/build.make src/ast/rewriter/bit_blaster/CMakeFiles/bit_blaster.dir/build
|
|
.PHONY : bit_blaster/fast
|
|
|
|
#=============================================================================
|
|
# Target rules for targets named normal_forms
|
|
|
|
# Build rule for target.
|
|
normal_forms: cmake_check_build_system
|
|
$(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 normal_forms
|
|
.PHONY : normal_forms
|
|
|
|
# fast build rule for target.
|
|
normal_forms/fast:
|
|
$(MAKE) $(MAKESILENT) -f src/ast/normal_forms/CMakeFiles/normal_forms.dir/build.make src/ast/normal_forms/CMakeFiles/normal_forms.dir/build
|
|
.PHONY : normal_forms/fast
|
|
|
|
#=============================================================================
|
|
# Target rules for targets named macros
|
|
|
|
# Build rule for target.
|
|
macros: cmake_check_build_system
|
|
$(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 macros
|
|
.PHONY : macros
|
|
|
|
# fast build rule for target.
|
|
macros/fast:
|
|
$(MAKE) $(MAKESILENT) -f src/ast/macros/CMakeFiles/macros.dir/build.make src/ast/macros/CMakeFiles/macros.dir/build
|
|
.PHONY : macros/fast
|
|
|
|
#=============================================================================
|
|
# Target rules for targets named model
|
|
|
|
# Build rule for target.
|
|
model: cmake_check_build_system
|
|
$(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 model
|
|
.PHONY : model
|
|
|
|
# fast build rule for target.
|
|
model/fast:
|
|
$(MAKE) $(MAKESILENT) -f src/model/CMakeFiles/model.dir/build.make src/model/CMakeFiles/model.dir/build
|
|
.PHONY : model/fast
|
|
|
|
#=============================================================================
|
|
# Target rules for targets named euf
|
|
|
|
# Build rule for target.
|
|
euf: cmake_check_build_system
|
|
$(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 euf
|
|
.PHONY : euf
|
|
|
|
# fast build rule for target.
|
|
euf/fast:
|
|
$(MAKE) $(MAKESILENT) -f src/ast/euf/CMakeFiles/euf.dir/build.make src/ast/euf/CMakeFiles/euf.dir/build
|
|
.PHONY : euf/fast
|
|
|
|
#=============================================================================
|
|
# Target rules for targets named converters
|
|
|
|
# Build rule for target.
|
|
converters: cmake_check_build_system
|
|
$(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 converters
|
|
.PHONY : converters
|
|
|
|
# fast build rule for target.
|
|
converters/fast:
|
|
$(MAKE) $(MAKESILENT) -f src/ast/converters/CMakeFiles/converters.dir/build.make src/ast/converters/CMakeFiles/converters.dir/build
|
|
.PHONY : converters/fast
|
|
|
|
#=============================================================================
|
|
# Target rules for targets named substitution
|
|
|
|
# Build rule for target.
|
|
substitution: cmake_check_build_system
|
|
$(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 substitution
|
|
.PHONY : substitution
|
|
|
|
# fast build rule for target.
|
|
substitution/fast:
|
|
$(MAKE) $(MAKESILENT) -f src/ast/substitution/CMakeFiles/substitution.dir/build.make src/ast/substitution/CMakeFiles/substitution.dir/build
|
|
.PHONY : substitution/fast
|
|
|
|
#=============================================================================
|
|
# Target rules for targets named simplifiers
|
|
|
|
# Build rule for target.
|
|
simplifiers: cmake_check_build_system
|
|
$(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 simplifiers
|
|
.PHONY : simplifiers
|
|
|
|
# fast build rule for target.
|
|
simplifiers/fast:
|
|
$(MAKE) $(MAKESILENT) -f src/ast/simplifiers/CMakeFiles/simplifiers.dir/build.make src/ast/simplifiers/CMakeFiles/simplifiers.dir/build
|
|
.PHONY : simplifiers/fast
|
|
|
|
#=============================================================================
|
|
# Target rules for targets named tactic
|
|
|
|
# Build rule for target.
|
|
tactic: cmake_check_build_system
|
|
$(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 tactic
|
|
.PHONY : tactic
|
|
|
|
# fast build rule for target.
|
|
tactic/fast:
|
|
$(MAKE) $(MAKESILENT) -f src/tactic/CMakeFiles/tactic.dir/build.make src/tactic/CMakeFiles/tactic.dir/build
|
|
.PHONY : tactic/fast
|
|
|
|
#=============================================================================
|
|
# Target rules for targets named mbp
|
|
|
|
# Build rule for target.
|
|
mbp: cmake_check_build_system
|
|
$(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 mbp
|
|
.PHONY : mbp
|
|
|
|
# fast build rule for target.
|
|
mbp/fast:
|
|
$(MAKE) $(MAKESILENT) -f src/qe/mbp/CMakeFiles/mbp.dir/build.make src/qe/mbp/CMakeFiles/mbp.dir/build
|
|
.PHONY : mbp/fast
|
|
|
|
#=============================================================================
|
|
# Target rules for targets named qe_lite
|
|
|
|
# Build rule for target.
|
|
qe_lite: cmake_check_build_system
|
|
$(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 qe_lite
|
|
.PHONY : qe_lite
|
|
|
|
# fast build rule for target.
|
|
qe_lite/fast:
|
|
$(MAKE) $(MAKESILENT) -f src/qe/lite/CMakeFiles/qe_lite.dir/build.make src/qe/lite/CMakeFiles/qe_lite.dir/build
|
|
.PHONY : qe_lite/fast
|
|
|
|
#=============================================================================
|
|
# Target rules for targets named parser_util
|
|
|
|
# Build rule for target.
|
|
parser_util: cmake_check_build_system
|
|
$(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 parser_util
|
|
.PHONY : parser_util
|
|
|
|
# fast build rule for target.
|
|
parser_util/fast:
|
|
$(MAKE) $(MAKESILENT) -f src/parsers/util/CMakeFiles/parser_util.dir/build.make src/parsers/util/CMakeFiles/parser_util.dir/build
|
|
.PHONY : parser_util/fast
|
|
|
|
#=============================================================================
|
|
# Target rules for targets named grobner
|
|
|
|
# Build rule for target.
|
|
grobner: cmake_check_build_system
|
|
$(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 grobner
|
|
.PHONY : grobner
|
|
|
|
# fast build rule for target.
|
|
grobner/fast:
|
|
$(MAKE) $(MAKESILENT) -f src/math/grobner/CMakeFiles/grobner.dir/build.make src/math/grobner/CMakeFiles/grobner.dir/build
|
|
.PHONY : grobner/fast
|
|
|
|
#=============================================================================
|
|
# Target rules for targets named sat
|
|
|
|
# Build rule for target.
|
|
sat: cmake_check_build_system
|
|
$(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 sat
|
|
.PHONY : sat
|
|
|
|
# fast build rule for target.
|
|
sat/fast:
|
|
$(MAKE) $(MAKESILENT) -f src/sat/CMakeFiles/sat.dir/build.make src/sat/CMakeFiles/sat.dir/build
|
|
.PHONY : sat/fast
|
|
|
|
#=============================================================================
|
|
# Target rules for targets named nlsat
|
|
|
|
# Build rule for target.
|
|
nlsat: cmake_check_build_system
|
|
$(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 nlsat
|
|
.PHONY : nlsat
|
|
|
|
# fast build rule for target.
|
|
nlsat/fast:
|
|
$(MAKE) $(MAKESILENT) -f src/nlsat/CMakeFiles/nlsat.dir/build.make src/nlsat/CMakeFiles/nlsat.dir/build
|
|
.PHONY : nlsat/fast
|
|
|
|
#=============================================================================
|
|
# Target rules for targets named core_tactics
|
|
|
|
# Build rule for target.
|
|
core_tactics: cmake_check_build_system
|
|
$(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 core_tactics
|
|
.PHONY : core_tactics
|
|
|
|
# fast build rule for target.
|
|
core_tactics/fast:
|
|
$(MAKE) $(MAKESILENT) -f src/tactic/core/CMakeFiles/core_tactics.dir/build.make src/tactic/core/CMakeFiles/core_tactics.dir/build
|
|
.PHONY : core_tactics/fast
|
|
|
|
#=============================================================================
|
|
# Target rules for targets named subpaving_tactic
|
|
|
|
# Build rule for target.
|
|
subpaving_tactic: cmake_check_build_system
|
|
$(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 subpaving_tactic
|
|
.PHONY : subpaving_tactic
|
|
|
|
# fast build rule for target.
|
|
subpaving_tactic/fast:
|
|
$(MAKE) $(MAKESILENT) -f src/math/subpaving/tactic/CMakeFiles/subpaving_tactic.dir/build.make src/math/subpaving/tactic/CMakeFiles/subpaving_tactic.dir/build
|
|
.PHONY : subpaving_tactic/fast
|
|
|
|
#=============================================================================
|
|
# Target rules for targets named aig_tactic
|
|
|
|
# Build rule for target.
|
|
aig_tactic: cmake_check_build_system
|
|
$(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 aig_tactic
|
|
.PHONY : aig_tactic
|
|
|
|
# fast build rule for target.
|
|
aig_tactic/fast:
|
|
$(MAKE) $(MAKESILENT) -f src/tactic/aig/CMakeFiles/aig_tactic.dir/build.make src/tactic/aig/CMakeFiles/aig_tactic.dir/build
|
|
.PHONY : aig_tactic/fast
|
|
|
|
#=============================================================================
|
|
# Target rules for targets named arith_tactics
|
|
|
|
# Build rule for target.
|
|
arith_tactics: cmake_check_build_system
|
|
$(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 arith_tactics
|
|
.PHONY : arith_tactics
|
|
|
|
# fast build rule for target.
|
|
arith_tactics/fast:
|
|
$(MAKE) $(MAKESILENT) -f src/tactic/arith/CMakeFiles/arith_tactics.dir/build.make src/tactic/arith/CMakeFiles/arith_tactics.dir/build
|
|
.PHONY : arith_tactics/fast
|
|
|
|
#=============================================================================
|
|
# Target rules for targets named solver
|
|
|
|
# Build rule for target.
|
|
solver: cmake_check_build_system
|
|
$(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 solver
|
|
.PHONY : solver
|
|
|
|
# fast build rule for target.
|
|
solver/fast:
|
|
$(MAKE) $(MAKESILENT) -f src/solver/CMakeFiles/solver.dir/build.make src/solver/CMakeFiles/solver.dir/build
|
|
.PHONY : solver/fast
|
|
|
|
#=============================================================================
|
|
# Target rules for targets named cmd_context
|
|
|
|
# Build rule for target.
|
|
cmd_context: cmake_check_build_system
|
|
$(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 cmd_context
|
|
.PHONY : cmd_context
|
|
|
|
# fast build rule for target.
|
|
cmd_context/fast:
|
|
$(MAKE) $(MAKESILENT) -f src/cmd_context/CMakeFiles/cmd_context.dir/build.make src/cmd_context/CMakeFiles/cmd_context.dir/build
|
|
.PHONY : cmd_context/fast
|
|
|
|
#=============================================================================
|
|
# Target rules for targets named extra_cmds
|
|
|
|
# Build rule for target.
|
|
extra_cmds: cmake_check_build_system
|
|
$(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 extra_cmds
|
|
.PHONY : extra_cmds
|
|
|
|
# fast build rule for target.
|
|
extra_cmds/fast:
|
|
$(MAKE) $(MAKESILENT) -f src/cmd_context/extra_cmds/CMakeFiles/extra_cmds.dir/build.make src/cmd_context/extra_cmds/CMakeFiles/extra_cmds.dir/build
|
|
.PHONY : extra_cmds/fast
|
|
|
|
#=============================================================================
|
|
# Target rules for targets named smt2parser
|
|
|
|
# Build rule for target.
|
|
smt2parser: cmake_check_build_system
|
|
$(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 smt2parser
|
|
.PHONY : smt2parser
|
|
|
|
# fast build rule for target.
|
|
smt2parser/fast:
|
|
$(MAKE) $(MAKESILENT) -f src/parsers/smt2/CMakeFiles/smt2parser.dir/build.make src/parsers/smt2/CMakeFiles/smt2parser.dir/build
|
|
.PHONY : smt2parser/fast
|
|
|
|
#=============================================================================
|
|
# Target rules for targets named solver_assertions
|
|
|
|
# Build rule for target.
|
|
solver_assertions: cmake_check_build_system
|
|
$(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 solver_assertions
|
|
.PHONY : solver_assertions
|
|
|
|
# fast build rule for target.
|
|
solver_assertions/fast:
|
|
$(MAKE) $(MAKESILENT) -f src/solver/assertions/CMakeFiles/solver_assertions.dir/build.make src/solver/assertions/CMakeFiles/solver_assertions.dir/build
|
|
.PHONY : solver_assertions/fast
|
|
|
|
#=============================================================================
|
|
# Target rules for targets named pattern
|
|
|
|
# Build rule for target.
|
|
pattern: cmake_check_build_system
|
|
$(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 pattern
|
|
.PHONY : pattern
|
|
|
|
# fast build rule for target.
|
|
pattern/fast:
|
|
$(MAKE) $(MAKESILENT) -f src/ast/pattern/CMakeFiles/pattern.dir/build.make src/ast/pattern/CMakeFiles/pattern.dir/build
|
|
.PHONY : pattern/fast
|
|
|
|
#=============================================================================
|
|
# Target rules for targets named lp
|
|
|
|
# Build rule for target.
|
|
lp: cmake_check_build_system
|
|
$(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 lp
|
|
.PHONY : lp
|
|
|
|
# fast build rule for target.
|
|
lp/fast:
|
|
$(MAKE) $(MAKESILENT) -f src/math/lp/CMakeFiles/lp.dir/build.make src/math/lp/CMakeFiles/lp.dir/build
|
|
.PHONY : lp/fast
|
|
|
|
#=============================================================================
|
|
# Target rules for targets named ast_sls
|
|
|
|
# Build rule for target.
|
|
ast_sls: cmake_check_build_system
|
|
$(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 ast_sls
|
|
.PHONY : ast_sls
|
|
|
|
# fast build rule for target.
|
|
ast_sls/fast:
|
|
$(MAKE) $(MAKESILENT) -f src/ast/sls/CMakeFiles/ast_sls.dir/build.make src/ast/sls/CMakeFiles/ast_sls.dir/build
|
|
.PHONY : ast_sls/fast
|
|
|
|
#=============================================================================
|
|
# Target rules for targets named sat_smt
|
|
|
|
# Build rule for target.
|
|
sat_smt: cmake_check_build_system
|
|
$(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 sat_smt
|
|
.PHONY : sat_smt
|
|
|
|
# fast build rule for target.
|
|
sat_smt/fast:
|
|
$(MAKE) $(MAKESILENT) -f src/sat/smt/CMakeFiles/sat_smt.dir/build.make src/sat/smt/CMakeFiles/sat_smt.dir/build
|
|
.PHONY : sat_smt/fast
|
|
|
|
#=============================================================================
|
|
# Target rules for targets named sat_tactic
|
|
|
|
# Build rule for target.
|
|
sat_tactic: cmake_check_build_system
|
|
$(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 sat_tactic
|
|
.PHONY : sat_tactic
|
|
|
|
# fast build rule for target.
|
|
sat_tactic/fast:
|
|
$(MAKE) $(MAKESILENT) -f src/sat/tactic/CMakeFiles/sat_tactic.dir/build.make src/sat/tactic/CMakeFiles/sat_tactic.dir/build
|
|
.PHONY : sat_tactic/fast
|
|
|
|
#=============================================================================
|
|
# Target rules for targets named nlsat_tactic
|
|
|
|
# Build rule for target.
|
|
nlsat_tactic: cmake_check_build_system
|
|
$(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 nlsat_tactic
|
|
.PHONY : nlsat_tactic
|
|
|
|
# fast build rule for target.
|
|
nlsat_tactic/fast:
|
|
$(MAKE) $(MAKESILENT) -f src/nlsat/tactic/CMakeFiles/nlsat_tactic.dir/build.make src/nlsat/tactic/CMakeFiles/nlsat_tactic.dir/build
|
|
.PHONY : nlsat_tactic/fast
|
|
|
|
#=============================================================================
|
|
# Target rules for targets named ackermannization
|
|
|
|
# Build rule for target.
|
|
ackermannization: cmake_check_build_system
|
|
$(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 ackermannization
|
|
.PHONY : ackermannization
|
|
|
|
# fast build rule for target.
|
|
ackermannization/fast:
|
|
$(MAKE) $(MAKESILENT) -f src/ackermannization/CMakeFiles/ackermannization.dir/build.make src/ackermannization/CMakeFiles/ackermannization.dir/build
|
|
.PHONY : ackermannization/fast
|
|
|
|
#=============================================================================
|
|
# Target rules for targets named proofs
|
|
|
|
# Build rule for target.
|
|
proofs: cmake_check_build_system
|
|
$(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 proofs
|
|
.PHONY : proofs
|
|
|
|
# fast build rule for target.
|
|
proofs/fast:
|
|
$(MAKE) $(MAKESILENT) -f src/ast/proofs/CMakeFiles/proofs.dir/build.make src/ast/proofs/CMakeFiles/proofs.dir/build
|
|
.PHONY : proofs/fast
|
|
|
|
#=============================================================================
|
|
# Target rules for targets named fpa
|
|
|
|
# Build rule for target.
|
|
fpa: cmake_check_build_system
|
|
$(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 fpa
|
|
.PHONY : fpa
|
|
|
|
# fast build rule for target.
|
|
fpa/fast:
|
|
$(MAKE) $(MAKESILENT) -f src/ast/fpa/CMakeFiles/fpa.dir/build.make src/ast/fpa/CMakeFiles/fpa.dir/build
|
|
.PHONY : fpa/fast
|
|
|
|
#=============================================================================
|
|
# Target rules for targets named proto_model
|
|
|
|
# Build rule for target.
|
|
proto_model: cmake_check_build_system
|
|
$(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 proto_model
|
|
.PHONY : proto_model
|
|
|
|
# fast build rule for target.
|
|
proto_model/fast:
|
|
$(MAKE) $(MAKESILENT) -f src/smt/proto_model/CMakeFiles/proto_model.dir/build.make src/smt/proto_model/CMakeFiles/proto_model.dir/build
|
|
.PHONY : proto_model/fast
|
|
|
|
#=============================================================================
|
|
# Target rules for targets named smt
|
|
|
|
# Build rule for target.
|
|
smt: cmake_check_build_system
|
|
$(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 smt
|
|
.PHONY : smt
|
|
|
|
# fast build rule for target.
|
|
smt/fast:
|
|
$(MAKE) $(MAKESILENT) -f src/smt/CMakeFiles/smt.dir/build.make src/smt/CMakeFiles/smt.dir/build
|
|
.PHONY : smt/fast
|
|
|
|
#=============================================================================
|
|
# Target rules for targets named bv_tactics
|
|
|
|
# Build rule for target.
|
|
bv_tactics: cmake_check_build_system
|
|
$(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 bv_tactics
|
|
.PHONY : bv_tactics
|
|
|
|
# fast build rule for target.
|
|
bv_tactics/fast:
|
|
$(MAKE) $(MAKESILENT) -f src/tactic/bv/CMakeFiles/bv_tactics.dir/build.make src/tactic/bv/CMakeFiles/bv_tactics.dir/build
|
|
.PHONY : bv_tactics/fast
|
|
|
|
#=============================================================================
|
|
# Target rules for targets named smt_tactic
|
|
|
|
# Build rule for target.
|
|
smt_tactic: cmake_check_build_system
|
|
$(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 smt_tactic
|
|
.PHONY : smt_tactic
|
|
|
|
# fast build rule for target.
|
|
smt_tactic/fast:
|
|
$(MAKE) $(MAKESILENT) -f src/smt/tactic/CMakeFiles/smt_tactic.dir/build.make src/smt/tactic/CMakeFiles/smt_tactic.dir/build
|
|
.PHONY : smt_tactic/fast
|
|
|
|
#=============================================================================
|
|
# Target rules for targets named sls_tactic
|
|
|
|
# Build rule for target.
|
|
sls_tactic: cmake_check_build_system
|
|
$(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 sls_tactic
|
|
.PHONY : sls_tactic
|
|
|
|
# fast build rule for target.
|
|
sls_tactic/fast:
|
|
$(MAKE) $(MAKESILENT) -f src/tactic/sls/CMakeFiles/sls_tactic.dir/build.make src/tactic/sls/CMakeFiles/sls_tactic.dir/build
|
|
.PHONY : sls_tactic/fast
|
|
|
|
#=============================================================================
|
|
# Target rules for targets named qe
|
|
|
|
# Build rule for target.
|
|
qe: cmake_check_build_system
|
|
$(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 qe
|
|
.PHONY : qe
|
|
|
|
# fast build rule for target.
|
|
qe/fast:
|
|
$(MAKE) $(MAKESILENT) -f src/qe/CMakeFiles/qe.dir/build.make src/qe/CMakeFiles/qe.dir/build
|
|
.PHONY : qe/fast
|
|
|
|
#=============================================================================
|
|
# Target rules for targets named muz
|
|
|
|
# Build rule for target.
|
|
muz: cmake_check_build_system
|
|
$(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 muz
|
|
.PHONY : muz
|
|
|
|
# fast build rule for target.
|
|
muz/fast:
|
|
$(MAKE) $(MAKESILENT) -f src/muz/base/CMakeFiles/muz.dir/build.make src/muz/base/CMakeFiles/muz.dir/build
|
|
.PHONY : muz/fast
|
|
|
|
#=============================================================================
|
|
# Target rules for targets named dataflow
|
|
|
|
# Build rule for target.
|
|
dataflow: cmake_check_build_system
|
|
$(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 dataflow
|
|
.PHONY : dataflow
|
|
|
|
# fast build rule for target.
|
|
dataflow/fast:
|
|
$(MAKE) $(MAKESILENT) -f src/muz/dataflow/CMakeFiles/dataflow.dir/build.make src/muz/dataflow/CMakeFiles/dataflow.dir/build
|
|
.PHONY : dataflow/fast
|
|
|
|
#=============================================================================
|
|
# Target rules for targets named transforms
|
|
|
|
# Build rule for target.
|
|
transforms: cmake_check_build_system
|
|
$(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 transforms
|
|
.PHONY : transforms
|
|
|
|
# fast build rule for target.
|
|
transforms/fast:
|
|
$(MAKE) $(MAKESILENT) -f src/muz/transforms/CMakeFiles/transforms.dir/build.make src/muz/transforms/CMakeFiles/transforms.dir/build
|
|
.PHONY : transforms/fast
|
|
|
|
#=============================================================================
|
|
# Target rules for targets named rel
|
|
|
|
# Build rule for target.
|
|
rel: cmake_check_build_system
|
|
$(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 rel
|
|
.PHONY : rel
|
|
|
|
# fast build rule for target.
|
|
rel/fast:
|
|
$(MAKE) $(MAKESILENT) -f src/muz/rel/CMakeFiles/rel.dir/build.make src/muz/rel/CMakeFiles/rel.dir/build
|
|
.PHONY : rel/fast
|
|
|
|
#=============================================================================
|
|
# Target rules for targets named clp
|
|
|
|
# Build rule for target.
|
|
clp: cmake_check_build_system
|
|
$(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 clp
|
|
.PHONY : clp
|
|
|
|
# fast build rule for target.
|
|
clp/fast:
|
|
$(MAKE) $(MAKESILENT) -f src/muz/clp/CMakeFiles/clp.dir/build.make src/muz/clp/CMakeFiles/clp.dir/build
|
|
.PHONY : clp/fast
|
|
|
|
#=============================================================================
|
|
# Target rules for targets named tab
|
|
|
|
# Build rule for target.
|
|
tab: cmake_check_build_system
|
|
$(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 tab
|
|
.PHONY : tab
|
|
|
|
# fast build rule for target.
|
|
tab/fast:
|
|
$(MAKE) $(MAKESILENT) -f src/muz/tab/CMakeFiles/tab.dir/build.make src/muz/tab/CMakeFiles/tab.dir/build
|
|
.PHONY : tab/fast
|
|
|
|
#=============================================================================
|
|
# Target rules for targets named bmc
|
|
|
|
# Build rule for target.
|
|
bmc: cmake_check_build_system
|
|
$(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 bmc
|
|
.PHONY : bmc
|
|
|
|
# fast build rule for target.
|
|
bmc/fast:
|
|
$(MAKE) $(MAKESILENT) -f src/muz/bmc/CMakeFiles/bmc.dir/build.make src/muz/bmc/CMakeFiles/bmc.dir/build
|
|
.PHONY : bmc/fast
|
|
|
|
#=============================================================================
|
|
# Target rules for targets named ddnf
|
|
|
|
# Build rule for target.
|
|
ddnf: cmake_check_build_system
|
|
$(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 ddnf
|
|
.PHONY : ddnf
|
|
|
|
# fast build rule for target.
|
|
ddnf/fast:
|
|
$(MAKE) $(MAKESILENT) -f src/muz/ddnf/CMakeFiles/ddnf.dir/build.make src/muz/ddnf/CMakeFiles/ddnf.dir/build
|
|
.PHONY : ddnf/fast
|
|
|
|
#=============================================================================
|
|
# Target rules for targets named spacer
|
|
|
|
# Build rule for target.
|
|
spacer: cmake_check_build_system
|
|
$(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 spacer
|
|
.PHONY : spacer
|
|
|
|
# fast build rule for target.
|
|
spacer/fast:
|
|
$(MAKE) $(MAKESILENT) -f src/muz/spacer/CMakeFiles/spacer.dir/build.make src/muz/spacer/CMakeFiles/spacer.dir/build
|
|
.PHONY : spacer/fast
|
|
|
|
#=============================================================================
|
|
# Target rules for targets named fp
|
|
|
|
# Build rule for target.
|
|
fp: cmake_check_build_system
|
|
$(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 fp
|
|
.PHONY : fp
|
|
|
|
# fast build rule for target.
|
|
fp/fast:
|
|
$(MAKE) $(MAKESILENT) -f src/muz/fp/CMakeFiles/fp.dir/build.make src/muz/fp/CMakeFiles/fp.dir/build
|
|
.PHONY : fp/fast
|
|
|
|
#=============================================================================
|
|
# Target rules for targets named ufbv_tactic
|
|
|
|
# Build rule for target.
|
|
ufbv_tactic: cmake_check_build_system
|
|
$(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 ufbv_tactic
|
|
.PHONY : ufbv_tactic
|
|
|
|
# fast build rule for target.
|
|
ufbv_tactic/fast:
|
|
$(MAKE) $(MAKESILENT) -f src/tactic/ufbv/CMakeFiles/ufbv_tactic.dir/build.make src/tactic/ufbv/CMakeFiles/ufbv_tactic.dir/build
|
|
.PHONY : ufbv_tactic/fast
|
|
|
|
#=============================================================================
|
|
# Target rules for targets named sat_solver
|
|
|
|
# Build rule for target.
|
|
sat_solver: cmake_check_build_system
|
|
$(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 sat_solver
|
|
.PHONY : sat_solver
|
|
|
|
# fast build rule for target.
|
|
sat_solver/fast:
|
|
$(MAKE) $(MAKESILENT) -f src/sat/sat_solver/CMakeFiles/sat_solver.dir/build.make src/sat/sat_solver/CMakeFiles/sat_solver.dir/build
|
|
.PHONY : sat_solver/fast
|
|
|
|
#=============================================================================
|
|
# Target rules for targets named smtlogic_tactics
|
|
|
|
# Build rule for target.
|
|
smtlogic_tactics: cmake_check_build_system
|
|
$(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 smtlogic_tactics
|
|
.PHONY : smtlogic_tactics
|
|
|
|
# fast build rule for target.
|
|
smtlogic_tactics/fast:
|
|
$(MAKE) $(MAKESILENT) -f src/tactic/smtlogics/CMakeFiles/smtlogic_tactics.dir/build.make src/tactic/smtlogics/CMakeFiles/smtlogic_tactics.dir/build
|
|
.PHONY : smtlogic_tactics/fast
|
|
|
|
#=============================================================================
|
|
# Target rules for targets named fpa_tactics
|
|
|
|
# Build rule for target.
|
|
fpa_tactics: cmake_check_build_system
|
|
$(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 fpa_tactics
|
|
.PHONY : fpa_tactics
|
|
|
|
# fast build rule for target.
|
|
fpa_tactics/fast:
|
|
$(MAKE) $(MAKESILENT) -f src/tactic/fpa/CMakeFiles/fpa_tactics.dir/build.make src/tactic/fpa/CMakeFiles/fpa_tactics.dir/build
|
|
.PHONY : fpa_tactics/fast
|
|
|
|
#=============================================================================
|
|
# Target rules for targets named fd_solver
|
|
|
|
# Build rule for target.
|
|
fd_solver: cmake_check_build_system
|
|
$(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 fd_solver
|
|
.PHONY : fd_solver
|
|
|
|
# fast build rule for target.
|
|
fd_solver/fast:
|
|
$(MAKE) $(MAKESILENT) -f src/tactic/fd_solver/CMakeFiles/fd_solver.dir/build.make src/tactic/fd_solver/CMakeFiles/fd_solver.dir/build
|
|
.PHONY : fd_solver/fast
|
|
|
|
#=============================================================================
|
|
# Target rules for targets named portfolio
|
|
|
|
# Build rule for target.
|
|
portfolio: cmake_check_build_system
|
|
$(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 portfolio
|
|
.PHONY : portfolio
|
|
|
|
# fast build rule for target.
|
|
portfolio/fast:
|
|
$(MAKE) $(MAKESILENT) -f src/tactic/portfolio/CMakeFiles/portfolio.dir/build.make src/tactic/portfolio/CMakeFiles/portfolio.dir/build
|
|
.PHONY : portfolio/fast
|
|
|
|
#=============================================================================
|
|
# Target rules for targets named opt
|
|
|
|
# Build rule for target.
|
|
opt: cmake_check_build_system
|
|
$(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 opt
|
|
.PHONY : opt
|
|
|
|
# fast build rule for target.
|
|
opt/fast:
|
|
$(MAKE) $(MAKESILENT) -f src/opt/CMakeFiles/opt.dir/build.make src/opt/CMakeFiles/opt.dir/build
|
|
.PHONY : opt/fast
|
|
|
|
#=============================================================================
|
|
# Target rules for targets named api
|
|
|
|
# Build rule for target.
|
|
api: cmake_check_build_system
|
|
$(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 api
|
|
.PHONY : api
|
|
|
|
# fast build rule for target.
|
|
api/fast:
|
|
$(MAKE) $(MAKESILENT) -f src/api/CMakeFiles/api.dir/build.make src/api/CMakeFiles/api.dir/build
|
|
.PHONY : api/fast
|
|
|
|
#=============================================================================
|
|
# Target rules for targets named api_dll
|
|
|
|
# Build rule for target.
|
|
api_dll: cmake_check_build_system
|
|
$(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 api_dll
|
|
.PHONY : api_dll
|
|
|
|
# fast build rule for target.
|
|
api_dll/fast:
|
|
$(MAKE) $(MAKESILENT) -f src/api/dll/CMakeFiles/api_dll.dir/build.make src/api/dll/CMakeFiles/api_dll.dir/build
|
|
.PHONY : api_dll/fast
|
|
|
|
#=============================================================================
|
|
# Target rules for targets named shell
|
|
|
|
# Build rule for target.
|
|
shell: cmake_check_build_system
|
|
$(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 shell
|
|
.PHONY : shell
|
|
|
|
# fast build rule for target.
|
|
shell/fast:
|
|
$(MAKE) $(MAKESILENT) -f src/shell/CMakeFiles/shell.dir/build.make src/shell/CMakeFiles/shell.dir/build
|
|
.PHONY : shell/fast
|
|
|
|
#=============================================================================
|
|
# Target rules for targets named test-z3
|
|
|
|
# Build rule for target.
|
|
test-z3: cmake_check_build_system
|
|
$(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 test-z3
|
|
.PHONY : test-z3
|
|
|
|
# fast build rule for target.
|
|
test-z3/fast:
|
|
$(MAKE) $(MAKESILENT) -f src/test/CMakeFiles/test-z3.dir/build.make src/test/CMakeFiles/test-z3.dir/build
|
|
.PHONY : test-z3/fast
|
|
|
|
#=============================================================================
|
|
# Target rules for targets named fuzzing
|
|
|
|
# Build rule for target.
|
|
fuzzing: cmake_check_build_system
|
|
$(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 fuzzing
|
|
.PHONY : fuzzing
|
|
|
|
# fast build rule for target.
|
|
fuzzing/fast:
|
|
$(MAKE) $(MAKESILENT) -f src/test/fuzzing/CMakeFiles/fuzzing.dir/build.make src/test/fuzzing/CMakeFiles/fuzzing.dir/build
|
|
.PHONY : fuzzing/fast
|
|
|
|
#=============================================================================
|
|
# Target rules for targets named lp_tst
|
|
|
|
# Build rule for target.
|
|
lp_tst: cmake_check_build_system
|
|
$(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 lp_tst
|
|
.PHONY : lp_tst
|
|
|
|
# fast build rule for target.
|
|
lp_tst/fast:
|
|
$(MAKE) $(MAKESILENT) -f src/test/lp/CMakeFiles/lp_tst.dir/build.make src/test/lp/CMakeFiles/lp_tst.dir/build
|
|
.PHONY : lp_tst/fast
|
|
|
|
#=============================================================================
|
|
# Target rules for targets named c_example
|
|
|
|
# Build rule for target.
|
|
c_example: cmake_check_build_system
|
|
$(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 c_example
|
|
.PHONY : c_example
|
|
|
|
# fast build rule for target.
|
|
c_example/fast:
|
|
$(MAKE) $(MAKESILENT) -f examples/CMakeFiles/c_example.dir/build.make examples/CMakeFiles/c_example.dir/build
|
|
.PHONY : c_example/fast
|
|
|
|
#=============================================================================
|
|
# Target rules for targets named c_maxsat_example
|
|
|
|
# Build rule for target.
|
|
c_maxsat_example: cmake_check_build_system
|
|
$(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 c_maxsat_example
|
|
.PHONY : c_maxsat_example
|
|
|
|
# fast build rule for target.
|
|
c_maxsat_example/fast:
|
|
$(MAKE) $(MAKESILENT) -f examples/CMakeFiles/c_maxsat_example.dir/build.make examples/CMakeFiles/c_maxsat_example.dir/build
|
|
.PHONY : c_maxsat_example/fast
|
|
|
|
#=============================================================================
|
|
# Target rules for targets named cpp_example
|
|
|
|
# Build rule for target.
|
|
cpp_example: cmake_check_build_system
|
|
$(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 cpp_example
|
|
.PHONY : cpp_example
|
|
|
|
# fast build rule for target.
|
|
cpp_example/fast:
|
|
$(MAKE) $(MAKESILENT) -f examples/CMakeFiles/cpp_example.dir/build.make examples/CMakeFiles/cpp_example.dir/build
|
|
.PHONY : cpp_example/fast
|
|
|
|
#=============================================================================
|
|
# Target rules for targets named z3_tptp5
|
|
|
|
# Build rule for target.
|
|
z3_tptp5: cmake_check_build_system
|
|
$(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 z3_tptp5
|
|
.PHONY : z3_tptp5
|
|
|
|
# fast build rule for target.
|
|
z3_tptp5/fast:
|
|
$(MAKE) $(MAKESILENT) -f examples/CMakeFiles/z3_tptp5.dir/build.make examples/CMakeFiles/z3_tptp5.dir/build
|
|
.PHONY : z3_tptp5/fast
|
|
|
|
#=============================================================================
|
|
# Target rules for targets named userPropagator
|
|
|
|
# Build rule for target.
|
|
userPropagator: cmake_check_build_system
|
|
$(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 userPropagator
|
|
.PHONY : userPropagator
|
|
|
|
# fast build rule for target.
|
|
userPropagator/fast:
|
|
$(MAKE) $(MAKESILENT) -f examples/CMakeFiles/userPropagator.dir/build.make examples/CMakeFiles/userPropagator.dir/build
|
|
.PHONY : userPropagator/fast
|
|
|
|
# Help Target
|
|
help:
|
|
@echo "The following are some of the valid targets for this Makefile:"
|
|
@echo "... all (the default if no target is provided)"
|
|
@echo "... clean"
|
|
@echo "... depend"
|
|
@echo "... edit_cache"
|
|
@echo "... install"
|
|
@echo "... install/local"
|
|
@echo "... install/strip"
|
|
@echo "... list_install_components"
|
|
@echo "... rebuild_cache"
|
|
@echo "... c_example"
|
|
@echo "... c_maxsat_example"
|
|
@echo "... cpp_example"
|
|
@echo "... uninstall"
|
|
@echo "... userPropagator"
|
|
@echo "... z3_tptp5"
|
|
@echo "... ackermannization"
|
|
@echo "... aig_tactic"
|
|
@echo "... api"
|
|
@echo "... api_dll"
|
|
@echo "... arith_tactics"
|
|
@echo "... ast"
|
|
@echo "... ast_sls"
|
|
@echo "... bit_blaster"
|
|
@echo "... bmc"
|
|
@echo "... bv_tactics"
|
|
@echo "... clp"
|
|
@echo "... cmd_context"
|
|
@echo "... converters"
|
|
@echo "... core_tactics"
|
|
@echo "... dataflow"
|
|
@echo "... dd"
|
|
@echo "... ddnf"
|
|
@echo "... euf"
|
|
@echo "... extra_cmds"
|
|
@echo "... fd_solver"
|
|
@echo "... fp"
|
|
@echo "... fpa"
|
|
@echo "... fpa_tactics"
|
|
@echo "... fuzzing"
|
|
@echo "... grobner"
|
|
@echo "... hilbert"
|
|
@echo "... interval"
|
|
@echo "... libz3"
|
|
@echo "... lp"
|
|
@echo "... lp_tst"
|
|
@echo "... macros"
|
|
@echo "... mbp"
|
|
@echo "... model"
|
|
@echo "... muz"
|
|
@echo "... nlsat"
|
|
@echo "... nlsat_tactic"
|
|
@echo "... normal_forms"
|
|
@echo "... opt"
|
|
@echo "... params"
|
|
@echo "... parser_util"
|
|
@echo "... pattern"
|
|
@echo "... polynomial"
|
|
@echo "... portfolio"
|
|
@echo "... proofs"
|
|
@echo "... proto_model"
|
|
@echo "... qe"
|
|
@echo "... qe_lite"
|
|
@echo "... realclosure"
|
|
@echo "... rel"
|
|
@echo "... rewriter"
|
|
@echo "... sat"
|
|
@echo "... sat_smt"
|
|
@echo "... sat_solver"
|
|
@echo "... sat_tactic"
|
|
@echo "... shell"
|
|
@echo "... simplex"
|
|
@echo "... simplifiers"
|
|
@echo "... sls_tactic"
|
|
@echo "... smt"
|
|
@echo "... smt2parser"
|
|
@echo "... smt_tactic"
|
|
@echo "... smtlogic_tactics"
|
|
@echo "... solver"
|
|
@echo "... solver_assertions"
|
|
@echo "... spacer"
|
|
@echo "... subpaving"
|
|
@echo "... subpaving_tactic"
|
|
@echo "... substitution"
|
|
@echo "... tab"
|
|
@echo "... tactic"
|
|
@echo "... test-z3"
|
|
@echo "... transforms"
|
|
@echo "... ufbv_tactic"
|
|
@echo "... util"
|
|
.PHONY : help
|
|
|
|
|
|
|
|
#=============================================================================
|
|
# Special targets to cleanup operation of make.
|
|
|
|
# Special rule to run CMake to check the build system integrity.
|
|
# No rule that depends on this can have commands that come from listfiles
|
|
# because they might be regenerated.
|
|
cmake_check_build_system:
|
|
$(CMAKE_COMMAND) -S$(CMAKE_SOURCE_DIR) -B$(CMAKE_BINARY_DIR) --check-build-system CMakeFiles/Makefile.cmake 0
|
|
.PHONY : cmake_check_build_system
|
|
|