# CMAKE generated file: DO NOT EDIT! # Generated by "Unix Makefiles" Generator, CMake Version 3.18 # 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/bin/cmake # The command to remove a file. RM = /usr/bin/cmake -E rm -f # Escaping for special characters. EQUALS = = # The top-level source directory on which CMake was run. CMAKE_SOURCE_DIR = /home/mdasoh/src/hdl_tools/cvc5 # The top-level build directory on which CMake was run. CMAKE_BINARY_DIR = /home/mdasoh/src/hdl_tools/cvc5/build #============================================================================= # Targets provided globally by CMake. # Special rule for the target install install: preinstall @$(CMAKE_COMMAND) -E cmake_echo_color --switch=$(COLOR) --cyan "Install the project..." /usr/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/bin/cmake -P cmake_install.cmake .PHONY : install/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/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 install/local install/local: preinstall @$(CMAKE_COMMAND) -E cmake_echo_color --switch=$(COLOR) --cyan "Installing only the local directory..." /usr/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/bin/cmake -DCMAKE_INSTALL_LOCAL_ONLY=1 -P cmake_install.cmake .PHONY : install/local/fast # Special rule for the target test test: @$(CMAKE_COMMAND) -E cmake_echo_color --switch=$(COLOR) --cyan "Running tests..." /usr/bin/ctest --force-new-ctest-process $(ARGS) .PHONY : test # Special rule for the target test test/fast: test .PHONY : test/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/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/bin/cmake -DCMAKE_INSTALL_DO_STRIP=1 -P cmake_install.cmake .PHONY : install/strip/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 edit_cache edit_cache: @$(CMAKE_COMMAND) -E cmake_echo_color --switch=$(COLOR) --cyan "No interactive CMake dialog available..." /usr/bin/cmake -E echo No\ interactive\ CMake\ dialog\ available. .PHONY : edit_cache # Special rule for the target edit_cache edit_cache/fast: edit_cache .PHONY : edit_cache/fast # The main all target all: cmake_check_build_system $(CMAKE_COMMAND) -E cmake_progress_start /home/mdasoh/src/hdl_tools/cvc5/build/CMakeFiles /home/mdasoh/src/hdl_tools/cvc5/build//CMakeFiles/progress.marks $(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 all $(CMAKE_COMMAND) -E cmake_progress_start /home/mdasoh/src/hdl_tools/cvc5/build/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 target-graphs # Build rule for target. target-graphs: cmake_check_build_system $(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 target-graphs .PHONY : target-graphs # fast build rule for target. target-graphs/fast: $(MAKE) $(MAKESILENT) -f CMakeFiles/target-graphs.dir/build.make CMakeFiles/target-graphs.dir/build .PHONY : target-graphs/fast #============================================================================= # Target rules for targets named fuzz-murxla # Build rule for target. fuzz-murxla: cmake_check_build_system $(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 fuzz-murxla .PHONY : fuzz-murxla # fast build rule for target. fuzz-murxla/fast: $(MAKE) $(MAKESILENT) -f CMakeFiles/fuzz-murxla.dir/build.make CMakeFiles/fuzz-murxla.dir/build .PHONY : fuzz-murxla/fast #============================================================================= # Target rules for targets named gen-versioninfo # Build rule for target. gen-versioninfo: cmake_check_build_system $(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 gen-versioninfo .PHONY : gen-versioninfo # fast build rule for target. gen-versioninfo/fast: $(MAKE) $(MAKESILENT) -f CMakeFiles/gen-versioninfo.dir/build.make CMakeFiles/gen-versioninfo.dir/build .PHONY : gen-versioninfo/fast #============================================================================= # Target rules for targets named Poly-EP # Build rule for target. Poly-EP: cmake_check_build_system $(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 Poly-EP .PHONY : Poly-EP # fast build rule for target. Poly-EP/fast: $(MAKE) $(MAKESILENT) -f CMakeFiles/Poly-EP.dir/build.make CMakeFiles/Poly-EP.dir/build .PHONY : Poly-EP/fast #============================================================================= # Target rules for targets named CaDiCaL-EP # Build rule for target. CaDiCaL-EP: cmake_check_build_system $(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 CaDiCaL-EP .PHONY : CaDiCaL-EP # fast build rule for target. CaDiCaL-EP/fast: $(MAKE) $(MAKESILENT) -f CMakeFiles/CaDiCaL-EP.dir/build.make CMakeFiles/CaDiCaL-EP.dir/build .PHONY : CaDiCaL-EP/fast #============================================================================= # Target rules for targets named Murxla-EP # Build rule for target. Murxla-EP: cmake_check_build_system $(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 Murxla-EP .PHONY : Murxla-EP # fast build rule for target. Murxla-EP/fast: $(MAKE) $(MAKESILENT) -f CMakeFiles/Murxla-EP.dir/build.make CMakeFiles/Murxla-EP.dir/build .PHONY : Murxla-EP/fast #============================================================================= # Target rules for targets named SymFPU-EP # Build rule for target. SymFPU-EP: cmake_check_build_system $(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 SymFPU-EP .PHONY : SymFPU-EP # fast build rule for target. SymFPU-EP/fast: $(MAKE) $(MAKESILENT) -f CMakeFiles/SymFPU-EP.dir/build.make CMakeFiles/SymFPU-EP.dir/build .PHONY : SymFPU-EP/fast #============================================================================= # Target rules for targets named install-for-murxla # Build rule for target. install-for-murxla: cmake_check_build_system $(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 install-for-murxla .PHONY : install-for-murxla # fast build rule for target. install-for-murxla/fast: $(MAKE) $(MAKESILENT) -f CMakeFiles/install-for-murxla.dir/build.make CMakeFiles/install-for-murxla.dir/build .PHONY : install-for-murxla/fast #============================================================================= # Target rules for targets named cvc5-obj # Build rule for target. cvc5-obj: cmake_check_build_system $(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 cvc5-obj .PHONY : cvc5-obj # fast build rule for target. cvc5-obj/fast: $(MAKE) $(MAKESILENT) -f src/CMakeFiles/cvc5-obj.dir/build.make src/CMakeFiles/cvc5-obj.dir/build .PHONY : cvc5-obj/fast #============================================================================= # Target rules for targets named gen-options # Build rule for target. gen-options: cmake_check_build_system $(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 gen-options .PHONY : gen-options # fast build rule for target. gen-options/fast: $(MAKE) $(MAKESILENT) -f src/CMakeFiles/gen-options.dir/build.make src/CMakeFiles/gen-options.dir/build .PHONY : gen-options/fast #============================================================================= # Target rules for targets named cvc5 # Build rule for target. cvc5: cmake_check_build_system $(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 cvc5 .PHONY : cvc5 # fast build rule for target. cvc5/fast: $(MAKE) $(MAKESILENT) -f src/CMakeFiles/cvc5.dir/build.make src/CMakeFiles/cvc5.dir/build .PHONY : cvc5/fast #============================================================================= # Target rules for targets named cvc5base # Build rule for target. cvc5base: cmake_check_build_system $(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 cvc5base .PHONY : cvc5base # fast build rule for target. cvc5base/fast: $(MAKE) $(MAKESILENT) -f src/base/CMakeFiles/cvc5base.dir/build.make src/base/CMakeFiles/cvc5base.dir/build .PHONY : cvc5base/fast #============================================================================= # Target rules for targets named gen-tags # Build rule for target. gen-tags: cmake_check_build_system $(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 gen-tags .PHONY : gen-tags # fast build rule for target. gen-tags/fast: $(MAKE) $(MAKESILENT) -f src/base/CMakeFiles/gen-tags.dir/build.make src/base/CMakeFiles/gen-tags.dir/build .PHONY : gen-tags/fast #============================================================================= # Target rules for targets named cvc5context # Build rule for target. cvc5context: cmake_check_build_system $(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 cvc5context .PHONY : cvc5context # fast build rule for target. cvc5context/fast: $(MAKE) $(MAKESILENT) -f src/context/CMakeFiles/cvc5context.dir/build.make src/context/CMakeFiles/cvc5context.dir/build .PHONY : cvc5context/fast #============================================================================= # Target rules for targets named gen-expr # Build rule for target. gen-expr: cmake_check_build_system $(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 gen-expr .PHONY : gen-expr # fast build rule for target. gen-expr/fast: $(MAKE) $(MAKESILENT) -f src/expr/CMakeFiles/gen-expr.dir/build.make src/expr/CMakeFiles/gen-expr.dir/build .PHONY : gen-expr/fast #============================================================================= # Target rules for targets named ANTLR3-EP-config.sub # Build rule for target. ANTLR3-EP-config.sub: cmake_check_build_system $(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 ANTLR3-EP-config.sub .PHONY : ANTLR3-EP-config.sub # fast build rule for target. ANTLR3-EP-config.sub/fast: $(MAKE) $(MAKESILENT) -f src/parser/CMakeFiles/ANTLR3-EP-config.sub.dir/build.make src/parser/CMakeFiles/ANTLR3-EP-config.sub.dir/build .PHONY : ANTLR3-EP-config.sub/fast #============================================================================= # Target rules for targets named ANTLR3-EP-config.guess # Build rule for target. ANTLR3-EP-config.guess: cmake_check_build_system $(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 ANTLR3-EP-config.guess .PHONY : ANTLR3-EP-config.guess # fast build rule for target. ANTLR3-EP-config.guess/fast: $(MAKE) $(MAKESILENT) -f src/parser/CMakeFiles/ANTLR3-EP-config.guess.dir/build.make src/parser/CMakeFiles/ANTLR3-EP-config.guess.dir/build .PHONY : ANTLR3-EP-config.guess/fast #============================================================================= # Target rules for targets named ANTLR3-EP-jar # Build rule for target. ANTLR3-EP-jar: cmake_check_build_system $(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 ANTLR3-EP-jar .PHONY : ANTLR3-EP-jar # fast build rule for target. ANTLR3-EP-jar/fast: $(MAKE) $(MAKESILENT) -f src/parser/CMakeFiles/ANTLR3-EP-jar.dir/build.make src/parser/CMakeFiles/ANTLR3-EP-jar.dir/build .PHONY : ANTLR3-EP-jar/fast #============================================================================= # Target rules for targets named ANTLR3-EP-runtime # Build rule for target. ANTLR3-EP-runtime: cmake_check_build_system $(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 ANTLR3-EP-runtime .PHONY : ANTLR3-EP-runtime # fast build rule for target. ANTLR3-EP-runtime/fast: $(MAKE) $(MAKESILENT) -f src/parser/CMakeFiles/ANTLR3-EP-runtime.dir/build.make src/parser/CMakeFiles/ANTLR3-EP-runtime.dir/build .PHONY : ANTLR3-EP-runtime/fast #============================================================================= # Target rules for targets named cvc5parser-objs # Build rule for target. cvc5parser-objs: cmake_check_build_system $(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 cvc5parser-objs .PHONY : cvc5parser-objs # fast build rule for target. cvc5parser-objs/fast: $(MAKE) $(MAKESILENT) -f src/parser/CMakeFiles/cvc5parser-objs.dir/build.make src/parser/CMakeFiles/cvc5parser-objs.dir/build .PHONY : cvc5parser-objs/fast #============================================================================= # Target rules for targets named cvc5parser # Build rule for target. cvc5parser: cmake_check_build_system $(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 cvc5parser .PHONY : cvc5parser # fast build rule for target. cvc5parser/fast: $(MAKE) $(MAKESILENT) -f src/parser/CMakeFiles/cvc5parser.dir/build.make src/parser/CMakeFiles/cvc5parser.dir/build .PHONY : cvc5parser/fast #============================================================================= # Target rules for targets named gen-theory # Build rule for target. gen-theory: cmake_check_build_system $(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 gen-theory .PHONY : gen-theory # fast build rule for target. gen-theory/fast: $(MAKE) $(MAKESILENT) -f src/theory/CMakeFiles/gen-theory.dir/build.make src/theory/CMakeFiles/gen-theory.dir/build .PHONY : gen-theory/fast #============================================================================= # Target rules for targets named main-test # Build rule for target. main-test: cmake_check_build_system $(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 main-test .PHONY : main-test # fast build rule for target. main-test/fast: $(MAKE) $(MAKESILENT) -f src/main/CMakeFiles/main-test.dir/build.make src/main/CMakeFiles/main-test.dir/build .PHONY : main-test/fast #============================================================================= # Target rules for targets named main # Build rule for target. main: cmake_check_build_system $(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 main .PHONY : main # fast build rule for target. main/fast: $(MAKE) $(MAKESILENT) -f src/main/CMakeFiles/main.dir/build.make src/main/CMakeFiles/main.dir/build .PHONY : main/fast #============================================================================= # Target rules for targets named cvc5-bin # Build rule for target. cvc5-bin: cmake_check_build_system $(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 cvc5-bin .PHONY : cvc5-bin # fast build rule for target. cvc5-bin/fast: $(MAKE) $(MAKESILENT) -f src/main/CMakeFiles/cvc5-bin.dir/build.make src/main/CMakeFiles/cvc5-bin.dir/build .PHONY : cvc5-bin/fast #============================================================================= # Target rules for targets named gen-tokens # Build rule for target. gen-tokens: cmake_check_build_system $(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 gen-tokens .PHONY : gen-tokens # fast build rule for target. gen-tokens/fast: $(MAKE) $(MAKESILENT) -f src/main/CMakeFiles/gen-tokens.dir/build.make src/main/CMakeFiles/gen-tokens.dir/build .PHONY : gen-tokens/fast #============================================================================= # Target rules for targets named check # Build rule for target. check: cmake_check_build_system $(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 check .PHONY : check # fast build rule for target. check/fast: $(MAKE) $(MAKESILENT) -f test/CMakeFiles/check.dir/build.make test/CMakeFiles/check.dir/build .PHONY : check/fast #============================================================================= # Target rules for targets named build-tests # Build rule for target. build-tests: cmake_check_build_system $(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 build-tests .PHONY : build-tests # fast build rule for target. build-tests/fast: $(MAKE) $(MAKESILENT) -f test/CMakeFiles/build-tests.dir/build.make test/CMakeFiles/build-tests.dir/build .PHONY : build-tests/fast #============================================================================= # Target rules for targets named regress-base # Build rule for target. regress-base: cmake_check_build_system $(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 regress-base .PHONY : regress-base # fast build rule for target. regress-base/fast: $(MAKE) $(MAKESILENT) -f test/regress/cli/CMakeFiles/regress-base.dir/build.make test/regress/cli/CMakeFiles/regress-base.dir/build .PHONY : regress-base/fast #============================================================================= # Target rules for targets named regress-model # Build rule for target. regress-model: cmake_check_build_system $(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 regress-model .PHONY : regress-model # fast build rule for target. regress-model/fast: $(MAKE) $(MAKESILENT) -f test/regress/cli/CMakeFiles/regress-model.dir/build.make test/regress/cli/CMakeFiles/regress-model.dir/build .PHONY : regress-model/fast #============================================================================= # Target rules for targets named regress-unsat-core # Build rule for target. regress-unsat-core: cmake_check_build_system $(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 regress-unsat-core .PHONY : regress-unsat-core # fast build rule for target. regress-unsat-core/fast: $(MAKE) $(MAKESILENT) -f test/regress/cli/CMakeFiles/regress-unsat-core.dir/build.make test/regress/cli/CMakeFiles/regress-unsat-core.dir/build .PHONY : regress-unsat-core/fast #============================================================================= # Target rules for targets named regress-proof # Build rule for target. regress-proof: cmake_check_build_system $(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 regress-proof .PHONY : regress-proof # fast build rule for target. regress-proof/fast: $(MAKE) $(MAKESILENT) -f test/regress/cli/CMakeFiles/regress-proof.dir/build.make test/regress/cli/CMakeFiles/regress-proof.dir/build .PHONY : regress-proof/fast #============================================================================= # Target rules for targets named regress-all # Build rule for target. regress-all: cmake_check_build_system $(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 regress-all .PHONY : regress-all # fast build rule for target. regress-all/fast: $(MAKE) $(MAKESILENT) -f test/regress/cli/CMakeFiles/regress-all.dir/build.make test/regress/cli/CMakeFiles/regress-all.dir/build .PHONY : regress-all/fast #============================================================================= # Target rules for targets named regress-synth # Build rule for target. regress-synth: cmake_check_build_system $(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 regress-synth .PHONY : regress-synth # fast build rule for target. regress-synth/fast: $(MAKE) $(MAKESILENT) -f test/regress/cli/CMakeFiles/regress-synth.dir/build.make test/regress/cli/CMakeFiles/regress-synth.dir/build .PHONY : regress-synth/fast #============================================================================= # Target rules for targets named regress-abduct # Build rule for target. regress-abduct: cmake_check_build_system $(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 regress-abduct .PHONY : regress-abduct # fast build rule for target. regress-abduct/fast: $(MAKE) $(MAKESILENT) -f test/regress/cli/CMakeFiles/regress-abduct.dir/build.make test/regress/cli/CMakeFiles/regress-abduct.dir/build .PHONY : regress-abduct/fast #============================================================================= # Target rules for targets named build-regress # Build rule for target. build-regress: cmake_check_build_system $(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 build-regress .PHONY : build-regress # fast build rule for target. build-regress/fast: $(MAKE) $(MAKESILENT) -f test/regress/cli/CMakeFiles/build-regress.dir/build.make test/regress/cli/CMakeFiles/build-regress.dir/build .PHONY : build-regress/fast #============================================================================= # Target rules for targets named regress # Build rule for target. regress: cmake_check_build_system $(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 regress .PHONY : regress # fast build rule for target. regress/fast: $(MAKE) $(MAKESILENT) -f test/regress/cli/CMakeFiles/regress.dir/build.make test/regress/cli/CMakeFiles/regress.dir/build .PHONY : regress/fast #============================================================================= # Target rules for targets named regress-lfsc # Build rule for target. regress-lfsc: cmake_check_build_system $(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 regress-lfsc .PHONY : regress-lfsc # fast build rule for target. regress-lfsc/fast: $(MAKE) $(MAKESILENT) -f test/regress/cli/CMakeFiles/regress-lfsc.dir/build.make test/regress/cli/CMakeFiles/regress-lfsc.dir/build .PHONY : regress-lfsc/fast #============================================================================= # Target rules for targets named regress-dump # Build rule for target. regress-dump: cmake_check_build_system $(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 regress-dump .PHONY : regress-dump # fast build rule for target. regress-dump/fast: $(MAKE) $(MAKESILENT) -f test/regress/cli/CMakeFiles/regress-dump.dir/build.make test/regress/cli/CMakeFiles/regress-dump.dir/build .PHONY : regress-dump/fast #============================================================================= # Target rules for targets named proj-issue484 # Build rule for target. proj-issue484: cmake_check_build_system $(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 proj-issue484 .PHONY : proj-issue484 # fast build rule for target. proj-issue484/fast: $(MAKE) $(MAKESILENT) -f test/api/cpp/CMakeFiles/proj-issue484.dir/build.make test/api/cpp/CMakeFiles/proj-issue484.dir/build .PHONY : proj-issue484/fast #============================================================================= # Target rules for targets named proj-issue445 # Build rule for target. proj-issue445: cmake_check_build_system $(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 proj-issue445 .PHONY : proj-issue445 # fast build rule for target. proj-issue445/fast: $(MAKE) $(MAKESILENT) -f test/api/cpp/CMakeFiles/proj-issue445.dir/build.make test/api/cpp/CMakeFiles/proj-issue445.dir/build .PHONY : proj-issue445/fast #============================================================================= # Target rules for targets named proj-issue399 # Build rule for target. proj-issue399: cmake_check_build_system $(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 proj-issue399 .PHONY : proj-issue399 # fast build rule for target. proj-issue399/fast: $(MAKE) $(MAKESILENT) -f test/api/cpp/CMakeFiles/proj-issue399.dir/build.make test/api/cpp/CMakeFiles/proj-issue399.dir/build .PHONY : proj-issue399/fast #============================================================================= # Target rules for targets named proj-issue388 # Build rule for target. proj-issue388: cmake_check_build_system $(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 proj-issue388 .PHONY : proj-issue388 # fast build rule for target. proj-issue388/fast: $(MAKE) $(MAKESILENT) -f test/api/cpp/CMakeFiles/proj-issue388.dir/build.make test/api/cpp/CMakeFiles/proj-issue388.dir/build .PHONY : proj-issue388/fast #============================================================================= # Target rules for targets named reset_assertions # Build rule for target. reset_assertions: cmake_check_build_system $(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 reset_assertions .PHONY : reset_assertions # fast build rule for target. reset_assertions/fast: $(MAKE) $(MAKESILENT) -f test/api/cpp/CMakeFiles/reset_assertions.dir/build.make test/api/cpp/CMakeFiles/reset_assertions.dir/build .PHONY : reset_assertions/fast #============================================================================= # Target rules for targets named sep_log_api # Build rule for target. sep_log_api: cmake_check_build_system $(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 sep_log_api .PHONY : sep_log_api # fast build rule for target. sep_log_api/fast: $(MAKE) $(MAKESILENT) -f test/api/cpp/CMakeFiles/sep_log_api.dir/build.make test/api/cpp/CMakeFiles/sep_log_api.dir/build .PHONY : sep_log_api/fast #============================================================================= # Target rules for targets named proj-issue395 # Build rule for target. proj-issue395: cmake_check_build_system $(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 proj-issue395 .PHONY : proj-issue395 # fast build rule for target. proj-issue395/fast: $(MAKE) $(MAKESILENT) -f test/api/cpp/CMakeFiles/proj-issue395.dir/build.make test/api/cpp/CMakeFiles/proj-issue395.dir/build .PHONY : proj-issue395/fast #============================================================================= # Target rules for targets named apitests # Build rule for target. apitests: cmake_check_build_system $(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 apitests .PHONY : apitests # fast build rule for target. apitests/fast: $(MAKE) $(MAKESILENT) -f test/api/cpp/CMakeFiles/apitests.dir/build.make test/api/cpp/CMakeFiles/apitests.dir/build .PHONY : apitests/fast #============================================================================= # Target rules for targets named ouroborous # Build rule for target. ouroborous: cmake_check_build_system $(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 ouroborous .PHONY : ouroborous # fast build rule for target. ouroborous/fast: $(MAKE) $(MAKESILENT) -f test/api/cpp/CMakeFiles/ouroborous.dir/build.make test/api/cpp/CMakeFiles/ouroborous.dir/build .PHONY : ouroborous/fast #============================================================================= # Target rules for targets named boilerplate # Build rule for target. boilerplate: cmake_check_build_system $(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 boilerplate .PHONY : boilerplate # fast build rule for target. boilerplate/fast: $(MAKE) $(MAKESILENT) -f test/api/cpp/CMakeFiles/boilerplate.dir/build.make test/api/cpp/CMakeFiles/boilerplate.dir/build .PHONY : boilerplate/fast #============================================================================= # Target rules for targets named issue4889 # Build rule for target. issue4889: cmake_check_build_system $(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 issue4889 .PHONY : issue4889 # fast build rule for target. issue4889/fast: $(MAKE) $(MAKESILENT) -f test/api/cpp/CMakeFiles/issue4889.dir/build.make test/api/cpp/CMakeFiles/issue4889.dir/build .PHONY : issue4889/fast #============================================================================= # Target rules for targets named smt2_compliance # Build rule for target. smt2_compliance: cmake_check_build_system $(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 smt2_compliance .PHONY : smt2_compliance # fast build rule for target. smt2_compliance/fast: $(MAKE) $(MAKESILENT) -f test/api/cpp/CMakeFiles/smt2_compliance.dir/build.make test/api/cpp/CMakeFiles/smt2_compliance.dir/build .PHONY : smt2_compliance/fast #============================================================================= # Target rules for targets named proj-issue455 # Build rule for target. proj-issue455: cmake_check_build_system $(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 proj-issue455 .PHONY : proj-issue455 # fast build rule for target. proj-issue455/fast: $(MAKE) $(MAKESILENT) -f test/api/cpp/CMakeFiles/proj-issue455.dir/build.make test/api/cpp/CMakeFiles/proj-issue455.dir/build .PHONY : proj-issue455/fast #============================================================================= # Target rules for targets named issue6111 # Build rule for target. issue6111: cmake_check_build_system $(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 issue6111 .PHONY : issue6111 # fast build rule for target. issue6111/fast: $(MAKE) $(MAKESILENT) -f test/api/cpp/CMakeFiles/issue6111.dir/build.make test/api/cpp/CMakeFiles/issue6111.dir/build .PHONY : issue6111/fast #============================================================================= # Target rules for targets named proj-issue421 # Build rule for target. proj-issue421: cmake_check_build_system $(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 proj-issue421 .PHONY : proj-issue421 # fast build rule for target. proj-issue421/fast: $(MAKE) $(MAKESILENT) -f test/api/cpp/CMakeFiles/proj-issue421.dir/build.make test/api/cpp/CMakeFiles/proj-issue421.dir/build .PHONY : proj-issue421/fast #============================================================================= # Target rules for targets named two_solvers # Build rule for target. two_solvers: cmake_check_build_system $(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 two_solvers .PHONY : two_solvers # fast build rule for target. two_solvers/fast: $(MAKE) $(MAKESILENT) -f test/api/cpp/CMakeFiles/two_solvers.dir/build.make test/api/cpp/CMakeFiles/two_solvers.dir/build .PHONY : two_solvers/fast #============================================================================= # Target rules for targets named build-apitests # Build rule for target. build-apitests: cmake_check_build_system $(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 build-apitests .PHONY : build-apitests # fast build rule for target. build-apitests/fast: $(MAKE) $(MAKESILENT) -f test/api/cpp/CMakeFiles/build-apitests.dir/build.make test/api/cpp/CMakeFiles/build-apitests.dir/build .PHONY : build-apitests/fast #============================================================================= # Target rules for targets named proj-issue306 # Build rule for target. proj-issue306: cmake_check_build_system $(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 proj-issue306 .PHONY : proj-issue306 # fast build rule for target. proj-issue306/fast: $(MAKE) $(MAKESILENT) -f test/api/cpp/CMakeFiles/proj-issue306.dir/build.make test/api/cpp/CMakeFiles/proj-issue306.dir/build .PHONY : proj-issue306/fast #============================================================================= # Target rules for targets named issue5074 # Build rule for target. issue5074: cmake_check_build_system $(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 issue5074 .PHONY : issue5074 # fast build rule for target. issue5074/fast: $(MAKE) $(MAKESILENT) -f test/api/cpp/CMakeFiles/issue5074.dir/build.make test/api/cpp/CMakeFiles/issue5074.dir/build .PHONY : issue5074/fast #============================================================================= # Target rules for targets named proj-issue334 # Build rule for target. proj-issue334: cmake_check_build_system $(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 proj-issue334 .PHONY : proj-issue334 # fast build rule for target. proj-issue334/fast: $(MAKE) $(MAKESILENT) -f test/api/cpp/CMakeFiles/proj-issue334.dir/build.make test/api/cpp/CMakeFiles/proj-issue334.dir/build .PHONY : proj-issue334/fast #============================================================================= # Target rules for targets named proj-issue344 # Build rule for target. proj-issue344: cmake_check_build_system $(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 proj-issue344 .PHONY : proj-issue344 # fast build rule for target. proj-issue344/fast: $(MAKE) $(MAKESILENT) -f test/api/cpp/CMakeFiles/proj-issue344.dir/build.make test/api/cpp/CMakeFiles/proj-issue344.dir/build .PHONY : proj-issue344/fast #============================================================================= # Target rules for targets named proj-issue345 # Build rule for target. proj-issue345: cmake_check_build_system $(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 proj-issue345 .PHONY : proj-issue345 # fast build rule for target. proj-issue345/fast: $(MAKE) $(MAKESILENT) -f test/api/cpp/CMakeFiles/proj-issue345.dir/build.make test/api/cpp/CMakeFiles/proj-issue345.dir/build .PHONY : proj-issue345/fast #============================================================================= # Target rules for targets named proj-issue377 # Build rule for target. proj-issue377: cmake_check_build_system $(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 proj-issue377 .PHONY : proj-issue377 # fast build rule for target. proj-issue377/fast: $(MAKE) $(MAKESILENT) -f test/api/cpp/CMakeFiles/proj-issue377.dir/build.make test/api/cpp/CMakeFiles/proj-issue377.dir/build .PHONY : proj-issue377/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 "... test" @echo "... ANTLR3-EP-config.guess" @echo "... ANTLR3-EP-config.sub" @echo "... ANTLR3-EP-jar" @echo "... ANTLR3-EP-runtime" @echo "... CaDiCaL-EP" @echo "... Murxla-EP" @echo "... Poly-EP" @echo "... SymFPU-EP" @echo "... apitests" @echo "... build-apitests" @echo "... build-regress" @echo "... build-tests" @echo "... check" @echo "... fuzz-murxla" @echo "... gen-expr" @echo "... gen-options" @echo "... gen-tags" @echo "... gen-theory" @echo "... gen-tokens" @echo "... gen-versioninfo" @echo "... install-for-murxla" @echo "... regress" @echo "... regress-abduct" @echo "... regress-all" @echo "... regress-base" @echo "... regress-dump" @echo "... regress-lfsc" @echo "... regress-model" @echo "... regress-proof" @echo "... regress-synth" @echo "... regress-unsat-core" @echo "... target-graphs" @echo "... boilerplate" @echo "... cvc5" @echo "... cvc5-bin" @echo "... cvc5-obj" @echo "... cvc5base" @echo "... cvc5context" @echo "... cvc5parser" @echo "... cvc5parser-objs" @echo "... issue4889" @echo "... issue5074" @echo "... issue6111" @echo "... main" @echo "... main-test" @echo "... ouroborous" @echo "... proj-issue306" @echo "... proj-issue334" @echo "... proj-issue344" @echo "... proj-issue345" @echo "... proj-issue377" @echo "... proj-issue388" @echo "... proj-issue395" @echo "... proj-issue399" @echo "... proj-issue421" @echo "... proj-issue445" @echo "... proj-issue455" @echo "... proj-issue484" @echo "... reset_assertions" @echo "... sep_log_api" @echo "... smt2_compliance" @echo "... two_solvers" .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