# CMAKE generated file: DO NOT EDIT!
# Generated by "Unix Makefiles" Generator, CMake Version 3.22

# Default target executed when no arguments are given to make.
default_target: all
.PHONY : default_target

#=============================================================================
# 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 = /u/58/lehtont20/unix/Documents/work/iccma25_submissions/acbar/mu-toksia-multiquery/lib/cryptominisat-5.8.0

# The top-level build directory on which CMake was run.
CMAKE_BINARY_DIR = /u/58/lehtont20/unix/Documents/work/iccma25_submissions/acbar/mu-toksia-multiquery/lib/cryptominisat-5.8.0/build

#=============================================================================
# Directory level rules for the build root directory

# The main recursive "all" target.
all: cmsat5-src/all
all: pycryptosat/all
.PHONY : all

# The main recursive "preinstall" target.
preinstall: cmsat5-src/preinstall
preinstall: pycryptosat/preinstall
.PHONY : preinstall

# The main recursive "clean" target.
clean: CMakeFiles/uninstall.dir/clean
clean: cmsat5-src/clean
clean: pycryptosat/clean
.PHONY : clean

#=============================================================================
# Directory level rules for directory cmsat5-src

# Recursive "all" directory target.
cmsat5-src/all: cmsat5-src/CMakeFiles/cryptominisat5.dir/all
cmsat5-src/all: cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/all
cmsat5-src/all: cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/all
cmsat5-src/all: cmsat5-src/CMakeFiles/cryptominisat5_simple-bin.dir/all
.PHONY : cmsat5-src/all

# Recursive "preinstall" directory target.
cmsat5-src/preinstall:
.PHONY : cmsat5-src/preinstall

# Recursive "clean" directory target.
cmsat5-src/clean: cmsat5-src/CMakeFiles/cryptominisat5.dir/clean
cmsat5-src/clean: cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/clean
cmsat5-src/clean: cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/clean
cmsat5-src/clean: cmsat5-src/CMakeFiles/cryptominisat5_simple-bin.dir/clean
.PHONY : cmsat5-src/clean

#=============================================================================
# Directory level rules for directory pycryptosat

# Recursive "all" directory target.
pycryptosat/all: pycryptosat/CMakeFiles/python_interface.dir/all
.PHONY : pycryptosat/all

# Recursive "preinstall" directory target.
pycryptosat/preinstall:
.PHONY : pycryptosat/preinstall

# Recursive "clean" directory target.
pycryptosat/clean: pycryptosat/CMakeFiles/python_interface.dir/clean
pycryptosat/clean: pycryptosat/CMakeFiles/uninstall_pycyrptosat.dir/clean
.PHONY : pycryptosat/clean

#=============================================================================
# Target rules for target CMakeFiles/uninstall.dir

# All Build rule for target.
CMakeFiles/uninstall.dir/all: pycryptosat/CMakeFiles/uninstall_pycyrptosat.dir/all
	$(MAKE) $(MAKESILENT) -f CMakeFiles/uninstall.dir/build.make CMakeFiles/uninstall.dir/depend
	$(MAKE) $(MAKESILENT) -f CMakeFiles/uninstall.dir/build.make CMakeFiles/uninstall.dir/build
	@$(CMAKE_COMMAND) -E cmake_echo_color --switch=$(COLOR) --progress-dir=/u/58/lehtont20/unix/Documents/work/iccma25_submissions/acbar/mu-toksia-multiquery/lib/cryptominisat-5.8.0/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 /u/58/lehtont20/unix/Documents/work/iccma25_submissions/acbar/mu-toksia-multiquery/lib/cryptominisat-5.8.0/build/CMakeFiles 0
	$(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 CMakeFiles/uninstall.dir/all
	$(CMAKE_COMMAND) -E cmake_progress_start /u/58/lehtont20/unix/Documents/work/iccma25_submissions/acbar/mu-toksia-multiquery/lib/cryptominisat-5.8.0/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) $(MAKESILENT) -f CMakeFiles/uninstall.dir/build.make CMakeFiles/uninstall.dir/clean
.PHONY : CMakeFiles/uninstall.dir/clean

#=============================================================================
# Target rules for target cmsat5-src/CMakeFiles/cryptominisat5.dir

# All Build rule for target.
cmsat5-src/CMakeFiles/cryptominisat5.dir/all:
	$(MAKE) $(MAKESILENT) -f cmsat5-src/CMakeFiles/cryptominisat5.dir/build.make cmsat5-src/CMakeFiles/cryptominisat5.dir/depend
	$(MAKE) $(MAKESILENT) -f cmsat5-src/CMakeFiles/cryptominisat5.dir/build.make cmsat5-src/CMakeFiles/cryptominisat5.dir/build
	@$(CMAKE_COMMAND) -E cmake_echo_color --switch=$(COLOR) --progress-dir=/u/58/lehtont20/unix/Documents/work/iccma25_submissions/acbar/mu-toksia-multiquery/lib/cryptominisat-5.8.0/build/CMakeFiles --progress-num=1,2,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,42,43,44,45,46,47,48 "Built target cryptominisat5"
.PHONY : cmsat5-src/CMakeFiles/cryptominisat5.dir/all

# Build rule for subdir invocation for target.
cmsat5-src/CMakeFiles/cryptominisat5.dir/rule: cmake_check_build_system
	$(CMAKE_COMMAND) -E cmake_progress_start /u/58/lehtont20/unix/Documents/work/iccma25_submissions/acbar/mu-toksia-multiquery/lib/cryptominisat-5.8.0/build/CMakeFiles 48
	$(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 cmsat5-src/CMakeFiles/cryptominisat5.dir/all
	$(CMAKE_COMMAND) -E cmake_progress_start /u/58/lehtont20/unix/Documents/work/iccma25_submissions/acbar/mu-toksia-multiquery/lib/cryptominisat-5.8.0/build/CMakeFiles 0
.PHONY : cmsat5-src/CMakeFiles/cryptominisat5.dir/rule

# Convenience name for target.
cryptominisat5: cmsat5-src/CMakeFiles/cryptominisat5.dir/rule
.PHONY : cryptominisat5

# clean rule for target.
cmsat5-src/CMakeFiles/cryptominisat5.dir/clean:
	$(MAKE) $(MAKESILENT) -f cmsat5-src/CMakeFiles/cryptominisat5.dir/build.make cmsat5-src/CMakeFiles/cryptominisat5.dir/clean
.PHONY : cmsat5-src/CMakeFiles/cryptominisat5.dir/clean

#=============================================================================
# Target rules for target cmsat5-src/CMakeFiles/CopyPublicHeaders.dir

# All Build rule for target.
cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/all:
	$(MAKE) $(MAKESILENT) -f cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/build.make cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/depend
	$(MAKE) $(MAKESILENT) -f cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/build.make cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/build
	@$(CMAKE_COMMAND) -E cmake_echo_color --switch=$(COLOR) --progress-dir=/u/58/lehtont20/unix/Documents/work/iccma25_submissions/acbar/mu-toksia-multiquery/lib/cryptominisat-5.8.0/build/CMakeFiles --progress-num= "Built target CopyPublicHeaders"
.PHONY : cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/all

# Build rule for subdir invocation for target.
cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/rule: cmake_check_build_system
	$(CMAKE_COMMAND) -E cmake_progress_start /u/58/lehtont20/unix/Documents/work/iccma25_submissions/acbar/mu-toksia-multiquery/lib/cryptominisat-5.8.0/build/CMakeFiles 0
	$(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/all
	$(CMAKE_COMMAND) -E cmake_progress_start /u/58/lehtont20/unix/Documents/work/iccma25_submissions/acbar/mu-toksia-multiquery/lib/cryptominisat-5.8.0/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) $(MAKESILENT) -f cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/build.make cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/clean
.PHONY : cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/clean

#=============================================================================
# Target rules for target cmsat5-src/CMakeFiles/cryptominisat5-bin.dir

# All Build rule for target.
cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/all: cmsat5-src/CMakeFiles/cryptominisat5.dir/all
	$(MAKE) $(MAKESILENT) -f cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/build.make cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/depend
	$(MAKE) $(MAKESILENT) -f cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/build.make cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/build
	@$(CMAKE_COMMAND) -E cmake_echo_color --switch=$(COLOR) --progress-dir=/u/58/lehtont20/unix/Documents/work/iccma25_submissions/acbar/mu-toksia-multiquery/lib/cryptominisat-5.8.0/build/CMakeFiles --progress-num=49,50,51,52,53 "Built target cryptominisat5-bin"
.PHONY : cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/all

# Build rule for subdir invocation for target.
cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/rule: cmake_check_build_system
	$(CMAKE_COMMAND) -E cmake_progress_start /u/58/lehtont20/unix/Documents/work/iccma25_submissions/acbar/mu-toksia-multiquery/lib/cryptominisat-5.8.0/build/CMakeFiles 53
	$(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/all
	$(CMAKE_COMMAND) -E cmake_progress_start /u/58/lehtont20/unix/Documents/work/iccma25_submissions/acbar/mu-toksia-multiquery/lib/cryptominisat-5.8.0/build/CMakeFiles 0
.PHONY : cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/rule

# Convenience name for target.
cryptominisat5-bin: cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/rule
.PHONY : cryptominisat5-bin

# clean rule for target.
cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/clean:
	$(MAKE) $(MAKESILENT) -f cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/build.make cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/clean
.PHONY : cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/clean

#=============================================================================
# Target rules for target cmsat5-src/CMakeFiles/cryptominisat5_simple-bin.dir

# All Build rule for target.
cmsat5-src/CMakeFiles/cryptominisat5_simple-bin.dir/all: cmsat5-src/CMakeFiles/cryptominisat5.dir/all
	$(MAKE) $(MAKESILENT) -f cmsat5-src/CMakeFiles/cryptominisat5_simple-bin.dir/build.make cmsat5-src/CMakeFiles/cryptominisat5_simple-bin.dir/depend
	$(MAKE) $(MAKESILENT) -f cmsat5-src/CMakeFiles/cryptominisat5_simple-bin.dir/build.make cmsat5-src/CMakeFiles/cryptominisat5_simple-bin.dir/build
	@$(CMAKE_COMMAND) -E cmake_echo_color --switch=$(COLOR) --progress-dir=/u/58/lehtont20/unix/Documents/work/iccma25_submissions/acbar/mu-toksia-multiquery/lib/cryptominisat-5.8.0/build/CMakeFiles --progress-num=54,55,56 "Built target cryptominisat5_simple-bin"
.PHONY : cmsat5-src/CMakeFiles/cryptominisat5_simple-bin.dir/all

# Build rule for subdir invocation for target.
cmsat5-src/CMakeFiles/cryptominisat5_simple-bin.dir/rule: cmake_check_build_system
	$(CMAKE_COMMAND) -E cmake_progress_start /u/58/lehtont20/unix/Documents/work/iccma25_submissions/acbar/mu-toksia-multiquery/lib/cryptominisat-5.8.0/build/CMakeFiles 51
	$(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 cmsat5-src/CMakeFiles/cryptominisat5_simple-bin.dir/all
	$(CMAKE_COMMAND) -E cmake_progress_start /u/58/lehtont20/unix/Documents/work/iccma25_submissions/acbar/mu-toksia-multiquery/lib/cryptominisat-5.8.0/build/CMakeFiles 0
.PHONY : cmsat5-src/CMakeFiles/cryptominisat5_simple-bin.dir/rule

# Convenience name for target.
cryptominisat5_simple-bin: cmsat5-src/CMakeFiles/cryptominisat5_simple-bin.dir/rule
.PHONY : cryptominisat5_simple-bin

# clean rule for target.
cmsat5-src/CMakeFiles/cryptominisat5_simple-bin.dir/clean:
	$(MAKE) $(MAKESILENT) -f cmsat5-src/CMakeFiles/cryptominisat5_simple-bin.dir/build.make cmsat5-src/CMakeFiles/cryptominisat5_simple-bin.dir/clean
.PHONY : cmsat5-src/CMakeFiles/cryptominisat5_simple-bin.dir/clean

#=============================================================================
# Target rules for target pycryptosat/CMakeFiles/python_interface.dir

# All Build rule for target.
pycryptosat/CMakeFiles/python_interface.dir/all: cmsat5-src/CMakeFiles/cryptominisat5.dir/all
	$(MAKE) $(MAKESILENT) -f pycryptosat/CMakeFiles/python_interface.dir/build.make pycryptosat/CMakeFiles/python_interface.dir/depend
	$(MAKE) $(MAKESILENT) -f pycryptosat/CMakeFiles/python_interface.dir/build.make pycryptosat/CMakeFiles/python_interface.dir/build
	@$(CMAKE_COMMAND) -E cmake_echo_color --switch=$(COLOR) --progress-dir=/u/58/lehtont20/unix/Documents/work/iccma25_submissions/acbar/mu-toksia-multiquery/lib/cryptominisat-5.8.0/build/CMakeFiles --progress-num=57 "Built target python_interface"
.PHONY : pycryptosat/CMakeFiles/python_interface.dir/all

# Build rule for subdir invocation for target.
pycryptosat/CMakeFiles/python_interface.dir/rule: cmake_check_build_system
	$(CMAKE_COMMAND) -E cmake_progress_start /u/58/lehtont20/unix/Documents/work/iccma25_submissions/acbar/mu-toksia-multiquery/lib/cryptominisat-5.8.0/build/CMakeFiles 49
	$(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 pycryptosat/CMakeFiles/python_interface.dir/all
	$(CMAKE_COMMAND) -E cmake_progress_start /u/58/lehtont20/unix/Documents/work/iccma25_submissions/acbar/mu-toksia-multiquery/lib/cryptominisat-5.8.0/build/CMakeFiles 0
.PHONY : pycryptosat/CMakeFiles/python_interface.dir/rule

# Convenience name for target.
python_interface: pycryptosat/CMakeFiles/python_interface.dir/rule
.PHONY : python_interface

# clean rule for target.
pycryptosat/CMakeFiles/python_interface.dir/clean:
	$(MAKE) $(MAKESILENT) -f pycryptosat/CMakeFiles/python_interface.dir/build.make pycryptosat/CMakeFiles/python_interface.dir/clean
.PHONY : pycryptosat/CMakeFiles/python_interface.dir/clean

#=============================================================================
# Target rules for target pycryptosat/CMakeFiles/uninstall_pycyrptosat.dir

# All Build rule for target.
pycryptosat/CMakeFiles/uninstall_pycyrptosat.dir/all:
	$(MAKE) $(MAKESILENT) -f pycryptosat/CMakeFiles/uninstall_pycyrptosat.dir/build.make pycryptosat/CMakeFiles/uninstall_pycyrptosat.dir/depend
	$(MAKE) $(MAKESILENT) -f pycryptosat/CMakeFiles/uninstall_pycyrptosat.dir/build.make pycryptosat/CMakeFiles/uninstall_pycyrptosat.dir/build
	@$(CMAKE_COMMAND) -E cmake_echo_color --switch=$(COLOR) --progress-dir=/u/58/lehtont20/unix/Documents/work/iccma25_submissions/acbar/mu-toksia-multiquery/lib/cryptominisat-5.8.0/build/CMakeFiles --progress-num= "Built target uninstall_pycyrptosat"
.PHONY : pycryptosat/CMakeFiles/uninstall_pycyrptosat.dir/all

# Build rule for subdir invocation for target.
pycryptosat/CMakeFiles/uninstall_pycyrptosat.dir/rule: cmake_check_build_system
	$(CMAKE_COMMAND) -E cmake_progress_start /u/58/lehtont20/unix/Documents/work/iccma25_submissions/acbar/mu-toksia-multiquery/lib/cryptominisat-5.8.0/build/CMakeFiles 0
	$(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 pycryptosat/CMakeFiles/uninstall_pycyrptosat.dir/all
	$(CMAKE_COMMAND) -E cmake_progress_start /u/58/lehtont20/unix/Documents/work/iccma25_submissions/acbar/mu-toksia-multiquery/lib/cryptominisat-5.8.0/build/CMakeFiles 0
.PHONY : pycryptosat/CMakeFiles/uninstall_pycyrptosat.dir/rule

# Convenience name for target.
uninstall_pycyrptosat: pycryptosat/CMakeFiles/uninstall_pycyrptosat.dir/rule
.PHONY : uninstall_pycyrptosat

# clean rule for target.
pycryptosat/CMakeFiles/uninstall_pycyrptosat.dir/clean:
	$(MAKE) $(MAKESILENT) -f pycryptosat/CMakeFiles/uninstall_pycyrptosat.dir/build.make pycryptosat/CMakeFiles/uninstall_pycyrptosat.dir/clean
.PHONY : pycryptosat/CMakeFiles/uninstall_pycyrptosat.dir/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) -S$(CMAKE_SOURCE_DIR) -B$(CMAKE_BINARY_DIR) --check-build-system CMakeFiles/Makefile.cmake 0
.PHONY : cmake_check_build_system

