# 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/gratgen

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

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

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

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

CMakeFiles/C.dir/requires:

.PHONY : CMakeFiles/C.dir/requires

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

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

