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

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

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

asp_preprocessor.o: asp_preprocessor.cpp.o
.PHONY : asp_preprocessor.o

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

asp_preprocessor.i: asp_preprocessor.cpp.i
.PHONY : asp_preprocessor.i

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

asp_preprocessor.s: asp_preprocessor.cpp.s
.PHONY : asp_preprocessor.s

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

cb_enumerator.o: cb_enumerator.cpp.o
.PHONY : cb_enumerator.o

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

cb_enumerator.i: cb_enumerator.cpp.i
.PHONY : cb_enumerator.i

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

cb_enumerator.s: cb_enumerator.cpp.s
.PHONY : cb_enumerator.s

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

clasp_app.o: clasp_app.cpp.o
.PHONY : clasp_app.o

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

clasp_app.i: clasp_app.cpp.i
.PHONY : clasp_app.i

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

clasp_app.s: clasp_app.cpp.s
.PHONY : clasp_app.s

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

clasp_facade.o: clasp_facade.cpp.o
.PHONY : clasp_facade.o

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

clasp_facade.i: clasp_facade.cpp.i
.PHONY : clasp_facade.i

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

clasp_facade.s: clasp_facade.cpp.s
.PHONY : clasp_facade.s

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

clasp_options.o: clasp_options.cpp.o
.PHONY : clasp_options.o

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

clasp_options.i: clasp_options.cpp.i
.PHONY : clasp_options.i

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

clasp_options.s: clasp_options.cpp.s
.PHONY : clasp_options.s

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

clasp_output.o: clasp_output.cpp.o
.PHONY : clasp_output.o

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

clasp_output.i: clasp_output.cpp.i
.PHONY : clasp_output.i

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

clasp_output.s: clasp_output.cpp.s
.PHONY : clasp_output.s

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

clause.o: clause.cpp.o
.PHONY : clause.o

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

clause.i: clause.cpp.i
.PHONY : clause.i

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

clause.s: clause.cpp.s
.PHONY : clause.s

# target to generate assembly for a file
clause.cpp.s:
	cd /home/local/tuletule/Downloads/clingo-5.6.2/clingo && $(MAKE) $(MAKESILENT) -f clasp/src/CMakeFiles/libclasp.dir/build.make clasp/src/CMakeFiles/libclasp.dir/clause.cpp.s
.PHONY : clause.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/src/CMakeFiles/libclasp.dir/build.make clasp/src/CMakeFiles/libclasp.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/src/CMakeFiles/libclasp.dir/build.make clasp/src/CMakeFiles/libclasp.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/src/CMakeFiles/libclasp.dir/build.make clasp/src/CMakeFiles/libclasp.dir/clingo.cpp.s
.PHONY : clingo.cpp.s

constraint.o: constraint.cpp.o
.PHONY : constraint.o

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

constraint.i: constraint.cpp.i
.PHONY : constraint.i

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

constraint.s: constraint.cpp.s
.PHONY : constraint.s

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

dependency_graph.o: dependency_graph.cpp.o
.PHONY : dependency_graph.o

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

dependency_graph.i: dependency_graph.cpp.i
.PHONY : dependency_graph.i

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

dependency_graph.s: dependency_graph.cpp.s
.PHONY : dependency_graph.s

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

enumerator.o: enumerator.cpp.o
.PHONY : enumerator.o

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

enumerator.i: enumerator.cpp.i
.PHONY : enumerator.i

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

enumerator.s: enumerator.cpp.s
.PHONY : enumerator.s

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

heuristics.o: heuristics.cpp.o
.PHONY : heuristics.o

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

heuristics.i: heuristics.cpp.i
.PHONY : heuristics.i

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

heuristics.s: heuristics.cpp.s
.PHONY : heuristics.s

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

logic_program.o: logic_program.cpp.o
.PHONY : logic_program.o

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

logic_program.i: logic_program.cpp.i
.PHONY : logic_program.i

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

logic_program.s: logic_program.cpp.s
.PHONY : logic_program.s

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

logic_program_types.o: logic_program_types.cpp.o
.PHONY : logic_program_types.o

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

logic_program_types.i: logic_program_types.cpp.i
.PHONY : logic_program_types.i

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

logic_program_types.s: logic_program_types.cpp.s
.PHONY : logic_program_types.s

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

lookahead.o: lookahead.cpp.o
.PHONY : lookahead.o

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

lookahead.i: lookahead.cpp.i
.PHONY : lookahead.i

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

lookahead.s: lookahead.cpp.s
.PHONY : lookahead.s

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

minimize_constraint.o: minimize_constraint.cpp.o
.PHONY : minimize_constraint.o

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

minimize_constraint.i: minimize_constraint.cpp.i
.PHONY : minimize_constraint.i

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

minimize_constraint.s: minimize_constraint.cpp.s
.PHONY : minimize_constraint.s

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

model_enumerators.o: model_enumerators.cpp.o
.PHONY : model_enumerators.o

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

model_enumerators.i: model_enumerators.cpp.i
.PHONY : model_enumerators.i

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

model_enumerators.s: model_enumerators.cpp.s
.PHONY : model_enumerators.s

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

parallel_solve.o: parallel_solve.cpp.o
.PHONY : parallel_solve.o

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

parallel_solve.i: parallel_solve.cpp.i
.PHONY : parallel_solve.i

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

parallel_solve.s: parallel_solve.cpp.s
.PHONY : parallel_solve.s

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

parser.o: parser.cpp.o
.PHONY : parser.o

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

parser.i: parser.cpp.i
.PHONY : parser.i

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

parser.s: parser.cpp.s
.PHONY : parser.s

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

program_builder.o: program_builder.cpp.o
.PHONY : program_builder.o

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

program_builder.i: program_builder.cpp.i
.PHONY : program_builder.i

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

program_builder.s: program_builder.cpp.s
.PHONY : program_builder.s

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

satelite.o: satelite.cpp.o
.PHONY : satelite.o

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

satelite.i: satelite.cpp.i
.PHONY : satelite.i

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

satelite.s: satelite.cpp.s
.PHONY : satelite.s

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

shared_context.o: shared_context.cpp.o
.PHONY : shared_context.o

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

shared_context.i: shared_context.cpp.i
.PHONY : shared_context.i

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

shared_context.s: shared_context.cpp.s
.PHONY : shared_context.s

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

solve_algorithms.o: solve_algorithms.cpp.o
.PHONY : solve_algorithms.o

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

solve_algorithms.i: solve_algorithms.cpp.i
.PHONY : solve_algorithms.i

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

solve_algorithms.s: solve_algorithms.cpp.s
.PHONY : solve_algorithms.s

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

solver.o: solver.cpp.o
.PHONY : solver.o

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

solver.i: solver.cpp.i
.PHONY : solver.i

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

solver.s: solver.cpp.s
.PHONY : solver.s

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

solver_strategies.o: solver_strategies.cpp.o
.PHONY : solver_strategies.o

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

solver_strategies.i: solver_strategies.cpp.i
.PHONY : solver_strategies.i

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

solver_strategies.s: solver_strategies.cpp.s
.PHONY : solver_strategies.s

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

solver_types.o: solver_types.cpp.o
.PHONY : solver_types.o

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

solver_types.i: solver_types.cpp.i
.PHONY : solver_types.i

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

solver_types.s: solver_types.cpp.s
.PHONY : solver_types.s

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

statistics.o: statistics.cpp.o
.PHONY : statistics.o

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

statistics.i: statistics.cpp.i
.PHONY : statistics.i

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

statistics.s: statistics.cpp.s
.PHONY : statistics.s

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

timer.o: timer.cpp.o
.PHONY : timer.o

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

timer.i: timer.cpp.i
.PHONY : timer.i

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

timer.s: timer.cpp.s
.PHONY : timer.s

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

unfounded_check.o: unfounded_check.cpp.o
.PHONY : unfounded_check.o

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

unfounded_check.i: unfounded_check.cpp.i
.PHONY : unfounded_check.i

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

unfounded_check.s: unfounded_check.cpp.s
.PHONY : unfounded_check.s

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

weight_constraint.o: weight_constraint.cpp.o
.PHONY : weight_constraint.o

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

weight_constraint.i: weight_constraint.cpp.i
.PHONY : weight_constraint.i

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

weight_constraint.s: weight_constraint.cpp.s
.PHONY : weight_constraint.s

# target to generate assembly for a file
weight_constraint.cpp.s:
	cd /home/local/tuletule/Downloads/clingo-5.6.2/clingo && $(MAKE) $(MAKESILENT) -f clasp/src/CMakeFiles/libclasp.dir/build.make clasp/src/CMakeFiles/libclasp.dir/weight_constraint.cpp.s
.PHONY : weight_constraint.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 "... libclasp"
	@echo "... asp_preprocessor.o"
	@echo "... asp_preprocessor.i"
	@echo "... asp_preprocessor.s"
	@echo "... cb_enumerator.o"
	@echo "... cb_enumerator.i"
	@echo "... cb_enumerator.s"
	@echo "... clasp_app.o"
	@echo "... clasp_app.i"
	@echo "... clasp_app.s"
	@echo "... clasp_facade.o"
	@echo "... clasp_facade.i"
	@echo "... clasp_facade.s"
	@echo "... clasp_options.o"
	@echo "... clasp_options.i"
	@echo "... clasp_options.s"
	@echo "... clasp_output.o"
	@echo "... clasp_output.i"
	@echo "... clasp_output.s"
	@echo "... clause.o"
	@echo "... clause.i"
	@echo "... clause.s"
	@echo "... clingo.o"
	@echo "... clingo.i"
	@echo "... clingo.s"
	@echo "... constraint.o"
	@echo "... constraint.i"
	@echo "... constraint.s"
	@echo "... dependency_graph.o"
	@echo "... dependency_graph.i"
	@echo "... dependency_graph.s"
	@echo "... enumerator.o"
	@echo "... enumerator.i"
	@echo "... enumerator.s"
	@echo "... heuristics.o"
	@echo "... heuristics.i"
	@echo "... heuristics.s"
	@echo "... logic_program.o"
	@echo "... logic_program.i"
	@echo "... logic_program.s"
	@echo "... logic_program_types.o"
	@echo "... logic_program_types.i"
	@echo "... logic_program_types.s"
	@echo "... lookahead.o"
	@echo "... lookahead.i"
	@echo "... lookahead.s"
	@echo "... minimize_constraint.o"
	@echo "... minimize_constraint.i"
	@echo "... minimize_constraint.s"
	@echo "... model_enumerators.o"
	@echo "... model_enumerators.i"
	@echo "... model_enumerators.s"
	@echo "... parallel_solve.o"
	@echo "... parallel_solve.i"
	@echo "... parallel_solve.s"
	@echo "... parser.o"
	@echo "... parser.i"
	@echo "... parser.s"
	@echo "... program_builder.o"
	@echo "... program_builder.i"
	@echo "... program_builder.s"
	@echo "... satelite.o"
	@echo "... satelite.i"
	@echo "... satelite.s"
	@echo "... shared_context.o"
	@echo "... shared_context.i"
	@echo "... shared_context.s"
	@echo "... solve_algorithms.o"
	@echo "... solve_algorithms.i"
	@echo "... solve_algorithms.s"
	@echo "... solver.o"
	@echo "... solver.i"
	@echo "... solver.s"
	@echo "... solver_strategies.o"
	@echo "... solver_strategies.i"
	@echo "... solver_strategies.s"
	@echo "... solver_types.o"
	@echo "... solver_types.i"
	@echo "... solver_types.s"
	@echo "... statistics.o"
	@echo "... statistics.i"
	@echo "... statistics.s"
	@echo "... timer.o"
	@echo "... timer.i"
	@echo "... timer.s"
	@echo "... unfounded_check.o"
	@echo "... unfounded_check.i"
	@echo "... unfounded_check.s"
	@echo "... weight_constraint.o"
	@echo "... weight_constraint.i"
	@echo "... weight_constraint.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

