# 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

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

# 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 = /home/local/tuletule/Downloads/clingo-5.6.2

# The top-level build directory on which CMake was run.
CMAKE_BINARY_DIR = /home/local/tuletule/Downloads/clingo-5.6.2/clingo

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

# Special rule for the target test
test:
	@$(CMAKE_COMMAND) -E cmake_echo_color --switch=$(COLOR) --cyan "Running tests..."
	/usr/bin/ctest --force-new-ctest-process $(ARGS)
.PHONY : test

# Special rule for the target test
test/fast: test
.PHONY : test/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

# 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 --regenerate-during-build -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 list_install_components
list_install_components:
	@$(CMAKE_COMMAND) -E cmake_echo_color --switch=$(COLOR) --cyan "Available install components are: \"Unspecified\""
.PHONY : list_install_components

# Special rule for the target list_install_components
list_install_components/fast: list_install_components
.PHONY : list_install_components/fast

# Special rule for the target install
install: preinstall
	@$(CMAKE_COMMAND) -E cmake_echo_color --switch=$(COLOR) --cyan "Install the project..."
	/usr/bin/cmake -P cmake_install.cmake
.PHONY : install

# Special rule for the target install
install/fast: preinstall/fast
	@$(CMAKE_COMMAND) -E cmake_echo_color --switch=$(COLOR) --cyan "Install the project..."
	/usr/bin/cmake -P cmake_install.cmake
.PHONY : install/fast

# Special rule for the target install/local
install/local: preinstall
	@$(CMAKE_COMMAND) -E cmake_echo_color --switch=$(COLOR) --cyan "Installing only the local directory..."
	/usr/bin/cmake -DCMAKE_INSTALL_LOCAL_ONLY=1 -P cmake_install.cmake
.PHONY : install/local

# Special rule for the target install/local
install/local/fast: preinstall/fast
	@$(CMAKE_COMMAND) -E cmake_echo_color --switch=$(COLOR) --cyan "Installing only the local directory..."
	/usr/bin/cmake -DCMAKE_INSTALL_LOCAL_ONLY=1 -P cmake_install.cmake
.PHONY : install/local/fast

# Special rule for the target install/strip
install/strip: preinstall
	@$(CMAKE_COMMAND) -E cmake_echo_color --switch=$(COLOR) --cyan "Installing the project stripped..."
	/usr/bin/cmake -DCMAKE_INSTALL_DO_STRIP=1 -P cmake_install.cmake
.PHONY : install/strip

# Special rule for the target install/strip
install/strip/fast: preinstall/fast
	@$(CMAKE_COMMAND) -E cmake_echo_color --switch=$(COLOR) --cyan "Installing the project stripped..."
	/usr/bin/cmake -DCMAKE_INSTALL_DO_STRIP=1 -P cmake_install.cmake
.PHONY : install/strip/fast

# The main all target
all: cmake_check_build_system
	$(CMAKE_COMMAND) -E cmake_progress_start /home/local/tuletule/Downloads/clingo-5.6.2/clingo/CMakeFiles /home/local/tuletule/Downloads/clingo-5.6.2/clingo//CMakeFiles/progress.marks
	$(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 all
	$(CMAKE_COMMAND) -E cmake_progress_start /home/local/tuletule/Downloads/clingo-5.6.2/clingo/CMakeFiles 0
.PHONY : all

# The main clean target
clean:
	$(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 clean
.PHONY : clean

# The main clean target
clean/fast: clean
.PHONY : clean/fast

# Prepare targets for installation.
preinstall: all
	$(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 preinstall
.PHONY : preinstall

# Prepare targets for installation.
preinstall/fast:
	$(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 preinstall
.PHONY : preinstall/fast

# clear depends
depend:
	$(CMAKE_COMMAND) -S$(CMAKE_SOURCE_DIR) -B$(CMAKE_BINARY_DIR) --check-build-system CMakeFiles/Makefile.cmake 1
.PHONY : depend

#=============================================================================
# Target rules for targets named gen

# Build rule for target.
gen: cmake_check_build_system
	$(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 gen
.PHONY : gen

# fast build rule for target.
gen/fast:
	$(MAKE) $(MAKESILENT) -f CMakeFiles/gen.dir/build.make CMakeFiles/gen.dir/build
.PHONY : gen/fast

#=============================================================================
# Target rules for targets named doc_clasp

# Build rule for target.
doc_clasp: cmake_check_build_system
	$(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 doc_clasp
.PHONY : doc_clasp

# fast build rule for target.
doc_clasp/fast:
	$(MAKE) $(MAKESILENT) -f clasp/CMakeFiles/doc_clasp.dir/build.make clasp/CMakeFiles/doc_clasp.dir/build
.PHONY : doc_clasp/fast

#=============================================================================
# Target rules for targets named doc_potassco

# Build rule for target.
doc_potassco: cmake_check_build_system
	$(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 doc_potassco
.PHONY : doc_potassco

# fast build rule for target.
doc_potassco/fast:
	$(MAKE) $(MAKESILENT) -f clasp/libpotassco/CMakeFiles/doc_potassco.dir/build.make clasp/libpotassco/CMakeFiles/doc_potassco.dir/build
.PHONY : doc_potassco/fast

#=============================================================================
# Target rules for targets named libpotassco

# Build rule for target.
libpotassco: cmake_check_build_system
	$(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 libpotassco
.PHONY : libpotassco

# fast build rule for target.
libpotassco/fast:
	$(MAKE) $(MAKESILENT) -f clasp/libpotassco/src/CMakeFiles/libpotassco.dir/build.make clasp/libpotassco/src/CMakeFiles/libpotassco.dir/build
.PHONY : libpotassco/fast

#=============================================================================
# Target rules for targets named lpconvert

# Build rule for target.
lpconvert: cmake_check_build_system
	$(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 lpconvert
.PHONY : lpconvert

# fast build rule for target.
lpconvert/fast:
	$(MAKE) $(MAKESILENT) -f clasp/libpotassco/app/CMakeFiles/lpconvert.dir/build.make clasp/libpotassco/app/CMakeFiles/lpconvert.dir/build
.PHONY : lpconvert/fast

#=============================================================================
# Target rules for targets named libclasp

# Build rule for target.
libclasp: cmake_check_build_system
	$(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 libclasp
.PHONY : libclasp

# fast build rule for target.
libclasp/fast:
	$(MAKE) $(MAKESILENT) -f clasp/src/CMakeFiles/libclasp.dir/build.make clasp/src/CMakeFiles/libclasp.dir/build
.PHONY : libclasp/fast

#=============================================================================
# Target rules for targets named clasp

# Build rule for target.
clasp: cmake_check_build_system
	$(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 clasp
.PHONY : clasp

# fast build rule for target.
clasp/fast:
	$(MAKE) $(MAKESILENT) -f clasp/app/CMakeFiles/clasp.dir/build.make clasp/app/CMakeFiles/clasp.dir/build
.PHONY : clasp/fast

#=============================================================================
# Target rules for targets named libreify

# Build rule for target.
libreify: cmake_check_build_system
	$(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 libreify
.PHONY : libreify

# fast build rule for target.
libreify/fast:
	$(MAKE) $(MAKESILENT) -f libreify/CMakeFiles/libreify.dir/build.make libreify/CMakeFiles/libreify.dir/build
.PHONY : libreify/fast

#=============================================================================
# Target rules for targets named gen1

# Build rule for target.
gen1: cmake_check_build_system
	$(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 gen1
.PHONY : gen1

# fast build rule for target.
gen1/fast:
	$(MAKE) $(MAKESILENT) -f libgringo/CMakeFiles/gen1.dir/build.make libgringo/CMakeFiles/gen1.dir/build
.PHONY : gen1/fast

#=============================================================================
# Target rules for targets named gen2

# Build rule for target.
gen2: cmake_check_build_system
	$(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 gen2
.PHONY : gen2

# fast build rule for target.
gen2/fast:
	$(MAKE) $(MAKESILENT) -f libgringo/CMakeFiles/gen2.dir/build.make libgringo/CMakeFiles/gen2.dir/build
.PHONY : gen2/fast

#=============================================================================
# Target rules for targets named gen3

# Build rule for target.
gen3: cmake_check_build_system
	$(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 gen3
.PHONY : gen3

# fast build rule for target.
gen3/fast:
	$(MAKE) $(MAKESILENT) -f libgringo/CMakeFiles/gen3.dir/build.make libgringo/CMakeFiles/gen3.dir/build
.PHONY : gen3/fast

#=============================================================================
# Target rules for targets named gen4

# Build rule for target.
gen4: cmake_check_build_system
	$(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 gen4
.PHONY : gen4

# fast build rule for target.
gen4/fast:
	$(MAKE) $(MAKESILENT) -f libgringo/CMakeFiles/gen4.dir/build.make libgringo/CMakeFiles/gen4.dir/build
.PHONY : gen4/fast

#=============================================================================
# Target rules for targets named libgringo

# Build rule for target.
libgringo: cmake_check_build_system
	$(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 libgringo
.PHONY : libgringo

# fast build rule for target.
libgringo/fast:
	$(MAKE) $(MAKESILENT) -f libgringo/CMakeFiles/libgringo.dir/build.make libgringo/CMakeFiles/libgringo.dir/build
.PHONY : libgringo/fast

#=============================================================================
# Target rules for targets named libclingo

# Build rule for target.
libclingo: cmake_check_build_system
	$(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 libclingo
.PHONY : libclingo

# fast build rule for target.
libclingo/fast:
	$(MAKE) $(MAKESILENT) -f libclingo/CMakeFiles/libclingo.dir/build.make libclingo/CMakeFiles/libclingo.dir/build
.PHONY : libclingo/fast

#=============================================================================
# Target rules for targets named libpyclingo

# Build rule for target.
libpyclingo: cmake_check_build_system
	$(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 libpyclingo
.PHONY : libpyclingo

# fast build rule for target.
libpyclingo/fast:
	$(MAKE) $(MAKESILENT) -f libpyclingo/CMakeFiles/libpyclingo.dir/build.make libpyclingo/CMakeFiles/libpyclingo.dir/build
.PHONY : libpyclingo/fast

#=============================================================================
# Target rules for targets named reify

# Build rule for target.
reify: cmake_check_build_system
	$(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 reify
.PHONY : reify

# fast build rule for target.
reify/fast:
	$(MAKE) $(MAKESILENT) -f app/reify/CMakeFiles/reify.dir/build.make app/reify/CMakeFiles/reify.dir/build
.PHONY : reify/fast

#=============================================================================
# Target rules for targets named gringo

# Build rule for target.
gringo: cmake_check_build_system
	$(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 gringo
.PHONY : gringo

# fast build rule for target.
gringo/fast:
	$(MAKE) $(MAKESILENT) -f app/gringo/CMakeFiles/gringo.dir/build.make app/gringo/CMakeFiles/gringo.dir/build
.PHONY : gringo/fast

#=============================================================================
# Target rules for targets named clingo

# Build rule for target.
clingo: cmake_check_build_system
	$(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 clingo
.PHONY : clingo

# fast build rule for target.
clingo/fast:
	$(MAKE) $(MAKESILENT) -f app/clingo/CMakeFiles/clingo.dir/build.make app/clingo/CMakeFiles/clingo.dir/build
.PHONY : clingo/fast

#=============================================================================
# Target rules for targets named pyclingo

# Build rule for target.
pyclingo: cmake_check_build_system
	$(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 pyclingo
.PHONY : pyclingo

# fast build rule for target.
pyclingo/fast:
	$(MAKE) $(MAKESILENT) -f app/pyclingo/CMakeFiles/pyclingo.dir/build.make app/pyclingo/CMakeFiles/pyclingo.dir/build
.PHONY : pyclingo/fast

# 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 "... edit_cache"
	@echo "... install"
	@echo "... install/local"
	@echo "... install/strip"
	@echo "... list_install_components"
	@echo "... rebuild_cache"
	@echo "... test"
	@echo "... doc_clasp"
	@echo "... doc_potassco"
	@echo "... gen"
	@echo "... gen1"
	@echo "... gen2"
	@echo "... gen3"
	@echo "... gen4"
	@echo "... clasp"
	@echo "... clingo"
	@echo "... gringo"
	@echo "... libclasp"
	@echo "... libclingo"
	@echo "... libgringo"
	@echo "... libpotassco"
	@echo "... libpyclingo"
	@echo "... libreify"
	@echo "... lpconvert"
	@echo "... pyclingo"
	@echo "... reify"
.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:
	$(CMAKE_COMMAND) -S$(CMAKE_SOURCE_DIR) -B$(CMAKE_BINARY_DIR) --check-build-system CMakeFiles/Makefile.cmake 0
.PHONY : cmake_check_build_system

