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

# Prepare targets for installation.
preinstall/fast:
	cd /home/local/tuletule/Downloads/clingo-5.6.2/clingo && $(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 libgringo/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.
libgringo/CMakeFiles/gen1.dir/rule:
	cd /home/local/tuletule/Downloads/clingo-5.6.2/clingo && $(MAKE) $(MAKESILENT) -f CMakeFiles/Makefile2 libgringo/CMakeFiles/gen1.dir/rule
.PHONY : libgringo/CMakeFiles/gen1.dir/rule

# Convenience name for target.
gen1: libgringo/CMakeFiles/gen1.dir/rule
.PHONY : gen1

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

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

# Convenience name for target.
gen2: libgringo/CMakeFiles/gen2.dir/rule
.PHONY : gen2

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

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

# Convenience name for target.
gen3: libgringo/CMakeFiles/gen3.dir/rule
.PHONY : gen3

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

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

# Convenience name for target.
gen4: libgringo/CMakeFiles/gen4.dir/rule
.PHONY : gen4

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

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

# Convenience name for target.
libgringo: libgringo/CMakeFiles/libgringo.dir/rule
.PHONY : libgringo

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

src/ground/instantiation.o: src/ground/instantiation.cc.o
.PHONY : src/ground/instantiation.o

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

src/ground/instantiation.i: src/ground/instantiation.cc.i
.PHONY : src/ground/instantiation.i

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

src/ground/instantiation.s: src/ground/instantiation.cc.s
.PHONY : src/ground/instantiation.s

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

src/ground/literal.o: src/ground/literal.cc.o
.PHONY : src/ground/literal.o

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

src/ground/literal.i: src/ground/literal.cc.i
.PHONY : src/ground/literal.i

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

src/ground/literal.s: src/ground/literal.cc.s
.PHONY : src/ground/literal.s

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

src/ground/literals.o: src/ground/literals.cc.o
.PHONY : src/ground/literals.o

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

src/ground/literals.i: src/ground/literals.cc.i
.PHONY : src/ground/literals.i

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

src/ground/literals.s: src/ground/literals.cc.s
.PHONY : src/ground/literals.s

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

src/ground/program.o: src/ground/program.cc.o
.PHONY : src/ground/program.o

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

src/ground/program.i: src/ground/program.cc.i
.PHONY : src/ground/program.i

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

src/ground/program.s: src/ground/program.cc.s
.PHONY : src/ground/program.s

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

src/ground/statements.o: src/ground/statements.cc.o
.PHONY : src/ground/statements.o

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

src/ground/statements.i: src/ground/statements.cc.i
.PHONY : src/ground/statements.i

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

src/ground/statements.s: src/ground/statements.cc.s
.PHONY : src/ground/statements.s

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

src/input/aggregate.o: src/input/aggregate.cc.o
.PHONY : src/input/aggregate.o

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

src/input/aggregate.i: src/input/aggregate.cc.i
.PHONY : src/input/aggregate.i

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

src/input/aggregate.s: src/input/aggregate.cc.s
.PHONY : src/input/aggregate.s

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

src/input/aggregates.o: src/input/aggregates.cc.o
.PHONY : src/input/aggregates.o

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

src/input/aggregates.i: src/input/aggregates.cc.i
.PHONY : src/input/aggregates.i

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

src/input/aggregates.s: src/input/aggregates.cc.s
.PHONY : src/input/aggregates.s

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

src/input/groundtermgrammar/grammar.o: src/input/groundtermgrammar/grammar.cc.o
.PHONY : src/input/groundtermgrammar/grammar.o

# target to build an object file
src/input/groundtermgrammar/grammar.cc.o:
	cd /home/local/tuletule/Downloads/clingo-5.6.2/clingo && $(MAKE) $(MAKESILENT) -f libgringo/CMakeFiles/libgringo.dir/build.make libgringo/CMakeFiles/libgringo.dir/src/input/groundtermgrammar/grammar.cc.o
.PHONY : src/input/groundtermgrammar/grammar.cc.o

src/input/groundtermgrammar/grammar.i: src/input/groundtermgrammar/grammar.cc.i
.PHONY : src/input/groundtermgrammar/grammar.i

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

src/input/groundtermgrammar/grammar.s: src/input/groundtermgrammar/grammar.cc.s
.PHONY : src/input/groundtermgrammar/grammar.s

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

src/input/groundtermparser.o: src/input/groundtermparser.cc.o
.PHONY : src/input/groundtermparser.o

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

src/input/groundtermparser.i: src/input/groundtermparser.cc.i
.PHONY : src/input/groundtermparser.i

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

src/input/groundtermparser.s: src/input/groundtermparser.cc.s
.PHONY : src/input/groundtermparser.s

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

src/input/literal.o: src/input/literal.cc.o
.PHONY : src/input/literal.o

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

src/input/literal.i: src/input/literal.cc.i
.PHONY : src/input/literal.i

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

src/input/literal.s: src/input/literal.cc.s
.PHONY : src/input/literal.s

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

src/input/literals.o: src/input/literals.cc.o
.PHONY : src/input/literals.o

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

src/input/literals.i: src/input/literals.cc.i
.PHONY : src/input/literals.i

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

src/input/literals.s: src/input/literals.cc.s
.PHONY : src/input/literals.s

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

src/input/nongroundgrammar/grammar.o: src/input/nongroundgrammar/grammar.cc.o
.PHONY : src/input/nongroundgrammar/grammar.o

# target to build an object file
src/input/nongroundgrammar/grammar.cc.o:
	cd /home/local/tuletule/Downloads/clingo-5.6.2/clingo && $(MAKE) $(MAKESILENT) -f libgringo/CMakeFiles/libgringo.dir/build.make libgringo/CMakeFiles/libgringo.dir/src/input/nongroundgrammar/grammar.cc.o
.PHONY : src/input/nongroundgrammar/grammar.cc.o

src/input/nongroundgrammar/grammar.i: src/input/nongroundgrammar/grammar.cc.i
.PHONY : src/input/nongroundgrammar/grammar.i

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

src/input/nongroundgrammar/grammar.s: src/input/nongroundgrammar/grammar.cc.s
.PHONY : src/input/nongroundgrammar/grammar.s

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

src/input/nongroundparser.o: src/input/nongroundparser.cc.o
.PHONY : src/input/nongroundparser.o

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

src/input/nongroundparser.i: src/input/nongroundparser.cc.i
.PHONY : src/input/nongroundparser.i

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

src/input/nongroundparser.s: src/input/nongroundparser.cc.s
.PHONY : src/input/nongroundparser.s

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

src/input/program.o: src/input/program.cc.o
.PHONY : src/input/program.o

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

src/input/program.i: src/input/program.cc.i
.PHONY : src/input/program.i

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

src/input/program.s: src/input/program.cc.s
.PHONY : src/input/program.s

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

src/input/programbuilder.o: src/input/programbuilder.cc.o
.PHONY : src/input/programbuilder.o

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

src/input/programbuilder.i: src/input/programbuilder.cc.i
.PHONY : src/input/programbuilder.i

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

src/input/programbuilder.s: src/input/programbuilder.cc.s
.PHONY : src/input/programbuilder.s

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

src/input/statement.o: src/input/statement.cc.o
.PHONY : src/input/statement.o

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

src/input/statement.i: src/input/statement.cc.i
.PHONY : src/input/statement.i

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

src/input/statement.s: src/input/statement.cc.s
.PHONY : src/input/statement.s

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

src/input/theory.o: src/input/theory.cc.o
.PHONY : src/input/theory.o

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

src/input/theory.i: src/input/theory.cc.i
.PHONY : src/input/theory.i

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

src/input/theory.s: src/input/theory.cc.s
.PHONY : src/input/theory.s

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

src/output/aggregates.o: src/output/aggregates.cc.o
.PHONY : src/output/aggregates.o

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

src/output/aggregates.i: src/output/aggregates.cc.i
.PHONY : src/output/aggregates.i

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

src/output/aggregates.s: src/output/aggregates.cc.s
.PHONY : src/output/aggregates.s

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

src/output/literal.o: src/output/literal.cc.o
.PHONY : src/output/literal.o

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

src/output/literal.i: src/output/literal.cc.i
.PHONY : src/output/literal.i

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

src/output/literal.s: src/output/literal.cc.s
.PHONY : src/output/literal.s

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

src/output/literals.o: src/output/literals.cc.o
.PHONY : src/output/literals.o

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

src/output/literals.i: src/output/literals.cc.i
.PHONY : src/output/literals.i

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

src/output/literals.s: src/output/literals.cc.s
.PHONY : src/output/literals.s

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

src/output/output.o: src/output/output.cc.o
.PHONY : src/output/output.o

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

src/output/output.i: src/output/output.cc.i
.PHONY : src/output/output.i

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

src/output/output.s: src/output/output.cc.s
.PHONY : src/output/output.s

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

src/output/statement.o: src/output/statement.cc.o
.PHONY : src/output/statement.o

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

src/output/statement.i: src/output/statement.cc.i
.PHONY : src/output/statement.i

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

src/output/statement.s: src/output/statement.cc.s
.PHONY : src/output/statement.s

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

src/output/statements.o: src/output/statements.cc.o
.PHONY : src/output/statements.o

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

src/output/statements.i: src/output/statements.cc.i
.PHONY : src/output/statements.i

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

src/output/statements.s: src/output/statements.cc.s
.PHONY : src/output/statements.s

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

src/output/theory.o: src/output/theory.cc.o
.PHONY : src/output/theory.o

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

src/output/theory.i: src/output/theory.cc.i
.PHONY : src/output/theory.i

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

src/output/theory.s: src/output/theory.cc.s
.PHONY : src/output/theory.s

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

src/symbol.o: src/symbol.cc.o
.PHONY : src/symbol.o

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

src/symbol.i: src/symbol.cc.i
.PHONY : src/symbol.i

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

src/symbol.s: src/symbol.cc.s
.PHONY : src/symbol.s

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

src/term.o: src/term.cc.o
.PHONY : src/term.o

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

src/term.i: src/term.cc.i
.PHONY : src/term.i

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

src/term.s: src/term.cc.s
.PHONY : src/term.s

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

src/terms.o: src/terms.cc.o
.PHONY : src/terms.o

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

src/terms.i: src/terms.cc.i
.PHONY : src/terms.i

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

src/terms.s: src/terms.cc.s
.PHONY : src/terms.s

# target to generate assembly for a file
src/terms.cc.s:
	cd /home/local/tuletule/Downloads/clingo-5.6.2/clingo && $(MAKE) $(MAKESILENT) -f libgringo/CMakeFiles/libgringo.dir/build.make libgringo/CMakeFiles/libgringo.dir/src/terms.cc.s
.PHONY : src/terms.cc.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 "... gen1"
	@echo "... gen2"
	@echo "... gen3"
	@echo "... gen4"
	@echo "... libgringo"
	@echo "... src/ground/instantiation.o"
	@echo "... src/ground/instantiation.i"
	@echo "... src/ground/instantiation.s"
	@echo "... src/ground/literal.o"
	@echo "... src/ground/literal.i"
	@echo "... src/ground/literal.s"
	@echo "... src/ground/literals.o"
	@echo "... src/ground/literals.i"
	@echo "... src/ground/literals.s"
	@echo "... src/ground/program.o"
	@echo "... src/ground/program.i"
	@echo "... src/ground/program.s"
	@echo "... src/ground/statements.o"
	@echo "... src/ground/statements.i"
	@echo "... src/ground/statements.s"
	@echo "... src/input/aggregate.o"
	@echo "... src/input/aggregate.i"
	@echo "... src/input/aggregate.s"
	@echo "... src/input/aggregates.o"
	@echo "... src/input/aggregates.i"
	@echo "... src/input/aggregates.s"
	@echo "... src/input/groundtermgrammar/grammar.o"
	@echo "... src/input/groundtermgrammar/grammar.i"
	@echo "... src/input/groundtermgrammar/grammar.s"
	@echo "... src/input/groundtermparser.o"
	@echo "... src/input/groundtermparser.i"
	@echo "... src/input/groundtermparser.s"
	@echo "... src/input/literal.o"
	@echo "... src/input/literal.i"
	@echo "... src/input/literal.s"
	@echo "... src/input/literals.o"
	@echo "... src/input/literals.i"
	@echo "... src/input/literals.s"
	@echo "... src/input/nongroundgrammar/grammar.o"
	@echo "... src/input/nongroundgrammar/grammar.i"
	@echo "... src/input/nongroundgrammar/grammar.s"
	@echo "... src/input/nongroundparser.o"
	@echo "... src/input/nongroundparser.i"
	@echo "... src/input/nongroundparser.s"
	@echo "... src/input/program.o"
	@echo "... src/input/program.i"
	@echo "... src/input/program.s"
	@echo "... src/input/programbuilder.o"
	@echo "... src/input/programbuilder.i"
	@echo "... src/input/programbuilder.s"
	@echo "... src/input/statement.o"
	@echo "... src/input/statement.i"
	@echo "... src/input/statement.s"
	@echo "... src/input/theory.o"
	@echo "... src/input/theory.i"
	@echo "... src/input/theory.s"
	@echo "... src/output/aggregates.o"
	@echo "... src/output/aggregates.i"
	@echo "... src/output/aggregates.s"
	@echo "... src/output/literal.o"
	@echo "... src/output/literal.i"
	@echo "... src/output/literal.s"
	@echo "... src/output/literals.o"
	@echo "... src/output/literals.i"
	@echo "... src/output/literals.s"
	@echo "... src/output/output.o"
	@echo "... src/output/output.i"
	@echo "... src/output/output.s"
	@echo "... src/output/statement.o"
	@echo "... src/output/statement.i"
	@echo "... src/output/statement.s"
	@echo "... src/output/statements.o"
	@echo "... src/output/statements.i"
	@echo "... src/output/statements.s"
	@echo "... src/output/theory.o"
	@echo "... src/output/theory.i"
	@echo "... src/output/theory.s"
	@echo "... src/symbol.o"
	@echo "... src/symbol.i"
	@echo "... src/symbol.s"
	@echo "... src/term.o"
	@echo "... src/term.i"
	@echo "... src/term.s"
	@echo "... src/terms.o"
	@echo "... src/terms.i"
	@echo "... src/terms.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

