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

# 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:


# 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 = "/mnt/c/Development/JKU-Projects/_Arbeit SAI/QBF Solver/ItQube/itqube"

# The top-level build directory on which CMake was run.
CMAKE_BINARY_DIR = "/mnt/c/Development/JKU-Projects/_Arbeit SAI/QBF Solver/ItQube/itqube"

#=============================================================================
# Targets provided globally by CMake.

# 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 -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 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
	cd "/mnt/c/Development/JKU-Projects/_Arbeit SAI/QBF Solver/ItQube/itqube" && $(CMAKE_COMMAND) -E cmake_progress_start "/mnt/c/Development/JKU-Projects/_Arbeit SAI/QBF Solver/ItQube/itqube/CMakeFiles" "/mnt/c/Development/JKU-Projects/_Arbeit SAI/QBF Solver/ItQube/itqube/depqbf-version-6.03/CMakeFiles/progress.marks"
	cd "/mnt/c/Development/JKU-Projects/_Arbeit SAI/QBF Solver/ItQube/itqube" && $(MAKE) -f CMakeFiles/Makefile2 depqbf-version-6.03/all
	$(CMAKE_COMMAND) -E cmake_progress_start "/mnt/c/Development/JKU-Projects/_Arbeit SAI/QBF Solver/ItQube/itqube/CMakeFiles" 0
.PHONY : all

# The main clean target
clean:
	cd "/mnt/c/Development/JKU-Projects/_Arbeit SAI/QBF Solver/ItQube/itqube" && $(MAKE) -f CMakeFiles/Makefile2 depqbf-version-6.03/clean
.PHONY : clean

# The main clean target
clean/fast: clean

.PHONY : clean/fast

# Prepare targets for installation.
preinstall: all
	cd "/mnt/c/Development/JKU-Projects/_Arbeit SAI/QBF Solver/ItQube/itqube" && $(MAKE) -f CMakeFiles/Makefile2 depqbf-version-6.03/preinstall
.PHONY : preinstall

# Prepare targets for installation.
preinstall/fast:
	cd "/mnt/c/Development/JKU-Projects/_Arbeit SAI/QBF Solver/ItQube/itqube" && $(MAKE) -f CMakeFiles/Makefile2 depqbf-version-6.03/preinstall
.PHONY : preinstall/fast

# clear depends
depend:
	cd "/mnt/c/Development/JKU-Projects/_Arbeit SAI/QBF Solver/ItQube/itqube" && $(CMAKE_COMMAND) -S$(CMAKE_SOURCE_DIR) -B$(CMAKE_BINARY_DIR) --check-build-system CMakeFiles/Makefile.cmake 1
.PHONY : depend

# Convenience name for target.
depqbf-version-6.03/CMakeFiles/qdpll.dir/rule:
	cd "/mnt/c/Development/JKU-Projects/_Arbeit SAI/QBF Solver/ItQube/itqube" && $(MAKE) -f CMakeFiles/Makefile2 depqbf-version-6.03/CMakeFiles/qdpll.dir/rule
.PHONY : depqbf-version-6.03/CMakeFiles/qdpll.dir/rule

# Convenience name for target.
qdpll: depqbf-version-6.03/CMakeFiles/qdpll.dir/rule

.PHONY : qdpll

# fast build rule for target.
qdpll/fast:
	cd "/mnt/c/Development/JKU-Projects/_Arbeit SAI/QBF Solver/ItQube/itqube" && $(MAKE) -f depqbf-version-6.03/CMakeFiles/qdpll.dir/build.make depqbf-version-6.03/CMakeFiles/qdpll.dir/build
.PHONY : qdpll/fast

qdpll.o: qdpll.c.o

.PHONY : qdpll.o

# target to build an object file
qdpll.c.o:
	cd "/mnt/c/Development/JKU-Projects/_Arbeit SAI/QBF Solver/ItQube/itqube" && $(MAKE) -f depqbf-version-6.03/CMakeFiles/qdpll.dir/build.make depqbf-version-6.03/CMakeFiles/qdpll.dir/qdpll.c.o
.PHONY : qdpll.c.o

qdpll.i: qdpll.c.i

.PHONY : qdpll.i

# target to preprocess a source file
qdpll.c.i:
	cd "/mnt/c/Development/JKU-Projects/_Arbeit SAI/QBF Solver/ItQube/itqube" && $(MAKE) -f depqbf-version-6.03/CMakeFiles/qdpll.dir/build.make depqbf-version-6.03/CMakeFiles/qdpll.dir/qdpll.c.i
.PHONY : qdpll.c.i

qdpll.s: qdpll.c.s

.PHONY : qdpll.s

# target to generate assembly for a file
qdpll.c.s:
	cd "/mnt/c/Development/JKU-Projects/_Arbeit SAI/QBF Solver/ItQube/itqube" && $(MAKE) -f depqbf-version-6.03/CMakeFiles/qdpll.dir/build.make depqbf-version-6.03/CMakeFiles/qdpll.dir/qdpll.c.s
.PHONY : qdpll.c.s

qdpll_dep_man_qdag.o: qdpll_dep_man_qdag.c.o

.PHONY : qdpll_dep_man_qdag.o

# target to build an object file
qdpll_dep_man_qdag.c.o:
	cd "/mnt/c/Development/JKU-Projects/_Arbeit SAI/QBF Solver/ItQube/itqube" && $(MAKE) -f depqbf-version-6.03/CMakeFiles/qdpll.dir/build.make depqbf-version-6.03/CMakeFiles/qdpll.dir/qdpll_dep_man_qdag.c.o
.PHONY : qdpll_dep_man_qdag.c.o

qdpll_dep_man_qdag.i: qdpll_dep_man_qdag.c.i

.PHONY : qdpll_dep_man_qdag.i

# target to preprocess a source file
qdpll_dep_man_qdag.c.i:
	cd "/mnt/c/Development/JKU-Projects/_Arbeit SAI/QBF Solver/ItQube/itqube" && $(MAKE) -f depqbf-version-6.03/CMakeFiles/qdpll.dir/build.make depqbf-version-6.03/CMakeFiles/qdpll.dir/qdpll_dep_man_qdag.c.i
.PHONY : qdpll_dep_man_qdag.c.i

qdpll_dep_man_qdag.s: qdpll_dep_man_qdag.c.s

.PHONY : qdpll_dep_man_qdag.s

# target to generate assembly for a file
qdpll_dep_man_qdag.c.s:
	cd "/mnt/c/Development/JKU-Projects/_Arbeit SAI/QBF Solver/ItQube/itqube" && $(MAKE) -f depqbf-version-6.03/CMakeFiles/qdpll.dir/build.make depqbf-version-6.03/CMakeFiles/qdpll.dir/qdpll_dep_man_qdag.c.s
.PHONY : qdpll_dep_man_qdag.c.s

qdpll_dynamic_nenofex.o: qdpll_dynamic_nenofex.c.o

.PHONY : qdpll_dynamic_nenofex.o

# target to build an object file
qdpll_dynamic_nenofex.c.o:
	cd "/mnt/c/Development/JKU-Projects/_Arbeit SAI/QBF Solver/ItQube/itqube" && $(MAKE) -f depqbf-version-6.03/CMakeFiles/qdpll.dir/build.make depqbf-version-6.03/CMakeFiles/qdpll.dir/qdpll_dynamic_nenofex.c.o
.PHONY : qdpll_dynamic_nenofex.c.o

qdpll_dynamic_nenofex.i: qdpll_dynamic_nenofex.c.i

.PHONY : qdpll_dynamic_nenofex.i

# target to preprocess a source file
qdpll_dynamic_nenofex.c.i:
	cd "/mnt/c/Development/JKU-Projects/_Arbeit SAI/QBF Solver/ItQube/itqube" && $(MAKE) -f depqbf-version-6.03/CMakeFiles/qdpll.dir/build.make depqbf-version-6.03/CMakeFiles/qdpll.dir/qdpll_dynamic_nenofex.c.i
.PHONY : qdpll_dynamic_nenofex.c.i

qdpll_dynamic_nenofex.s: qdpll_dynamic_nenofex.c.s

.PHONY : qdpll_dynamic_nenofex.s

# target to generate assembly for a file
qdpll_dynamic_nenofex.c.s:
	cd "/mnt/c/Development/JKU-Projects/_Arbeit SAI/QBF Solver/ItQube/itqube" && $(MAKE) -f depqbf-version-6.03/CMakeFiles/qdpll.dir/build.make depqbf-version-6.03/CMakeFiles/qdpll.dir/qdpll_dynamic_nenofex.c.s
.PHONY : qdpll_dynamic_nenofex.c.s

qdpll_mem.o: qdpll_mem.c.o

.PHONY : qdpll_mem.o

# target to build an object file
qdpll_mem.c.o:
	cd "/mnt/c/Development/JKU-Projects/_Arbeit SAI/QBF Solver/ItQube/itqube" && $(MAKE) -f depqbf-version-6.03/CMakeFiles/qdpll.dir/build.make depqbf-version-6.03/CMakeFiles/qdpll.dir/qdpll_mem.c.o
.PHONY : qdpll_mem.c.o

qdpll_mem.i: qdpll_mem.c.i

.PHONY : qdpll_mem.i

# target to preprocess a source file
qdpll_mem.c.i:
	cd "/mnt/c/Development/JKU-Projects/_Arbeit SAI/QBF Solver/ItQube/itqube" && $(MAKE) -f depqbf-version-6.03/CMakeFiles/qdpll.dir/build.make depqbf-version-6.03/CMakeFiles/qdpll.dir/qdpll_mem.c.i
.PHONY : qdpll_mem.c.i

qdpll_mem.s: qdpll_mem.c.s

.PHONY : qdpll_mem.s

# target to generate assembly for a file
qdpll_mem.c.s:
	cd "/mnt/c/Development/JKU-Projects/_Arbeit SAI/QBF Solver/ItQube/itqube" && $(MAKE) -f depqbf-version-6.03/CMakeFiles/qdpll.dir/build.make depqbf-version-6.03/CMakeFiles/qdpll.dir/qdpll_mem.c.s
.PHONY : qdpll_mem.c.s

qdpll_pqueue.o: qdpll_pqueue.c.o

.PHONY : qdpll_pqueue.o

# target to build an object file
qdpll_pqueue.c.o:
	cd "/mnt/c/Development/JKU-Projects/_Arbeit SAI/QBF Solver/ItQube/itqube" && $(MAKE) -f depqbf-version-6.03/CMakeFiles/qdpll.dir/build.make depqbf-version-6.03/CMakeFiles/qdpll.dir/qdpll_pqueue.c.o
.PHONY : qdpll_pqueue.c.o

qdpll_pqueue.i: qdpll_pqueue.c.i

.PHONY : qdpll_pqueue.i

# target to preprocess a source file
qdpll_pqueue.c.i:
	cd "/mnt/c/Development/JKU-Projects/_Arbeit SAI/QBF Solver/ItQube/itqube" && $(MAKE) -f depqbf-version-6.03/CMakeFiles/qdpll.dir/build.make depqbf-version-6.03/CMakeFiles/qdpll.dir/qdpll_pqueue.c.i
.PHONY : qdpll_pqueue.c.i

qdpll_pqueue.s: qdpll_pqueue.c.s

.PHONY : qdpll_pqueue.s

# target to generate assembly for a file
qdpll_pqueue.c.s:
	cd "/mnt/c/Development/JKU-Projects/_Arbeit SAI/QBF Solver/ItQube/itqube" && $(MAKE) -f depqbf-version-6.03/CMakeFiles/qdpll.dir/build.make depqbf-version-6.03/CMakeFiles/qdpll.dir/qdpll_pqueue.c.s
.PHONY : qdpll_pqueue.c.s

# 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 "... rebuild_cache"
	@echo "... edit_cache"
	@echo "... qdpll"
	@echo "... qdpll.o"
	@echo "... qdpll.i"
	@echo "... qdpll.s"
	@echo "... qdpll_dep_man_qdag.o"
	@echo "... qdpll_dep_man_qdag.i"
	@echo "... qdpll_dep_man_qdag.s"
	@echo "... qdpll_dynamic_nenofex.o"
	@echo "... qdpll_dynamic_nenofex.i"
	@echo "... qdpll_dynamic_nenofex.s"
	@echo "... qdpll_mem.o"
	@echo "... qdpll_mem.i"
	@echo "... qdpll_mem.s"
	@echo "... qdpll_pqueue.o"
	@echo "... qdpll_pqueue.i"
	@echo "... qdpll_pqueue.s"
.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:
	cd "/mnt/c/Development/JKU-Projects/_Arbeit SAI/QBF Solver/ItQube/itqube" && $(CMAKE_COMMAND) -S$(CMAKE_SOURCE_DIR) -B$(CMAKE_BINARY_DIR) --check-build-system CMakeFiles/Makefile.cmake 0
.PHONY : cmake_check_build_system

