diff options
Diffstat (limited to 'cryptominisat5/build/CMakeFiles/Makefile2')
| -rw-r--r-- | cryptominisat5/build/CMakeFiles/Makefile2 | 236 |
1 files changed, 0 insertions, 236 deletions
diff --git a/cryptominisat5/build/CMakeFiles/Makefile2 b/cryptominisat5/build/CMakeFiles/Makefile2 deleted file mode 100644 index 486f41066..000000000 --- a/cryptominisat5/build/CMakeFiles/Makefile2 +++ /dev/null @@ -1,236 +0,0 @@ -# CMAKE generated file: DO NOT EDIT! -# Generated by "Unix Makefiles" Generator, CMake Version 3.10 - -# Default target executed when no arguments are given to make. -default_target: all - -.PHONY : default_target - -# The main recursive all target -all: - -.PHONY : all - -# The main recursive preinstall target -preinstall: - -.PHONY : preinstall - -#============================================================================= -# Special targets provided by cmake. - -# Disable implicit rules so canonical targets will work. -.SUFFIXES: - - -# Remove some rules from gmake that .SUFFIXES does not remove. -SUFFIXES = - -.SUFFIXES: .hpux_make_needs_suffix_list - - -# 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 remove -f - -# Escaping for special characters. -EQUALS = = - -# The top-level source directory on which CMake was run. -CMAKE_SOURCE_DIR = /home/haozewu/Projects/CVC4/cryptominisat5/cryptominisat-5.6.3 - -# The top-level build directory on which CMake was run. -CMAKE_BINARY_DIR = /home/haozewu/Projects/CVC4/cryptominisat5/build - -#============================================================================= -# Target rules for target CMakeFiles/uninstall.dir - -# All Build rule for target. -CMakeFiles/uninstall.dir/all: - $(MAKE) -f CMakeFiles/uninstall.dir/build.make CMakeFiles/uninstall.dir/depend - $(MAKE) -f CMakeFiles/uninstall.dir/build.make CMakeFiles/uninstall.dir/build - @$(CMAKE_COMMAND) -E cmake_echo_color --switch=$(COLOR) --progress-dir=/home/haozewu/Projects/CVC4/cryptominisat5/build/CMakeFiles --progress-num= "Built target uninstall" -.PHONY : CMakeFiles/uninstall.dir/all - -# Build rule for subdir invocation for target. -CMakeFiles/uninstall.dir/rule: cmake_check_build_system - $(CMAKE_COMMAND) -E cmake_progress_start /home/haozewu/Projects/CVC4/cryptominisat5/build/CMakeFiles 0 - $(MAKE) -f CMakeFiles/Makefile2 CMakeFiles/uninstall.dir/all - $(CMAKE_COMMAND) -E cmake_progress_start /home/haozewu/Projects/CVC4/cryptominisat5/build/CMakeFiles 0 -.PHONY : CMakeFiles/uninstall.dir/rule - -# Convenience name for target. -uninstall: CMakeFiles/uninstall.dir/rule - -.PHONY : uninstall - -# clean rule for target. -CMakeFiles/uninstall.dir/clean: - $(MAKE) -f CMakeFiles/uninstall.dir/build.make CMakeFiles/uninstall.dir/clean -.PHONY : CMakeFiles/uninstall.dir/clean - -# clean rule for target. -clean: CMakeFiles/uninstall.dir/clean - -.PHONY : clean - -#============================================================================= -# Directory level rules for directory cmsat5-src - -# Convenience name for "all" pass in the directory. -cmsat5-src/all: cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/all -cmsat5-src/all: cmsat5-src/CMakeFiles/cryptominisat5_simple.dir/all -cmsat5-src/all: cmsat5-src/CMakeFiles/libcryptominisat5.dir/all - -.PHONY : cmsat5-src/all - -# Convenience name for "clean" pass in the directory. -cmsat5-src/clean: cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/clean -cmsat5-src/clean: cmsat5-src/CMakeFiles/cryptominisat5_simple.dir/clean -cmsat5-src/clean: cmsat5-src/CMakeFiles/libcryptominisat5.dir/clean - -.PHONY : cmsat5-src/clean - -# Convenience name for "preinstall" pass in the directory. -cmsat5-src/preinstall: - -.PHONY : cmsat5-src/preinstall - -#============================================================================= -# Target rules for target cmsat5-src/CMakeFiles/CopyPublicHeaders.dir - -# All Build rule for target. -cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/all: - $(MAKE) -f cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/build.make cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/depend - $(MAKE) -f cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/build.make cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/build - @$(CMAKE_COMMAND) -E cmake_echo_color --switch=$(COLOR) --progress-dir=/home/haozewu/Projects/CVC4/cryptominisat5/build/CMakeFiles --progress-num= "Built target CopyPublicHeaders" -.PHONY : cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/all - -# Include target in all. -all: cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/all - -.PHONY : all - -# Build rule for subdir invocation for target. -cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/rule: cmake_check_build_system - $(CMAKE_COMMAND) -E cmake_progress_start /home/haozewu/Projects/CVC4/cryptominisat5/build/CMakeFiles 0 - $(MAKE) -f CMakeFiles/Makefile2 cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/all - $(CMAKE_COMMAND) -E cmake_progress_start /home/haozewu/Projects/CVC4/cryptominisat5/build/CMakeFiles 0 -.PHONY : cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/rule - -# Convenience name for target. -CopyPublicHeaders: cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/rule - -.PHONY : CopyPublicHeaders - -# clean rule for target. -cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/clean: - $(MAKE) -f cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/build.make cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/clean -.PHONY : cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/clean - -# clean rule for target. -clean: cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/clean - -.PHONY : clean - -#============================================================================= -# Target rules for target cmsat5-src/CMakeFiles/cryptominisat5_simple.dir - -# All Build rule for target. -cmsat5-src/CMakeFiles/cryptominisat5_simple.dir/all: cmsat5-src/CMakeFiles/libcryptominisat5.dir/all - $(MAKE) -f cmsat5-src/CMakeFiles/cryptominisat5_simple.dir/build.make cmsat5-src/CMakeFiles/cryptominisat5_simple.dir/depend - $(MAKE) -f cmsat5-src/CMakeFiles/cryptominisat5_simple.dir/build.make cmsat5-src/CMakeFiles/cryptominisat5_simple.dir/build - @$(CMAKE_COMMAND) -E cmake_echo_color --switch=$(COLOR) --progress-dir=/home/haozewu/Projects/CVC4/cryptominisat5/build/CMakeFiles --progress-num=1,2 "Built target cryptominisat5_simple" -.PHONY : cmsat5-src/CMakeFiles/cryptominisat5_simple.dir/all - -# Include target in all. -all: cmsat5-src/CMakeFiles/cryptominisat5_simple.dir/all - -.PHONY : all - -# Build rule for subdir invocation for target. -cmsat5-src/CMakeFiles/cryptominisat5_simple.dir/rule: cmake_check_build_system - $(CMAKE_COMMAND) -E cmake_progress_start /home/haozewu/Projects/CVC4/cryptominisat5/build/CMakeFiles 41 - $(MAKE) -f CMakeFiles/Makefile2 cmsat5-src/CMakeFiles/cryptominisat5_simple.dir/all - $(CMAKE_COMMAND) -E cmake_progress_start /home/haozewu/Projects/CVC4/cryptominisat5/build/CMakeFiles 0 -.PHONY : cmsat5-src/CMakeFiles/cryptominisat5_simple.dir/rule - -# Convenience name for target. -cryptominisat5_simple: cmsat5-src/CMakeFiles/cryptominisat5_simple.dir/rule - -.PHONY : cryptominisat5_simple - -# clean rule for target. -cmsat5-src/CMakeFiles/cryptominisat5_simple.dir/clean: - $(MAKE) -f cmsat5-src/CMakeFiles/cryptominisat5_simple.dir/build.make cmsat5-src/CMakeFiles/cryptominisat5_simple.dir/clean -.PHONY : cmsat5-src/CMakeFiles/cryptominisat5_simple.dir/clean - -# clean rule for target. -clean: cmsat5-src/CMakeFiles/cryptominisat5_simple.dir/clean - -.PHONY : clean - -#============================================================================= -# Target rules for target cmsat5-src/CMakeFiles/libcryptominisat5.dir - -# All Build rule for target. -cmsat5-src/CMakeFiles/libcryptominisat5.dir/all: - $(MAKE) -f cmsat5-src/CMakeFiles/libcryptominisat5.dir/build.make cmsat5-src/CMakeFiles/libcryptominisat5.dir/depend - $(MAKE) -f cmsat5-src/CMakeFiles/libcryptominisat5.dir/build.make cmsat5-src/CMakeFiles/libcryptominisat5.dir/build - @$(CMAKE_COMMAND) -E cmake_echo_color --switch=$(COLOR) --progress-dir=/home/haozewu/Projects/CVC4/cryptominisat5/build/CMakeFiles --progress-num=3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,37,38,39,40,41 "Built target libcryptominisat5" -.PHONY : cmsat5-src/CMakeFiles/libcryptominisat5.dir/all - -# Include target in all. -all: cmsat5-src/CMakeFiles/libcryptominisat5.dir/all - -.PHONY : all - -# Build rule for subdir invocation for target. -cmsat5-src/CMakeFiles/libcryptominisat5.dir/rule: cmake_check_build_system - $(CMAKE_COMMAND) -E cmake_progress_start /home/haozewu/Projects/CVC4/cryptominisat5/build/CMakeFiles 39 - $(MAKE) -f CMakeFiles/Makefile2 cmsat5-src/CMakeFiles/libcryptominisat5.dir/all - $(CMAKE_COMMAND) -E cmake_progress_start /home/haozewu/Projects/CVC4/cryptominisat5/build/CMakeFiles 0 -.PHONY : cmsat5-src/CMakeFiles/libcryptominisat5.dir/rule - -# Convenience name for target. -libcryptominisat5: cmsat5-src/CMakeFiles/libcryptominisat5.dir/rule - -.PHONY : libcryptominisat5 - -# clean rule for target. -cmsat5-src/CMakeFiles/libcryptominisat5.dir/clean: - $(MAKE) -f cmsat5-src/CMakeFiles/libcryptominisat5.dir/build.make cmsat5-src/CMakeFiles/libcryptominisat5.dir/clean -.PHONY : cmsat5-src/CMakeFiles/libcryptominisat5.dir/clean - -# clean rule for target. -clean: cmsat5-src/CMakeFiles/libcryptominisat5.dir/clean - -.PHONY : clean - -#============================================================================= -# 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) -H$(CMAKE_SOURCE_DIR) -B$(CMAKE_BINARY_DIR) --check-build-system CMakeFiles/Makefile.cmake 0 -.PHONY : cmake_check_build_system - |