# 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

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


# Produce verbose output by default.
VERBOSE = 1

# 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/Users/damia/Desktop/Ricerca/Repos/aspmc_devel/aspmc/aspmc/external/minisat-definitions

# The top-level build directory on which CMake was run.
CMAKE_BINARY_DIR = /mnt/c/Users/damia/Desktop/Ricerca/Repos/aspmc_devel/aspmc/aspmc/external/minisat-definitions/build

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

# The main recursive "all" target.
all: CMakeFiles/defined.dir/all
all: minisat/all

.PHONY : all

# The main recursive "preinstall" target.
preinstall: minisat/preinstall

.PHONY : preinstall

# The main recursive "clean" target.
clean: CMakeFiles/defined.dir/clean
clean: minisat/clean

.PHONY : clean

#=============================================================================
# Directory level rules for directory minisat

# Recursive "all" directory target.
minisat/all: minisat/CMakeFiles/minisat_simp.dir/all
minisat/all: minisat/CMakeFiles/minisat_core.dir/all
minisat/all: minisat/CMakeFiles/minisat-lib-shared.dir/all
minisat/all: minisat/CMakeFiles/minisat-lib-static.dir/all

.PHONY : minisat/all

# Recursive "preinstall" directory target.
minisat/preinstall:

.PHONY : minisat/preinstall

# Recursive "clean" directory target.
minisat/clean: minisat/CMakeFiles/minisat_simp.dir/clean
minisat/clean: minisat/CMakeFiles/minisat_core.dir/clean
minisat/clean: minisat/CMakeFiles/minisat-lib-shared.dir/clean
minisat/clean: minisat/CMakeFiles/minisat-lib-static.dir/clean

.PHONY : minisat/clean

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

# All Build rule for target.
CMakeFiles/defined.dir/all: minisat/CMakeFiles/minisat-lib-static.dir/all
	$(MAKE) -f CMakeFiles/defined.dir/build.make CMakeFiles/defined.dir/depend
	$(MAKE) -f CMakeFiles/defined.dir/build.make CMakeFiles/defined.dir/build
	@$(CMAKE_COMMAND) -E cmake_echo_color --switch=$(COLOR) --progress-dir=/mnt/c/Users/damia/Desktop/Ricerca/Repos/aspmc_devel/aspmc/aspmc/external/minisat-definitions/build/CMakeFiles --progress-num=1,2,3 "Built target defined"
.PHONY : CMakeFiles/defined.dir/all

# Build rule for subdir invocation for target.
CMakeFiles/defined.dir/rule: cmake_check_build_system
	$(CMAKE_COMMAND) -E cmake_progress_start /mnt/c/Users/damia/Desktop/Ricerca/Repos/aspmc_devel/aspmc/aspmc/external/minisat-definitions/build/CMakeFiles 8
	$(MAKE) -f CMakeFiles/Makefile2 CMakeFiles/defined.dir/all
	$(CMAKE_COMMAND) -E cmake_progress_start /mnt/c/Users/damia/Desktop/Ricerca/Repos/aspmc_devel/aspmc/aspmc/external/minisat-definitions/build/CMakeFiles 0
.PHONY : CMakeFiles/defined.dir/rule

# Convenience name for target.
defined: CMakeFiles/defined.dir/rule

.PHONY : defined

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

#=============================================================================
# Target rules for target minisat/CMakeFiles/minisat_simp.dir

# All Build rule for target.
minisat/CMakeFiles/minisat_simp.dir/all: minisat/CMakeFiles/minisat-lib-static.dir/all
	$(MAKE) -f minisat/CMakeFiles/minisat_simp.dir/build.make minisat/CMakeFiles/minisat_simp.dir/depend
	$(MAKE) -f minisat/CMakeFiles/minisat_simp.dir/build.make minisat/CMakeFiles/minisat_simp.dir/build
	@$(CMAKE_COMMAND) -E cmake_echo_color --switch=$(COLOR) --progress-dir=/mnt/c/Users/damia/Desktop/Ricerca/Repos/aspmc_devel/aspmc/aspmc/external/minisat-definitions/build/CMakeFiles --progress-num=16,17 "Built target minisat_simp"
.PHONY : minisat/CMakeFiles/minisat_simp.dir/all

# Build rule for subdir invocation for target.
minisat/CMakeFiles/minisat_simp.dir/rule: cmake_check_build_system
	$(CMAKE_COMMAND) -E cmake_progress_start /mnt/c/Users/damia/Desktop/Ricerca/Repos/aspmc_devel/aspmc/aspmc/external/minisat-definitions/build/CMakeFiles 7
	$(MAKE) -f CMakeFiles/Makefile2 minisat/CMakeFiles/minisat_simp.dir/all
	$(CMAKE_COMMAND) -E cmake_progress_start /mnt/c/Users/damia/Desktop/Ricerca/Repos/aspmc_devel/aspmc/aspmc/external/minisat-definitions/build/CMakeFiles 0
.PHONY : minisat/CMakeFiles/minisat_simp.dir/rule

# Convenience name for target.
minisat_simp: minisat/CMakeFiles/minisat_simp.dir/rule

.PHONY : minisat_simp

# clean rule for target.
minisat/CMakeFiles/minisat_simp.dir/clean:
	$(MAKE) -f minisat/CMakeFiles/minisat_simp.dir/build.make minisat/CMakeFiles/minisat_simp.dir/clean
.PHONY : minisat/CMakeFiles/minisat_simp.dir/clean

#=============================================================================
# Target rules for target minisat/CMakeFiles/minisat_core.dir

# All Build rule for target.
minisat/CMakeFiles/minisat_core.dir/all: minisat/CMakeFiles/minisat-lib-static.dir/all
	$(MAKE) -f minisat/CMakeFiles/minisat_core.dir/build.make minisat/CMakeFiles/minisat_core.dir/depend
	$(MAKE) -f minisat/CMakeFiles/minisat_core.dir/build.make minisat/CMakeFiles/minisat_core.dir/build
	@$(CMAKE_COMMAND) -E cmake_echo_color --switch=$(COLOR) --progress-dir=/mnt/c/Users/damia/Desktop/Ricerca/Repos/aspmc_devel/aspmc/aspmc/external/minisat-definitions/build/CMakeFiles --progress-num=14,15 "Built target minisat_core"
.PHONY : minisat/CMakeFiles/minisat_core.dir/all

# Build rule for subdir invocation for target.
minisat/CMakeFiles/minisat_core.dir/rule: cmake_check_build_system
	$(CMAKE_COMMAND) -E cmake_progress_start /mnt/c/Users/damia/Desktop/Ricerca/Repos/aspmc_devel/aspmc/aspmc/external/minisat-definitions/build/CMakeFiles 7
	$(MAKE) -f CMakeFiles/Makefile2 minisat/CMakeFiles/minisat_core.dir/all
	$(CMAKE_COMMAND) -E cmake_progress_start /mnt/c/Users/damia/Desktop/Ricerca/Repos/aspmc_devel/aspmc/aspmc/external/minisat-definitions/build/CMakeFiles 0
.PHONY : minisat/CMakeFiles/minisat_core.dir/rule

# Convenience name for target.
minisat_core: minisat/CMakeFiles/minisat_core.dir/rule

.PHONY : minisat_core

# clean rule for target.
minisat/CMakeFiles/minisat_core.dir/clean:
	$(MAKE) -f minisat/CMakeFiles/minisat_core.dir/build.make minisat/CMakeFiles/minisat_core.dir/clean
.PHONY : minisat/CMakeFiles/minisat_core.dir/clean

#=============================================================================
# Target rules for target minisat/CMakeFiles/minisat-lib-shared.dir

# All Build rule for target.
minisat/CMakeFiles/minisat-lib-shared.dir/all:
	$(MAKE) -f minisat/CMakeFiles/minisat-lib-shared.dir/build.make minisat/CMakeFiles/minisat-lib-shared.dir/depend
	$(MAKE) -f minisat/CMakeFiles/minisat-lib-shared.dir/build.make minisat/CMakeFiles/minisat-lib-shared.dir/build
	@$(CMAKE_COMMAND) -E cmake_echo_color --switch=$(COLOR) --progress-dir=/mnt/c/Users/damia/Desktop/Ricerca/Repos/aspmc_devel/aspmc/aspmc/external/minisat-definitions/build/CMakeFiles --progress-num=4,5,6,7,8 "Built target minisat-lib-shared"
.PHONY : minisat/CMakeFiles/minisat-lib-shared.dir/all

# Build rule for subdir invocation for target.
minisat/CMakeFiles/minisat-lib-shared.dir/rule: cmake_check_build_system
	$(CMAKE_COMMAND) -E cmake_progress_start /mnt/c/Users/damia/Desktop/Ricerca/Repos/aspmc_devel/aspmc/aspmc/external/minisat-definitions/build/CMakeFiles 5
	$(MAKE) -f CMakeFiles/Makefile2 minisat/CMakeFiles/minisat-lib-shared.dir/all
	$(CMAKE_COMMAND) -E cmake_progress_start /mnt/c/Users/damia/Desktop/Ricerca/Repos/aspmc_devel/aspmc/aspmc/external/minisat-definitions/build/CMakeFiles 0
.PHONY : minisat/CMakeFiles/minisat-lib-shared.dir/rule

# Convenience name for target.
minisat-lib-shared: minisat/CMakeFiles/minisat-lib-shared.dir/rule

.PHONY : minisat-lib-shared

# clean rule for target.
minisat/CMakeFiles/minisat-lib-shared.dir/clean:
	$(MAKE) -f minisat/CMakeFiles/minisat-lib-shared.dir/build.make minisat/CMakeFiles/minisat-lib-shared.dir/clean
.PHONY : minisat/CMakeFiles/minisat-lib-shared.dir/clean

#=============================================================================
# Target rules for target minisat/CMakeFiles/minisat-lib-static.dir

# All Build rule for target.
minisat/CMakeFiles/minisat-lib-static.dir/all:
	$(MAKE) -f minisat/CMakeFiles/minisat-lib-static.dir/build.make minisat/CMakeFiles/minisat-lib-static.dir/depend
	$(MAKE) -f minisat/CMakeFiles/minisat-lib-static.dir/build.make minisat/CMakeFiles/minisat-lib-static.dir/build
	@$(CMAKE_COMMAND) -E cmake_echo_color --switch=$(COLOR) --progress-dir=/mnt/c/Users/damia/Desktop/Ricerca/Repos/aspmc_devel/aspmc/aspmc/external/minisat-definitions/build/CMakeFiles --progress-num=9,10,11,12,13 "Built target minisat-lib-static"
.PHONY : minisat/CMakeFiles/minisat-lib-static.dir/all

# Build rule for subdir invocation for target.
minisat/CMakeFiles/minisat-lib-static.dir/rule: cmake_check_build_system
	$(CMAKE_COMMAND) -E cmake_progress_start /mnt/c/Users/damia/Desktop/Ricerca/Repos/aspmc_devel/aspmc/aspmc/external/minisat-definitions/build/CMakeFiles 5
	$(MAKE) -f CMakeFiles/Makefile2 minisat/CMakeFiles/minisat-lib-static.dir/all
	$(CMAKE_COMMAND) -E cmake_progress_start /mnt/c/Users/damia/Desktop/Ricerca/Repos/aspmc_devel/aspmc/aspmc/external/minisat-definitions/build/CMakeFiles 0
.PHONY : minisat/CMakeFiles/minisat-lib-static.dir/rule

# Convenience name for target.
minisat-lib-static: minisat/CMakeFiles/minisat-lib-static.dir/rule

.PHONY : minisat-lib-static

# clean rule for target.
minisat/CMakeFiles/minisat-lib-static.dir/clean:
	$(MAKE) -f minisat/CMakeFiles/minisat-lib-static.dir/build.make minisat/CMakeFiles/minisat-lib-static.dir/clean
.PHONY : minisat/CMakeFiles/minisat-lib-static.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

