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

# Delete rule output on recipe failure.
.DELETE_ON_ERROR:


#=============================================================================
# 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/lammich/devel/isabelle/isafol/DRAT/gratchk

# The top-level build directory on which CMake was run.
CMAKE_BINARY_DIR = /home/lammich/devel/isabelle/isafol/DRAT/gratchk/release

# Include any dependencies generated for this target.
include CMakeFiles/gratchk.dir/depend.make

# Include the progress variables for this target.
include CMakeFiles/gratchk.dir/progress.make

# Include the compile flags for this target's objects.
include CMakeFiles/gratchk.dir/flags.make

CMakeFiles/gratchk.dir/main.cpp.o: CMakeFiles/gratchk.dir/flags.make
CMakeFiles/gratchk.dir/main.cpp.o: ../main.cpp
	@$(CMAKE_COMMAND) -E cmake_echo_color --switch=$(COLOR) --green --progress-dir=/home/lammich/devel/isabelle/isafol/DRAT/gratchk/release/CMakeFiles --progress-num=$(CMAKE_PROGRESS_1) "Building CXX object CMakeFiles/gratchk.dir/main.cpp.o"
	/usr/bin/c++   $(CXX_DEFINES) $(CXX_INCLUDES) $(CXX_FLAGS) -o CMakeFiles/gratchk.dir/main.cpp.o -c /home/lammich/devel/isabelle/isafol/DRAT/gratchk/main.cpp

CMakeFiles/gratchk.dir/main.cpp.i: cmake_force
	@$(CMAKE_COMMAND) -E cmake_echo_color --switch=$(COLOR) --green "Preprocessing CXX source to CMakeFiles/gratchk.dir/main.cpp.i"
	/usr/bin/c++  $(CXX_DEFINES) $(CXX_INCLUDES) $(CXX_FLAGS) -E /home/lammich/devel/isabelle/isafol/DRAT/gratchk/main.cpp > CMakeFiles/gratchk.dir/main.cpp.i

CMakeFiles/gratchk.dir/main.cpp.s: cmake_force
	@$(CMAKE_COMMAND) -E cmake_echo_color --switch=$(COLOR) --green "Compiling CXX source to assembly CMakeFiles/gratchk.dir/main.cpp.s"
	/usr/bin/c++  $(CXX_DEFINES) $(CXX_INCLUDES) $(CXX_FLAGS) -S /home/lammich/devel/isabelle/isafol/DRAT/gratchk/main.cpp -o CMakeFiles/gratchk.dir/main.cpp.s

CMakeFiles/gratchk.dir/main.cpp.o.requires:

.PHONY : CMakeFiles/gratchk.dir/main.cpp.o.requires

CMakeFiles/gratchk.dir/main.cpp.o.provides: CMakeFiles/gratchk.dir/main.cpp.o.requires
	$(MAKE) -f CMakeFiles/gratchk.dir/build.make CMakeFiles/gratchk.dir/main.cpp.o.provides.build
.PHONY : CMakeFiles/gratchk.dir/main.cpp.o.provides

CMakeFiles/gratchk.dir/main.cpp.o.provides.build: CMakeFiles/gratchk.dir/main.cpp.o


# Object files for target gratchk
gratchk_OBJECTS = \
"CMakeFiles/gratchk.dir/main.cpp.o"

# External object files for target gratchk
gratchk_EXTERNAL_OBJECTS =

gratchk: CMakeFiles/gratchk.dir/main.cpp.o
gratchk: CMakeFiles/gratchk.dir/build.make
gratchk: CMakeFiles/gratchk.dir/link.txt
	@$(CMAKE_COMMAND) -E cmake_echo_color --switch=$(COLOR) --green --bold --progress-dir=/home/lammich/devel/isabelle/isafol/DRAT/gratchk/release/CMakeFiles --progress-num=$(CMAKE_PROGRESS_2) "Linking CXX executable gratchk"
	$(CMAKE_COMMAND) -E cmake_link_script CMakeFiles/gratchk.dir/link.txt --verbose=$(VERBOSE)

# Rule to build all files generated by this target.
CMakeFiles/gratchk.dir/build: gratchk

.PHONY : CMakeFiles/gratchk.dir/build

CMakeFiles/gratchk.dir/requires: CMakeFiles/gratchk.dir/main.cpp.o.requires

.PHONY : CMakeFiles/gratchk.dir/requires

CMakeFiles/gratchk.dir/clean:
	$(CMAKE_COMMAND) -P CMakeFiles/gratchk.dir/cmake_clean.cmake
.PHONY : CMakeFiles/gratchk.dir/clean

CMakeFiles/gratchk.dir/depend:
	cd /home/lammich/devel/isabelle/isafol/DRAT/gratchk/release && $(CMAKE_COMMAND) -E cmake_depends "Unix Makefiles" /home/lammich/devel/isabelle/isafol/DRAT/gratchk /home/lammich/devel/isabelle/isafol/DRAT/gratchk /home/lammich/devel/isabelle/isafol/DRAT/gratchk/release /home/lammich/devel/isabelle/isafol/DRAT/gratchk/release /home/lammich/devel/isabelle/isafol/DRAT/gratchk/release/CMakeFiles/gratchk.dir/DependInfo.cmake --color=$(COLOR)
.PHONY : CMakeFiles/gratchk.dir/depend

