# 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
	cd /home/local/tuletule/Downloads/clingo-5.6.2/clingo && $(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/clasp/libpotassco/src//CMakeFiles/progress.marks
	cd /home/local/tuletule/Downloads/clingo-5.6.2/clingo && $(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 clasp/libpotassco/src/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:
	cd /home/local/tuletule/Downloads/clingo-5.6.2/clingo && $(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 clasp/libpotassco/src/clean
.PHONY : clean

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

# Prepare targets for installation.
preinstall: all
	cd /home/local/tuletule/Downloads/clingo-5.6.2/clingo && $(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 clasp/libpotassco/src/preinstall
.PHONY : preinstall

# Prepare targets for installation.
preinstall/fast:
	cd /home/local/tuletule/Downloads/clingo-5.6.2/clingo && $(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 clasp/libpotassco/src/preinstall
.PHONY : preinstall/fast

# clear depends
depend:
	cd /home/local/tuletule/Downloads/clingo-5.6.2/clingo && $(CMAKE_COMMAND) -S$(CMAKE_SOURCE_DIR) -B$(CMAKE_BINARY_DIR) --check-build-system CMakeFiles/Makefile.cmake 1
.PHONY : depend

# Convenience name for target.
clasp/libpotassco/src/CMakeFiles/libpotassco.dir/rule:
	cd /home/local/tuletule/Downloads/clingo-5.6.2/clingo && $(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 clasp/libpotassco/src/CMakeFiles/libpotassco.dir/rule
.PHONY : clasp/libpotassco/src/CMakeFiles/libpotassco.dir/rule

# Convenience name for target.
libpotassco: clasp/libpotassco/src/CMakeFiles/libpotassco.dir/rule
.PHONY : libpotassco

# fast build rule for target.
libpotassco/fast:
	cd /home/local/tuletule/Downloads/clingo-5.6.2/clingo && $(MAKE) $(MAKESILENT) -f clasp/libpotassco/src/CMakeFiles/libpotassco.dir/build.make clasp/libpotassco/src/CMakeFiles/libpotassco.dir/build
.PHONY : libpotassco/fast

application.o: application.cpp.o
.PHONY : application.o

# target to build an object file
application.cpp.o:
	cd /home/local/tuletule/Downloads/clingo-5.6.2/clingo && $(MAKE) $(MAKESILENT) -f clasp/libpotassco/src/CMakeFiles/libpotassco.dir/build.make clasp/libpotassco/src/CMakeFiles/libpotassco.dir/application.cpp.o
.PHONY : application.cpp.o

application.i: application.cpp.i
.PHONY : application.i

# target to preprocess a source file
application.cpp.i:
	cd /home/local/tuletule/Downloads/clingo-5.6.2/clingo && $(MAKE) $(MAKESILENT) -f clasp/libpotassco/src/CMakeFiles/libpotassco.dir/build.make clasp/libpotassco/src/CMakeFiles/libpotassco.dir/application.cpp.i
.PHONY : application.cpp.i

application.s: application.cpp.s
.PHONY : application.s

# target to generate assembly for a file
application.cpp.s:
	cd /home/local/tuletule/Downloads/clingo-5.6.2/clingo && $(MAKE) $(MAKESILENT) -f clasp/libpotassco/src/CMakeFiles/libpotassco.dir/build.make clasp/libpotassco/src/CMakeFiles/libpotassco.dir/application.cpp.s
.PHONY : application.cpp.s

aspif.o: aspif.cpp.o
.PHONY : aspif.o

# target to build an object file
aspif.cpp.o:
	cd /home/local/tuletule/Downloads/clingo-5.6.2/clingo && $(MAKE) $(MAKESILENT) -f clasp/libpotassco/src/CMakeFiles/libpotassco.dir/build.make clasp/libpotassco/src/CMakeFiles/libpotassco.dir/aspif.cpp.o
.PHONY : aspif.cpp.o

aspif.i: aspif.cpp.i
.PHONY : aspif.i

# target to preprocess a source file
aspif.cpp.i:
	cd /home/local/tuletule/Downloads/clingo-5.6.2/clingo && $(MAKE) $(MAKESILENT) -f clasp/libpotassco/src/CMakeFiles/libpotassco.dir/build.make clasp/libpotassco/src/CMakeFiles/libpotassco.dir/aspif.cpp.i
.PHONY : aspif.cpp.i

aspif.s: aspif.cpp.s
.PHONY : aspif.s

# target to generate assembly for a file
aspif.cpp.s:
	cd /home/local/tuletule/Downloads/clingo-5.6.2/clingo && $(MAKE) $(MAKESILENT) -f clasp/libpotassco/src/CMakeFiles/libpotassco.dir/build.make clasp/libpotassco/src/CMakeFiles/libpotassco.dir/aspif.cpp.s
.PHONY : aspif.cpp.s

aspif_text.o: aspif_text.cpp.o
.PHONY : aspif_text.o

# target to build an object file
aspif_text.cpp.o:
	cd /home/local/tuletule/Downloads/clingo-5.6.2/clingo && $(MAKE) $(MAKESILENT) -f clasp/libpotassco/src/CMakeFiles/libpotassco.dir/build.make clasp/libpotassco/src/CMakeFiles/libpotassco.dir/aspif_text.cpp.o
.PHONY : aspif_text.cpp.o

aspif_text.i: aspif_text.cpp.i
.PHONY : aspif_text.i

# target to preprocess a source file
aspif_text.cpp.i:
	cd /home/local/tuletule/Downloads/clingo-5.6.2/clingo && $(MAKE) $(MAKESILENT) -f clasp/libpotassco/src/CMakeFiles/libpotassco.dir/build.make clasp/libpotassco/src/CMakeFiles/libpotassco.dir/aspif_text.cpp.i
.PHONY : aspif_text.cpp.i

aspif_text.s: aspif_text.cpp.s
.PHONY : aspif_text.s

# target to generate assembly for a file
aspif_text.cpp.s:
	cd /home/local/tuletule/Downloads/clingo-5.6.2/clingo && $(MAKE) $(MAKESILENT) -f clasp/libpotassco/src/CMakeFiles/libpotassco.dir/build.make clasp/libpotassco/src/CMakeFiles/libpotassco.dir/aspif_text.cpp.s
.PHONY : aspif_text.cpp.s

clingo.o: clingo.cpp.o
.PHONY : clingo.o

# target to build an object file
clingo.cpp.o:
	cd /home/local/tuletule/Downloads/clingo-5.6.2/clingo && $(MAKE) $(MAKESILENT) -f clasp/libpotassco/src/CMakeFiles/libpotassco.dir/build.make clasp/libpotassco/src/CMakeFiles/libpotassco.dir/clingo.cpp.o
.PHONY : clingo.cpp.o

clingo.i: clingo.cpp.i
.PHONY : clingo.i

# target to preprocess a source file
clingo.cpp.i:
	cd /home/local/tuletule/Downloads/clingo-5.6.2/clingo && $(MAKE) $(MAKESILENT) -f clasp/libpotassco/src/CMakeFiles/libpotassco.dir/build.make clasp/libpotassco/src/CMakeFiles/libpotassco.dir/clingo.cpp.i
.PHONY : clingo.cpp.i

clingo.s: clingo.cpp.s
.PHONY : clingo.s

# target to generate assembly for a file
clingo.cpp.s:
	cd /home/local/tuletule/Downloads/clingo-5.6.2/clingo && $(MAKE) $(MAKESILENT) -f clasp/libpotassco/src/CMakeFiles/libpotassco.dir/build.make clasp/libpotassco/src/CMakeFiles/libpotassco.dir/clingo.cpp.s
.PHONY : clingo.cpp.s

convert.o: convert.cpp.o
.PHONY : convert.o

# target to build an object file
convert.cpp.o:
	cd /home/local/tuletule/Downloads/clingo-5.6.2/clingo && $(MAKE) $(MAKESILENT) -f clasp/libpotassco/src/CMakeFiles/libpotassco.dir/build.make clasp/libpotassco/src/CMakeFiles/libpotassco.dir/convert.cpp.o
.PHONY : convert.cpp.o

convert.i: convert.cpp.i
.PHONY : convert.i

# target to preprocess a source file
convert.cpp.i:
	cd /home/local/tuletule/Downloads/clingo-5.6.2/clingo && $(MAKE) $(MAKESILENT) -f clasp/libpotassco/src/CMakeFiles/libpotassco.dir/build.make clasp/libpotassco/src/CMakeFiles/libpotassco.dir/convert.cpp.i
.PHONY : convert.cpp.i

convert.s: convert.cpp.s
.PHONY : convert.s

# target to generate assembly for a file
convert.cpp.s:
	cd /home/local/tuletule/Downloads/clingo-5.6.2/clingo && $(MAKE) $(MAKESILENT) -f clasp/libpotassco/src/CMakeFiles/libpotassco.dir/build.make clasp/libpotassco/src/CMakeFiles/libpotassco.dir/convert.cpp.s
.PHONY : convert.cpp.s

match_basic_types.o: match_basic_types.cpp.o
.PHONY : match_basic_types.o

# target to build an object file
match_basic_types.cpp.o:
	cd /home/local/tuletule/Downloads/clingo-5.6.2/clingo && $(MAKE) $(MAKESILENT) -f clasp/libpotassco/src/CMakeFiles/libpotassco.dir/build.make clasp/libpotassco/src/CMakeFiles/libpotassco.dir/match_basic_types.cpp.o
.PHONY : match_basic_types.cpp.o

match_basic_types.i: match_basic_types.cpp.i
.PHONY : match_basic_types.i

# target to preprocess a source file
match_basic_types.cpp.i:
	cd /home/local/tuletule/Downloads/clingo-5.6.2/clingo && $(MAKE) $(MAKESILENT) -f clasp/libpotassco/src/CMakeFiles/libpotassco.dir/build.make clasp/libpotassco/src/CMakeFiles/libpotassco.dir/match_basic_types.cpp.i
.PHONY : match_basic_types.cpp.i

match_basic_types.s: match_basic_types.cpp.s
.PHONY : match_basic_types.s

# target to generate assembly for a file
match_basic_types.cpp.s:
	cd /home/local/tuletule/Downloads/clingo-5.6.2/clingo && $(MAKE) $(MAKESILENT) -f clasp/libpotassco/src/CMakeFiles/libpotassco.dir/build.make clasp/libpotassco/src/CMakeFiles/libpotassco.dir/match_basic_types.cpp.s
.PHONY : match_basic_types.cpp.s

program_options.o: program_options.cpp.o
.PHONY : program_options.o

# target to build an object file
program_options.cpp.o:
	cd /home/local/tuletule/Downloads/clingo-5.6.2/clingo && $(MAKE) $(MAKESILENT) -f clasp/libpotassco/src/CMakeFiles/libpotassco.dir/build.make clasp/libpotassco/src/CMakeFiles/libpotassco.dir/program_options.cpp.o
.PHONY : program_options.cpp.o

program_options.i: program_options.cpp.i
.PHONY : program_options.i

# target to preprocess a source file
program_options.cpp.i:
	cd /home/local/tuletule/Downloads/clingo-5.6.2/clingo && $(MAKE) $(MAKESILENT) -f clasp/libpotassco/src/CMakeFiles/libpotassco.dir/build.make clasp/libpotassco/src/CMakeFiles/libpotassco.dir/program_options.cpp.i
.PHONY : program_options.cpp.i

program_options.s: program_options.cpp.s
.PHONY : program_options.s

# target to generate assembly for a file
program_options.cpp.s:
	cd /home/local/tuletule/Downloads/clingo-5.6.2/clingo && $(MAKE) $(MAKESILENT) -f clasp/libpotassco/src/CMakeFiles/libpotassco.dir/build.make clasp/libpotassco/src/CMakeFiles/libpotassco.dir/program_options.cpp.s
.PHONY : program_options.cpp.s

rule_utils.o: rule_utils.cpp.o
.PHONY : rule_utils.o

# target to build an object file
rule_utils.cpp.o:
	cd /home/local/tuletule/Downloads/clingo-5.6.2/clingo && $(MAKE) $(MAKESILENT) -f clasp/libpotassco/src/CMakeFiles/libpotassco.dir/build.make clasp/libpotassco/src/CMakeFiles/libpotassco.dir/rule_utils.cpp.o
.PHONY : rule_utils.cpp.o

rule_utils.i: rule_utils.cpp.i
.PHONY : rule_utils.i

# target to preprocess a source file
rule_utils.cpp.i:
	cd /home/local/tuletule/Downloads/clingo-5.6.2/clingo && $(MAKE) $(MAKESILENT) -f clasp/libpotassco/src/CMakeFiles/libpotassco.dir/build.make clasp/libpotassco/src/CMakeFiles/libpotassco.dir/rule_utils.cpp.i
.PHONY : rule_utils.cpp.i

rule_utils.s: rule_utils.cpp.s
.PHONY : rule_utils.s

# target to generate assembly for a file
rule_utils.cpp.s:
	cd /home/local/tuletule/Downloads/clingo-5.6.2/clingo && $(MAKE) $(MAKESILENT) -f clasp/libpotassco/src/CMakeFiles/libpotassco.dir/build.make clasp/libpotassco/src/CMakeFiles/libpotassco.dir/rule_utils.cpp.s
.PHONY : rule_utils.cpp.s

smodels.o: smodels.cpp.o
.PHONY : smodels.o

# target to build an object file
smodels.cpp.o:
	cd /home/local/tuletule/Downloads/clingo-5.6.2/clingo && $(MAKE) $(MAKESILENT) -f clasp/libpotassco/src/CMakeFiles/libpotassco.dir/build.make clasp/libpotassco/src/CMakeFiles/libpotassco.dir/smodels.cpp.o
.PHONY : smodels.cpp.o

smodels.i: smodels.cpp.i
.PHONY : smodels.i

# target to preprocess a source file
smodels.cpp.i:
	cd /home/local/tuletule/Downloads/clingo-5.6.2/clingo && $(MAKE) $(MAKESILENT) -f clasp/libpotassco/src/CMakeFiles/libpotassco.dir/build.make clasp/libpotassco/src/CMakeFiles/libpotassco.dir/smodels.cpp.i
.PHONY : smodels.cpp.i

smodels.s: smodels.cpp.s
.PHONY : smodels.s

# target to generate assembly for a file
smodels.cpp.s:
	cd /home/local/tuletule/Downloads/clingo-5.6.2/clingo && $(MAKE) $(MAKESILENT) -f clasp/libpotassco/src/CMakeFiles/libpotassco.dir/build.make clasp/libpotassco/src/CMakeFiles/libpotassco.dir/smodels.cpp.s
.PHONY : smodels.cpp.s

string_convert.o: string_convert.cpp.o
.PHONY : string_convert.o

# target to build an object file
string_convert.cpp.o:
	cd /home/local/tuletule/Downloads/clingo-5.6.2/clingo && $(MAKE) $(MAKESILENT) -f clasp/libpotassco/src/CMakeFiles/libpotassco.dir/build.make clasp/libpotassco/src/CMakeFiles/libpotassco.dir/string_convert.cpp.o
.PHONY : string_convert.cpp.o

string_convert.i: string_convert.cpp.i
.PHONY : string_convert.i

# target to preprocess a source file
string_convert.cpp.i:
	cd /home/local/tuletule/Downloads/clingo-5.6.2/clingo && $(MAKE) $(MAKESILENT) -f clasp/libpotassco/src/CMakeFiles/libpotassco.dir/build.make clasp/libpotassco/src/CMakeFiles/libpotassco.dir/string_convert.cpp.i
.PHONY : string_convert.cpp.i

string_convert.s: string_convert.cpp.s
.PHONY : string_convert.s

# target to generate assembly for a file
string_convert.cpp.s:
	cd /home/local/tuletule/Downloads/clingo-5.6.2/clingo && $(MAKE) $(MAKESILENT) -f clasp/libpotassco/src/CMakeFiles/libpotassco.dir/build.make clasp/libpotassco/src/CMakeFiles/libpotassco.dir/string_convert.cpp.s
.PHONY : string_convert.cpp.s

theory_data.o: theory_data.cpp.o
.PHONY : theory_data.o

# target to build an object file
theory_data.cpp.o:
	cd /home/local/tuletule/Downloads/clingo-5.6.2/clingo && $(MAKE) $(MAKESILENT) -f clasp/libpotassco/src/CMakeFiles/libpotassco.dir/build.make clasp/libpotassco/src/CMakeFiles/libpotassco.dir/theory_data.cpp.o
.PHONY : theory_data.cpp.o

theory_data.i: theory_data.cpp.i
.PHONY : theory_data.i

# target to preprocess a source file
theory_data.cpp.i:
	cd /home/local/tuletule/Downloads/clingo-5.6.2/clingo && $(MAKE) $(MAKESILENT) -f clasp/libpotassco/src/CMakeFiles/libpotassco.dir/build.make clasp/libpotassco/src/CMakeFiles/libpotassco.dir/theory_data.cpp.i
.PHONY : theory_data.cpp.i

theory_data.s: theory_data.cpp.s
.PHONY : theory_data.s

# target to generate assembly for a file
theory_data.cpp.s:
	cd /home/local/tuletule/Downloads/clingo-5.6.2/clingo && $(MAKE) $(MAKESILENT) -f clasp/libpotassco/src/CMakeFiles/libpotassco.dir/build.make clasp/libpotassco/src/CMakeFiles/libpotassco.dir/theory_data.cpp.s
.PHONY : theory_data.cpp.s

value_store.o: value_store.cpp.o
.PHONY : value_store.o

# target to build an object file
value_store.cpp.o:
	cd /home/local/tuletule/Downloads/clingo-5.6.2/clingo && $(MAKE) $(MAKESILENT) -f clasp/libpotassco/src/CMakeFiles/libpotassco.dir/build.make clasp/libpotassco/src/CMakeFiles/libpotassco.dir/value_store.cpp.o
.PHONY : value_store.cpp.o

value_store.i: value_store.cpp.i
.PHONY : value_store.i

# target to preprocess a source file
value_store.cpp.i:
	cd /home/local/tuletule/Downloads/clingo-5.6.2/clingo && $(MAKE) $(MAKESILENT) -f clasp/libpotassco/src/CMakeFiles/libpotassco.dir/build.make clasp/libpotassco/src/CMakeFiles/libpotassco.dir/value_store.cpp.i
.PHONY : value_store.cpp.i

value_store.s: value_store.cpp.s
.PHONY : value_store.s

# target to generate assembly for a file
value_store.cpp.s:
	cd /home/local/tuletule/Downloads/clingo-5.6.2/clingo && $(MAKE) $(MAKESILENT) -f clasp/libpotassco/src/CMakeFiles/libpotassco.dir/build.make clasp/libpotassco/src/CMakeFiles/libpotassco.dir/value_store.cpp.s
.PHONY : value_store.cpp.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 "... edit_cache"
	@echo "... install"
	@echo "... install/local"
	@echo "... install/strip"
	@echo "... list_install_components"
	@echo "... rebuild_cache"
	@echo "... test"
	@echo "... libpotassco"
	@echo "... application.o"
	@echo "... application.i"
	@echo "... application.s"
	@echo "... aspif.o"
	@echo "... aspif.i"
	@echo "... aspif.s"
	@echo "... aspif_text.o"
	@echo "... aspif_text.i"
	@echo "... aspif_text.s"
	@echo "... clingo.o"
	@echo "... clingo.i"
	@echo "... clingo.s"
	@echo "... convert.o"
	@echo "... convert.i"
	@echo "... convert.s"
	@echo "... match_basic_types.o"
	@echo "... match_basic_types.i"
	@echo "... match_basic_types.s"
	@echo "... program_options.o"
	@echo "... program_options.i"
	@echo "... program_options.s"
	@echo "... rule_utils.o"
	@echo "... rule_utils.i"
	@echo "... rule_utils.s"
	@echo "... smodels.o"
	@echo "... smodels.i"
	@echo "... smodels.s"
	@echo "... string_convert.o"
	@echo "... string_convert.i"
	@echo "... string_convert.s"
	@echo "... theory_data.o"
	@echo "... theory_data.i"
	@echo "... theory_data.s"
	@echo "... value_store.o"
	@echo "... value_store.i"
	@echo "... value_store.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 /home/local/tuletule/Downloads/clingo-5.6.2/clingo && $(CMAKE_COMMAND) -S$(CMAKE_SOURCE_DIR) -B$(CMAKE_BINARY_DIR) --check-build-system CMakeFiles/Makefile.cmake 0
.PHONY : cmake_check_build_system

