# CMAKE generated file: DO NOT EDIT!
# Generated by "Unix Makefiles" Generator, CMake Version 3.10

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


# Remove some rules from gmake that .SUFFIXES does not remove.
SUFFIXES =

.SUFFIXES: .hpux_make_needs_suffix_list


# Suppress display of executed commands.
$(VERBOSE).SILENT:


# A target that is always out of date.
cmake_force:

.PHONY : cmake_force

#=============================================================================
# Set environment variables for the build.

# The shell in which to execute make rules.
SHELL = /bin/sh

# The CMake executable.
CMAKE_COMMAND = /usr/bin/cmake

# The command to remove a file.
RM = /usr/bin/cmake -E remove -f

# Escaping for special characters.
EQUALS = =

# The top-level source directory on which CMake was run.
CMAKE_SOURCE_DIR = /home/ae/Desktop/artifact/stormpy

# The top-level build directory on which CMake was run.
CMAKE_BINARY_DIR = /home/ae/Desktop/artifact/stormpy/build/temp.linux-x86_64-3.6

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

# 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 -H$(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

# The main all target
all: cmake_check_build_system
	$(CMAKE_COMMAND) -E cmake_progress_start /home/ae/Desktop/artifact/stormpy/build/temp.linux-x86_64-3.6/CMakeFiles /home/ae/Desktop/artifact/stormpy/build/temp.linux-x86_64-3.6/CMakeFiles/progress.marks
	$(MAKE) -f CMakeFiles/Makefile2 all
	$(CMAKE_COMMAND) -E cmake_progress_start /home/ae/Desktop/artifact/stormpy/build/temp.linux-x86_64-3.6/CMakeFiles 0
.PHONY : all

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

# The main clean target
clean/fast: clean

.PHONY : clean/fast

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

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

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

#=============================================================================
# Target rules for targets named dft

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

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

#=============================================================================
# Target rules for targets named info

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

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

#=============================================================================
# Target rules for targets named core

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

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

#=============================================================================
# Target rules for targets named logic

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

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

#=============================================================================
# Target rules for targets named pars

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

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

#=============================================================================
# Target rules for targets named storage

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

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

#=============================================================================
# Target rules for targets named utility

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

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

src/core/analysis.o: src/core/analysis.cpp.o

.PHONY : src/core/analysis.o

# target to build an object file
src/core/analysis.cpp.o:
	$(MAKE) -f CMakeFiles/core.dir/build.make CMakeFiles/core.dir/src/core/analysis.cpp.o
.PHONY : src/core/analysis.cpp.o

src/core/analysis.i: src/core/analysis.cpp.i

.PHONY : src/core/analysis.i

# target to preprocess a source file
src/core/analysis.cpp.i:
	$(MAKE) -f CMakeFiles/core.dir/build.make CMakeFiles/core.dir/src/core/analysis.cpp.i
.PHONY : src/core/analysis.cpp.i

src/core/analysis.s: src/core/analysis.cpp.s

.PHONY : src/core/analysis.s

# target to generate assembly for a file
src/core/analysis.cpp.s:
	$(MAKE) -f CMakeFiles/core.dir/build.make CMakeFiles/core.dir/src/core/analysis.cpp.s
.PHONY : src/core/analysis.cpp.s

src/core/bisimulation.o: src/core/bisimulation.cpp.o

.PHONY : src/core/bisimulation.o

# target to build an object file
src/core/bisimulation.cpp.o:
	$(MAKE) -f CMakeFiles/core.dir/build.make CMakeFiles/core.dir/src/core/bisimulation.cpp.o
.PHONY : src/core/bisimulation.cpp.o

src/core/bisimulation.i: src/core/bisimulation.cpp.i

.PHONY : src/core/bisimulation.i

# target to preprocess a source file
src/core/bisimulation.cpp.i:
	$(MAKE) -f CMakeFiles/core.dir/build.make CMakeFiles/core.dir/src/core/bisimulation.cpp.i
.PHONY : src/core/bisimulation.cpp.i

src/core/bisimulation.s: src/core/bisimulation.cpp.s

.PHONY : src/core/bisimulation.s

# target to generate assembly for a file
src/core/bisimulation.cpp.s:
	$(MAKE) -f CMakeFiles/core.dir/build.make CMakeFiles/core.dir/src/core/bisimulation.cpp.s
.PHONY : src/core/bisimulation.cpp.s

src/core/core.o: src/core/core.cpp.o

.PHONY : src/core/core.o

# target to build an object file
src/core/core.cpp.o:
	$(MAKE) -f CMakeFiles/core.dir/build.make CMakeFiles/core.dir/src/core/core.cpp.o
.PHONY : src/core/core.cpp.o

src/core/core.i: src/core/core.cpp.i

.PHONY : src/core/core.i

# target to preprocess a source file
src/core/core.cpp.i:
	$(MAKE) -f CMakeFiles/core.dir/build.make CMakeFiles/core.dir/src/core/core.cpp.i
.PHONY : src/core/core.cpp.i

src/core/core.s: src/core/core.cpp.s

.PHONY : src/core/core.s

# target to generate assembly for a file
src/core/core.cpp.s:
	$(MAKE) -f CMakeFiles/core.dir/build.make CMakeFiles/core.dir/src/core/core.cpp.s
.PHONY : src/core/core.cpp.s

src/core/counterexample.o: src/core/counterexample.cpp.o

.PHONY : src/core/counterexample.o

# target to build an object file
src/core/counterexample.cpp.o:
	$(MAKE) -f CMakeFiles/core.dir/build.make CMakeFiles/core.dir/src/core/counterexample.cpp.o
.PHONY : src/core/counterexample.cpp.o

src/core/counterexample.i: src/core/counterexample.cpp.i

.PHONY : src/core/counterexample.i

# target to preprocess a source file
src/core/counterexample.cpp.i:
	$(MAKE) -f CMakeFiles/core.dir/build.make CMakeFiles/core.dir/src/core/counterexample.cpp.i
.PHONY : src/core/counterexample.cpp.i

src/core/counterexample.s: src/core/counterexample.cpp.s

.PHONY : src/core/counterexample.s

# target to generate assembly for a file
src/core/counterexample.cpp.s:
	$(MAKE) -f CMakeFiles/core.dir/build.make CMakeFiles/core.dir/src/core/counterexample.cpp.s
.PHONY : src/core/counterexample.cpp.s

src/core/environment.o: src/core/environment.cpp.o

.PHONY : src/core/environment.o

# target to build an object file
src/core/environment.cpp.o:
	$(MAKE) -f CMakeFiles/core.dir/build.make CMakeFiles/core.dir/src/core/environment.cpp.o
.PHONY : src/core/environment.cpp.o

src/core/environment.i: src/core/environment.cpp.i

.PHONY : src/core/environment.i

# target to preprocess a source file
src/core/environment.cpp.i:
	$(MAKE) -f CMakeFiles/core.dir/build.make CMakeFiles/core.dir/src/core/environment.cpp.i
.PHONY : src/core/environment.cpp.i

src/core/environment.s: src/core/environment.cpp.s

.PHONY : src/core/environment.s

# target to generate assembly for a file
src/core/environment.cpp.s:
	$(MAKE) -f CMakeFiles/core.dir/build.make CMakeFiles/core.dir/src/core/environment.cpp.s
.PHONY : src/core/environment.cpp.s

src/core/input.o: src/core/input.cpp.o

.PHONY : src/core/input.o

# target to build an object file
src/core/input.cpp.o:
	$(MAKE) -f CMakeFiles/core.dir/build.make CMakeFiles/core.dir/src/core/input.cpp.o
.PHONY : src/core/input.cpp.o

src/core/input.i: src/core/input.cpp.i

.PHONY : src/core/input.i

# target to preprocess a source file
src/core/input.cpp.i:
	$(MAKE) -f CMakeFiles/core.dir/build.make CMakeFiles/core.dir/src/core/input.cpp.i
.PHONY : src/core/input.cpp.i

src/core/input.s: src/core/input.cpp.s

.PHONY : src/core/input.s

# target to generate assembly for a file
src/core/input.cpp.s:
	$(MAKE) -f CMakeFiles/core.dir/build.make CMakeFiles/core.dir/src/core/input.cpp.s
.PHONY : src/core/input.cpp.s

src/core/modelchecking.o: src/core/modelchecking.cpp.o

.PHONY : src/core/modelchecking.o

# target to build an object file
src/core/modelchecking.cpp.o:
	$(MAKE) -f CMakeFiles/core.dir/build.make CMakeFiles/core.dir/src/core/modelchecking.cpp.o
.PHONY : src/core/modelchecking.cpp.o

src/core/modelchecking.i: src/core/modelchecking.cpp.i

.PHONY : src/core/modelchecking.i

# target to preprocess a source file
src/core/modelchecking.cpp.i:
	$(MAKE) -f CMakeFiles/core.dir/build.make CMakeFiles/core.dir/src/core/modelchecking.cpp.i
.PHONY : src/core/modelchecking.cpp.i

src/core/modelchecking.s: src/core/modelchecking.cpp.s

.PHONY : src/core/modelchecking.s

# target to generate assembly for a file
src/core/modelchecking.cpp.s:
	$(MAKE) -f CMakeFiles/core.dir/build.make CMakeFiles/core.dir/src/core/modelchecking.cpp.s
.PHONY : src/core/modelchecking.cpp.s

src/core/result.o: src/core/result.cpp.o

.PHONY : src/core/result.o

# target to build an object file
src/core/result.cpp.o:
	$(MAKE) -f CMakeFiles/core.dir/build.make CMakeFiles/core.dir/src/core/result.cpp.o
.PHONY : src/core/result.cpp.o

src/core/result.i: src/core/result.cpp.i

.PHONY : src/core/result.i

# target to preprocess a source file
src/core/result.cpp.i:
	$(MAKE) -f CMakeFiles/core.dir/build.make CMakeFiles/core.dir/src/core/result.cpp.i
.PHONY : src/core/result.cpp.i

src/core/result.s: src/core/result.cpp.s

.PHONY : src/core/result.s

# target to generate assembly for a file
src/core/result.cpp.s:
	$(MAKE) -f CMakeFiles/core.dir/build.make CMakeFiles/core.dir/src/core/result.cpp.s
.PHONY : src/core/result.cpp.s

src/core/transformation.o: src/core/transformation.cpp.o

.PHONY : src/core/transformation.o

# target to build an object file
src/core/transformation.cpp.o:
	$(MAKE) -f CMakeFiles/core.dir/build.make CMakeFiles/core.dir/src/core/transformation.cpp.o
.PHONY : src/core/transformation.cpp.o

src/core/transformation.i: src/core/transformation.cpp.i

.PHONY : src/core/transformation.i

# target to preprocess a source file
src/core/transformation.cpp.i:
	$(MAKE) -f CMakeFiles/core.dir/build.make CMakeFiles/core.dir/src/core/transformation.cpp.i
.PHONY : src/core/transformation.cpp.i

src/core/transformation.s: src/core/transformation.cpp.s

.PHONY : src/core/transformation.s

# target to generate assembly for a file
src/core/transformation.cpp.s:
	$(MAKE) -f CMakeFiles/core.dir/build.make CMakeFiles/core.dir/src/core/transformation.cpp.s
.PHONY : src/core/transformation.cpp.s

src/dft/analysis.o: src/dft/analysis.cpp.o

.PHONY : src/dft/analysis.o

# target to build an object file
src/dft/analysis.cpp.o:
	$(MAKE) -f CMakeFiles/dft.dir/build.make CMakeFiles/dft.dir/src/dft/analysis.cpp.o
.PHONY : src/dft/analysis.cpp.o

src/dft/analysis.i: src/dft/analysis.cpp.i

.PHONY : src/dft/analysis.i

# target to preprocess a source file
src/dft/analysis.cpp.i:
	$(MAKE) -f CMakeFiles/dft.dir/build.make CMakeFiles/dft.dir/src/dft/analysis.cpp.i
.PHONY : src/dft/analysis.cpp.i

src/dft/analysis.s: src/dft/analysis.cpp.s

.PHONY : src/dft/analysis.s

# target to generate assembly for a file
src/dft/analysis.cpp.s:
	$(MAKE) -f CMakeFiles/dft.dir/build.make CMakeFiles/dft.dir/src/dft/analysis.cpp.s
.PHONY : src/dft/analysis.cpp.s

src/dft/dft.o: src/dft/dft.cpp.o

.PHONY : src/dft/dft.o

# target to build an object file
src/dft/dft.cpp.o:
	$(MAKE) -f CMakeFiles/dft.dir/build.make CMakeFiles/dft.dir/src/dft/dft.cpp.o
.PHONY : src/dft/dft.cpp.o

src/dft/dft.i: src/dft/dft.cpp.i

.PHONY : src/dft/dft.i

# target to preprocess a source file
src/dft/dft.cpp.i:
	$(MAKE) -f CMakeFiles/dft.dir/build.make CMakeFiles/dft.dir/src/dft/dft.cpp.i
.PHONY : src/dft/dft.cpp.i

src/dft/dft.s: src/dft/dft.cpp.s

.PHONY : src/dft/dft.s

# target to generate assembly for a file
src/dft/dft.cpp.s:
	$(MAKE) -f CMakeFiles/dft.dir/build.make CMakeFiles/dft.dir/src/dft/dft.cpp.s
.PHONY : src/dft/dft.cpp.s

src/dft/io.o: src/dft/io.cpp.o

.PHONY : src/dft/io.o

# target to build an object file
src/dft/io.cpp.o:
	$(MAKE) -f CMakeFiles/dft.dir/build.make CMakeFiles/dft.dir/src/dft/io.cpp.o
.PHONY : src/dft/io.cpp.o

src/dft/io.i: src/dft/io.cpp.i

.PHONY : src/dft/io.i

# target to preprocess a source file
src/dft/io.cpp.i:
	$(MAKE) -f CMakeFiles/dft.dir/build.make CMakeFiles/dft.dir/src/dft/io.cpp.i
.PHONY : src/dft/io.cpp.i

src/dft/io.s: src/dft/io.cpp.s

.PHONY : src/dft/io.s

# target to generate assembly for a file
src/dft/io.cpp.s:
	$(MAKE) -f CMakeFiles/dft.dir/build.make CMakeFiles/dft.dir/src/dft/io.cpp.s
.PHONY : src/dft/io.cpp.s

src/logic/formulae.o: src/logic/formulae.cpp.o

.PHONY : src/logic/formulae.o

# target to build an object file
src/logic/formulae.cpp.o:
	$(MAKE) -f CMakeFiles/logic.dir/build.make CMakeFiles/logic.dir/src/logic/formulae.cpp.o
.PHONY : src/logic/formulae.cpp.o

src/logic/formulae.i: src/logic/formulae.cpp.i

.PHONY : src/logic/formulae.i

# target to preprocess a source file
src/logic/formulae.cpp.i:
	$(MAKE) -f CMakeFiles/logic.dir/build.make CMakeFiles/logic.dir/src/logic/formulae.cpp.i
.PHONY : src/logic/formulae.cpp.i

src/logic/formulae.s: src/logic/formulae.cpp.s

.PHONY : src/logic/formulae.s

# target to generate assembly for a file
src/logic/formulae.cpp.s:
	$(MAKE) -f CMakeFiles/logic.dir/build.make CMakeFiles/logic.dir/src/logic/formulae.cpp.s
.PHONY : src/logic/formulae.cpp.s

src/mod_core.o: src/mod_core.cpp.o

.PHONY : src/mod_core.o

# target to build an object file
src/mod_core.cpp.o:
	$(MAKE) -f CMakeFiles/core.dir/build.make CMakeFiles/core.dir/src/mod_core.cpp.o
.PHONY : src/mod_core.cpp.o

src/mod_core.i: src/mod_core.cpp.i

.PHONY : src/mod_core.i

# target to preprocess a source file
src/mod_core.cpp.i:
	$(MAKE) -f CMakeFiles/core.dir/build.make CMakeFiles/core.dir/src/mod_core.cpp.i
.PHONY : src/mod_core.cpp.i

src/mod_core.s: src/mod_core.cpp.s

.PHONY : src/mod_core.s

# target to generate assembly for a file
src/mod_core.cpp.s:
	$(MAKE) -f CMakeFiles/core.dir/build.make CMakeFiles/core.dir/src/mod_core.cpp.s
.PHONY : src/mod_core.cpp.s

src/mod_dft.o: src/mod_dft.cpp.o

.PHONY : src/mod_dft.o

# target to build an object file
src/mod_dft.cpp.o:
	$(MAKE) -f CMakeFiles/dft.dir/build.make CMakeFiles/dft.dir/src/mod_dft.cpp.o
.PHONY : src/mod_dft.cpp.o

src/mod_dft.i: src/mod_dft.cpp.i

.PHONY : src/mod_dft.i

# target to preprocess a source file
src/mod_dft.cpp.i:
	$(MAKE) -f CMakeFiles/dft.dir/build.make CMakeFiles/dft.dir/src/mod_dft.cpp.i
.PHONY : src/mod_dft.cpp.i

src/mod_dft.s: src/mod_dft.cpp.s

.PHONY : src/mod_dft.s

# target to generate assembly for a file
src/mod_dft.cpp.s:
	$(MAKE) -f CMakeFiles/dft.dir/build.make CMakeFiles/dft.dir/src/mod_dft.cpp.s
.PHONY : src/mod_dft.cpp.s

src/mod_info.o: src/mod_info.cpp.o

.PHONY : src/mod_info.o

# target to build an object file
src/mod_info.cpp.o:
	$(MAKE) -f CMakeFiles/info.dir/build.make CMakeFiles/info.dir/src/mod_info.cpp.o
.PHONY : src/mod_info.cpp.o

src/mod_info.i: src/mod_info.cpp.i

.PHONY : src/mod_info.i

# target to preprocess a source file
src/mod_info.cpp.i:
	$(MAKE) -f CMakeFiles/info.dir/build.make CMakeFiles/info.dir/src/mod_info.cpp.i
.PHONY : src/mod_info.cpp.i

src/mod_info.s: src/mod_info.cpp.s

.PHONY : src/mod_info.s

# target to generate assembly for a file
src/mod_info.cpp.s:
	$(MAKE) -f CMakeFiles/info.dir/build.make CMakeFiles/info.dir/src/mod_info.cpp.s
.PHONY : src/mod_info.cpp.s

src/mod_logic.o: src/mod_logic.cpp.o

.PHONY : src/mod_logic.o

# target to build an object file
src/mod_logic.cpp.o:
	$(MAKE) -f CMakeFiles/logic.dir/build.make CMakeFiles/logic.dir/src/mod_logic.cpp.o
.PHONY : src/mod_logic.cpp.o

src/mod_logic.i: src/mod_logic.cpp.i

.PHONY : src/mod_logic.i

# target to preprocess a source file
src/mod_logic.cpp.i:
	$(MAKE) -f CMakeFiles/logic.dir/build.make CMakeFiles/logic.dir/src/mod_logic.cpp.i
.PHONY : src/mod_logic.cpp.i

src/mod_logic.s: src/mod_logic.cpp.s

.PHONY : src/mod_logic.s

# target to generate assembly for a file
src/mod_logic.cpp.s:
	$(MAKE) -f CMakeFiles/logic.dir/build.make CMakeFiles/logic.dir/src/mod_logic.cpp.s
.PHONY : src/mod_logic.cpp.s

src/mod_pars.o: src/mod_pars.cpp.o

.PHONY : src/mod_pars.o

# target to build an object file
src/mod_pars.cpp.o:
	$(MAKE) -f CMakeFiles/pars.dir/build.make CMakeFiles/pars.dir/src/mod_pars.cpp.o
.PHONY : src/mod_pars.cpp.o

src/mod_pars.i: src/mod_pars.cpp.i

.PHONY : src/mod_pars.i

# target to preprocess a source file
src/mod_pars.cpp.i:
	$(MAKE) -f CMakeFiles/pars.dir/build.make CMakeFiles/pars.dir/src/mod_pars.cpp.i
.PHONY : src/mod_pars.cpp.i

src/mod_pars.s: src/mod_pars.cpp.s

.PHONY : src/mod_pars.s

# target to generate assembly for a file
src/mod_pars.cpp.s:
	$(MAKE) -f CMakeFiles/pars.dir/build.make CMakeFiles/pars.dir/src/mod_pars.cpp.s
.PHONY : src/mod_pars.cpp.s

src/mod_storage.o: src/mod_storage.cpp.o

.PHONY : src/mod_storage.o

# target to build an object file
src/mod_storage.cpp.o:
	$(MAKE) -f CMakeFiles/storage.dir/build.make CMakeFiles/storage.dir/src/mod_storage.cpp.o
.PHONY : src/mod_storage.cpp.o

src/mod_storage.i: src/mod_storage.cpp.i

.PHONY : src/mod_storage.i

# target to preprocess a source file
src/mod_storage.cpp.i:
	$(MAKE) -f CMakeFiles/storage.dir/build.make CMakeFiles/storage.dir/src/mod_storage.cpp.i
.PHONY : src/mod_storage.cpp.i

src/mod_storage.s: src/mod_storage.cpp.s

.PHONY : src/mod_storage.s

# target to generate assembly for a file
src/mod_storage.cpp.s:
	$(MAKE) -f CMakeFiles/storage.dir/build.make CMakeFiles/storage.dir/src/mod_storage.cpp.s
.PHONY : src/mod_storage.cpp.s

src/mod_utility.o: src/mod_utility.cpp.o

.PHONY : src/mod_utility.o

# target to build an object file
src/mod_utility.cpp.o:
	$(MAKE) -f CMakeFiles/utility.dir/build.make CMakeFiles/utility.dir/src/mod_utility.cpp.o
.PHONY : src/mod_utility.cpp.o

src/mod_utility.i: src/mod_utility.cpp.i

.PHONY : src/mod_utility.i

# target to preprocess a source file
src/mod_utility.cpp.i:
	$(MAKE) -f CMakeFiles/utility.dir/build.make CMakeFiles/utility.dir/src/mod_utility.cpp.i
.PHONY : src/mod_utility.cpp.i

src/mod_utility.s: src/mod_utility.cpp.s

.PHONY : src/mod_utility.s

# target to generate assembly for a file
src/mod_utility.cpp.s:
	$(MAKE) -f CMakeFiles/utility.dir/build.make CMakeFiles/utility.dir/src/mod_utility.cpp.s
.PHONY : src/mod_utility.cpp.s

src/pars/model_instantiator.o: src/pars/model_instantiator.cpp.o

.PHONY : src/pars/model_instantiator.o

# target to build an object file
src/pars/model_instantiator.cpp.o:
	$(MAKE) -f CMakeFiles/pars.dir/build.make CMakeFiles/pars.dir/src/pars/model_instantiator.cpp.o
.PHONY : src/pars/model_instantiator.cpp.o

src/pars/model_instantiator.i: src/pars/model_instantiator.cpp.i

.PHONY : src/pars/model_instantiator.i

# target to preprocess a source file
src/pars/model_instantiator.cpp.i:
	$(MAKE) -f CMakeFiles/pars.dir/build.make CMakeFiles/pars.dir/src/pars/model_instantiator.cpp.i
.PHONY : src/pars/model_instantiator.cpp.i

src/pars/model_instantiator.s: src/pars/model_instantiator.cpp.s

.PHONY : src/pars/model_instantiator.s

# target to generate assembly for a file
src/pars/model_instantiator.cpp.s:
	$(MAKE) -f CMakeFiles/pars.dir/build.make CMakeFiles/pars.dir/src/pars/model_instantiator.cpp.s
.PHONY : src/pars/model_instantiator.cpp.s

src/pars/pars.o: src/pars/pars.cpp.o

.PHONY : src/pars/pars.o

# target to build an object file
src/pars/pars.cpp.o:
	$(MAKE) -f CMakeFiles/pars.dir/build.make CMakeFiles/pars.dir/src/pars/pars.cpp.o
.PHONY : src/pars/pars.cpp.o

src/pars/pars.i: src/pars/pars.cpp.i

.PHONY : src/pars/pars.i

# target to preprocess a source file
src/pars/pars.cpp.i:
	$(MAKE) -f CMakeFiles/pars.dir/build.make CMakeFiles/pars.dir/src/pars/pars.cpp.i
.PHONY : src/pars/pars.cpp.i

src/pars/pars.s: src/pars/pars.cpp.s

.PHONY : src/pars/pars.s

# target to generate assembly for a file
src/pars/pars.cpp.s:
	$(MAKE) -f CMakeFiles/pars.dir/build.make CMakeFiles/pars.dir/src/pars/pars.cpp.s
.PHONY : src/pars/pars.cpp.s

src/pars/pla.o: src/pars/pla.cpp.o

.PHONY : src/pars/pla.o

# target to build an object file
src/pars/pla.cpp.o:
	$(MAKE) -f CMakeFiles/pars.dir/build.make CMakeFiles/pars.dir/src/pars/pla.cpp.o
.PHONY : src/pars/pla.cpp.o

src/pars/pla.i: src/pars/pla.cpp.i

.PHONY : src/pars/pla.i

# target to preprocess a source file
src/pars/pla.cpp.i:
	$(MAKE) -f CMakeFiles/pars.dir/build.make CMakeFiles/pars.dir/src/pars/pla.cpp.i
.PHONY : src/pars/pla.cpp.i

src/pars/pla.s: src/pars/pla.cpp.s

.PHONY : src/pars/pla.s

# target to generate assembly for a file
src/pars/pla.cpp.s:
	$(MAKE) -f CMakeFiles/pars.dir/build.make CMakeFiles/pars.dir/src/pars/pla.cpp.s
.PHONY : src/pars/pla.cpp.s

src/storage/bitvector.o: src/storage/bitvector.cpp.o

.PHONY : src/storage/bitvector.o

# target to build an object file
src/storage/bitvector.cpp.o:
	$(MAKE) -f CMakeFiles/storage.dir/build.make CMakeFiles/storage.dir/src/storage/bitvector.cpp.o
.PHONY : src/storage/bitvector.cpp.o

src/storage/bitvector.i: src/storage/bitvector.cpp.i

.PHONY : src/storage/bitvector.i

# target to preprocess a source file
src/storage/bitvector.cpp.i:
	$(MAKE) -f CMakeFiles/storage.dir/build.make CMakeFiles/storage.dir/src/storage/bitvector.cpp.i
.PHONY : src/storage/bitvector.cpp.i

src/storage/bitvector.s: src/storage/bitvector.cpp.s

.PHONY : src/storage/bitvector.s

# target to generate assembly for a file
src/storage/bitvector.cpp.s:
	$(MAKE) -f CMakeFiles/storage.dir/build.make CMakeFiles/storage.dir/src/storage/bitvector.cpp.s
.PHONY : src/storage/bitvector.cpp.s

src/storage/choiceorigins.o: src/storage/choiceorigins.cpp.o

.PHONY : src/storage/choiceorigins.o

# target to build an object file
src/storage/choiceorigins.cpp.o:
	$(MAKE) -f CMakeFiles/storage.dir/build.make CMakeFiles/storage.dir/src/storage/choiceorigins.cpp.o
.PHONY : src/storage/choiceorigins.cpp.o

src/storage/choiceorigins.i: src/storage/choiceorigins.cpp.i

.PHONY : src/storage/choiceorigins.i

# target to preprocess a source file
src/storage/choiceorigins.cpp.i:
	$(MAKE) -f CMakeFiles/storage.dir/build.make CMakeFiles/storage.dir/src/storage/choiceorigins.cpp.i
.PHONY : src/storage/choiceorigins.cpp.i

src/storage/choiceorigins.s: src/storage/choiceorigins.cpp.s

.PHONY : src/storage/choiceorigins.s

# target to generate assembly for a file
src/storage/choiceorigins.cpp.s:
	$(MAKE) -f CMakeFiles/storage.dir/build.make CMakeFiles/storage.dir/src/storage/choiceorigins.cpp.s
.PHONY : src/storage/choiceorigins.cpp.s

src/storage/distribution.o: src/storage/distribution.cpp.o

.PHONY : src/storage/distribution.o

# target to build an object file
src/storage/distribution.cpp.o:
	$(MAKE) -f CMakeFiles/storage.dir/build.make CMakeFiles/storage.dir/src/storage/distribution.cpp.o
.PHONY : src/storage/distribution.cpp.o

src/storage/distribution.i: src/storage/distribution.cpp.i

.PHONY : src/storage/distribution.i

# target to preprocess a source file
src/storage/distribution.cpp.i:
	$(MAKE) -f CMakeFiles/storage.dir/build.make CMakeFiles/storage.dir/src/storage/distribution.cpp.i
.PHONY : src/storage/distribution.cpp.i

src/storage/distribution.s: src/storage/distribution.cpp.s

.PHONY : src/storage/distribution.s

# target to generate assembly for a file
src/storage/distribution.cpp.s:
	$(MAKE) -f CMakeFiles/storage.dir/build.make CMakeFiles/storage.dir/src/storage/distribution.cpp.s
.PHONY : src/storage/distribution.cpp.s

src/storage/expressions.o: src/storage/expressions.cpp.o

.PHONY : src/storage/expressions.o

# target to build an object file
src/storage/expressions.cpp.o:
	$(MAKE) -f CMakeFiles/storage.dir/build.make CMakeFiles/storage.dir/src/storage/expressions.cpp.o
.PHONY : src/storage/expressions.cpp.o

src/storage/expressions.i: src/storage/expressions.cpp.i

.PHONY : src/storage/expressions.i

# target to preprocess a source file
src/storage/expressions.cpp.i:
	$(MAKE) -f CMakeFiles/storage.dir/build.make CMakeFiles/storage.dir/src/storage/expressions.cpp.i
.PHONY : src/storage/expressions.cpp.i

src/storage/expressions.s: src/storage/expressions.cpp.s

.PHONY : src/storage/expressions.s

# target to generate assembly for a file
src/storage/expressions.cpp.s:
	$(MAKE) -f CMakeFiles/storage.dir/build.make CMakeFiles/storage.dir/src/storage/expressions.cpp.s
.PHONY : src/storage/expressions.cpp.s

src/storage/jani.o: src/storage/jani.cpp.o

.PHONY : src/storage/jani.o

# target to build an object file
src/storage/jani.cpp.o:
	$(MAKE) -f CMakeFiles/storage.dir/build.make CMakeFiles/storage.dir/src/storage/jani.cpp.o
.PHONY : src/storage/jani.cpp.o

src/storage/jani.i: src/storage/jani.cpp.i

.PHONY : src/storage/jani.i

# target to preprocess a source file
src/storage/jani.cpp.i:
	$(MAKE) -f CMakeFiles/storage.dir/build.make CMakeFiles/storage.dir/src/storage/jani.cpp.i
.PHONY : src/storage/jani.cpp.i

src/storage/jani.s: src/storage/jani.cpp.s

.PHONY : src/storage/jani.s

# target to generate assembly for a file
src/storage/jani.cpp.s:
	$(MAKE) -f CMakeFiles/storage.dir/build.make CMakeFiles/storage.dir/src/storage/jani.cpp.s
.PHONY : src/storage/jani.cpp.s

src/storage/labeling.o: src/storage/labeling.cpp.o

.PHONY : src/storage/labeling.o

# target to build an object file
src/storage/labeling.cpp.o:
	$(MAKE) -f CMakeFiles/storage.dir/build.make CMakeFiles/storage.dir/src/storage/labeling.cpp.o
.PHONY : src/storage/labeling.cpp.o

src/storage/labeling.i: src/storage/labeling.cpp.i

.PHONY : src/storage/labeling.i

# target to preprocess a source file
src/storage/labeling.cpp.i:
	$(MAKE) -f CMakeFiles/storage.dir/build.make CMakeFiles/storage.dir/src/storage/labeling.cpp.i
.PHONY : src/storage/labeling.cpp.i

src/storage/labeling.s: src/storage/labeling.cpp.s

.PHONY : src/storage/labeling.s

# target to generate assembly for a file
src/storage/labeling.cpp.s:
	$(MAKE) -f CMakeFiles/storage.dir/build.make CMakeFiles/storage.dir/src/storage/labeling.cpp.s
.PHONY : src/storage/labeling.cpp.s

src/storage/matrix.o: src/storage/matrix.cpp.o

.PHONY : src/storage/matrix.o

# target to build an object file
src/storage/matrix.cpp.o:
	$(MAKE) -f CMakeFiles/storage.dir/build.make CMakeFiles/storage.dir/src/storage/matrix.cpp.o
.PHONY : src/storage/matrix.cpp.o

src/storage/matrix.i: src/storage/matrix.cpp.i

.PHONY : src/storage/matrix.i

# target to preprocess a source file
src/storage/matrix.cpp.i:
	$(MAKE) -f CMakeFiles/storage.dir/build.make CMakeFiles/storage.dir/src/storage/matrix.cpp.i
.PHONY : src/storage/matrix.cpp.i

src/storage/matrix.s: src/storage/matrix.cpp.s

.PHONY : src/storage/matrix.s

# target to generate assembly for a file
src/storage/matrix.cpp.s:
	$(MAKE) -f CMakeFiles/storage.dir/build.make CMakeFiles/storage.dir/src/storage/matrix.cpp.s
.PHONY : src/storage/matrix.cpp.s

src/storage/model.o: src/storage/model.cpp.o

.PHONY : src/storage/model.o

# target to build an object file
src/storage/model.cpp.o:
	$(MAKE) -f CMakeFiles/storage.dir/build.make CMakeFiles/storage.dir/src/storage/model.cpp.o
.PHONY : src/storage/model.cpp.o

src/storage/model.i: src/storage/model.cpp.i

.PHONY : src/storage/model.i

# target to preprocess a source file
src/storage/model.cpp.i:
	$(MAKE) -f CMakeFiles/storage.dir/build.make CMakeFiles/storage.dir/src/storage/model.cpp.i
.PHONY : src/storage/model.cpp.i

src/storage/model.s: src/storage/model.cpp.s

.PHONY : src/storage/model.s

# target to generate assembly for a file
src/storage/model.cpp.s:
	$(MAKE) -f CMakeFiles/storage.dir/build.make CMakeFiles/storage.dir/src/storage/model.cpp.s
.PHONY : src/storage/model.cpp.s

src/storage/prism.o: src/storage/prism.cpp.o

.PHONY : src/storage/prism.o

# target to build an object file
src/storage/prism.cpp.o:
	$(MAKE) -f CMakeFiles/storage.dir/build.make CMakeFiles/storage.dir/src/storage/prism.cpp.o
.PHONY : src/storage/prism.cpp.o

src/storage/prism.i: src/storage/prism.cpp.i

.PHONY : src/storage/prism.i

# target to preprocess a source file
src/storage/prism.cpp.i:
	$(MAKE) -f CMakeFiles/storage.dir/build.make CMakeFiles/storage.dir/src/storage/prism.cpp.i
.PHONY : src/storage/prism.cpp.i

src/storage/prism.s: src/storage/prism.cpp.s

.PHONY : src/storage/prism.s

# target to generate assembly for a file
src/storage/prism.cpp.s:
	$(MAKE) -f CMakeFiles/storage.dir/build.make CMakeFiles/storage.dir/src/storage/prism.cpp.s
.PHONY : src/storage/prism.cpp.s

src/storage/scheduler.o: src/storage/scheduler.cpp.o

.PHONY : src/storage/scheduler.o

# target to build an object file
src/storage/scheduler.cpp.o:
	$(MAKE) -f CMakeFiles/storage.dir/build.make CMakeFiles/storage.dir/src/storage/scheduler.cpp.o
.PHONY : src/storage/scheduler.cpp.o

src/storage/scheduler.i: src/storage/scheduler.cpp.i

.PHONY : src/storage/scheduler.i

# target to preprocess a source file
src/storage/scheduler.cpp.i:
	$(MAKE) -f CMakeFiles/storage.dir/build.make CMakeFiles/storage.dir/src/storage/scheduler.cpp.i
.PHONY : src/storage/scheduler.cpp.i

src/storage/scheduler.s: src/storage/scheduler.cpp.s

.PHONY : src/storage/scheduler.s

# target to generate assembly for a file
src/storage/scheduler.cpp.s:
	$(MAKE) -f CMakeFiles/storage.dir/build.make CMakeFiles/storage.dir/src/storage/scheduler.cpp.s
.PHONY : src/storage/scheduler.cpp.s

src/storage/state.o: src/storage/state.cpp.o

.PHONY : src/storage/state.o

# target to build an object file
src/storage/state.cpp.o:
	$(MAKE) -f CMakeFiles/storage.dir/build.make CMakeFiles/storage.dir/src/storage/state.cpp.o
.PHONY : src/storage/state.cpp.o

src/storage/state.i: src/storage/state.cpp.i

.PHONY : src/storage/state.i

# target to preprocess a source file
src/storage/state.cpp.i:
	$(MAKE) -f CMakeFiles/storage.dir/build.make CMakeFiles/storage.dir/src/storage/state.cpp.i
.PHONY : src/storage/state.cpp.i

src/storage/state.s: src/storage/state.cpp.s

.PHONY : src/storage/state.s

# target to generate assembly for a file
src/storage/state.cpp.s:
	$(MAKE) -f CMakeFiles/storage.dir/build.make CMakeFiles/storage.dir/src/storage/state.cpp.s
.PHONY : src/storage/state.cpp.s

src/utility/chrono.o: src/utility/chrono.cpp.o

.PHONY : src/utility/chrono.o

# target to build an object file
src/utility/chrono.cpp.o:
	$(MAKE) -f CMakeFiles/utility.dir/build.make CMakeFiles/utility.dir/src/utility/chrono.cpp.o
.PHONY : src/utility/chrono.cpp.o

src/utility/chrono.i: src/utility/chrono.cpp.i

.PHONY : src/utility/chrono.i

# target to preprocess a source file
src/utility/chrono.cpp.i:
	$(MAKE) -f CMakeFiles/utility.dir/build.make CMakeFiles/utility.dir/src/utility/chrono.cpp.i
.PHONY : src/utility/chrono.cpp.i

src/utility/chrono.s: src/utility/chrono.cpp.s

.PHONY : src/utility/chrono.s

# target to generate assembly for a file
src/utility/chrono.cpp.s:
	$(MAKE) -f CMakeFiles/utility.dir/build.make CMakeFiles/utility.dir/src/utility/chrono.cpp.s
.PHONY : src/utility/chrono.cpp.s

src/utility/shortestPaths.o: src/utility/shortestPaths.cpp.o

.PHONY : src/utility/shortestPaths.o

# target to build an object file
src/utility/shortestPaths.cpp.o:
	$(MAKE) -f CMakeFiles/utility.dir/build.make CMakeFiles/utility.dir/src/utility/shortestPaths.cpp.o
.PHONY : src/utility/shortestPaths.cpp.o

src/utility/shortestPaths.i: src/utility/shortestPaths.cpp.i

.PHONY : src/utility/shortestPaths.i

# target to preprocess a source file
src/utility/shortestPaths.cpp.i:
	$(MAKE) -f CMakeFiles/utility.dir/build.make CMakeFiles/utility.dir/src/utility/shortestPaths.cpp.i
.PHONY : src/utility/shortestPaths.cpp.i

src/utility/shortestPaths.s: src/utility/shortestPaths.cpp.s

.PHONY : src/utility/shortestPaths.s

# target to generate assembly for a file
src/utility/shortestPaths.cpp.s:
	$(MAKE) -f CMakeFiles/utility.dir/build.make CMakeFiles/utility.dir/src/utility/shortestPaths.cpp.s
.PHONY : src/utility/shortestPaths.cpp.s

src/utility/smtsolver.o: src/utility/smtsolver.cpp.o

.PHONY : src/utility/smtsolver.o

# target to build an object file
src/utility/smtsolver.cpp.o:
	$(MAKE) -f CMakeFiles/utility.dir/build.make CMakeFiles/utility.dir/src/utility/smtsolver.cpp.o
.PHONY : src/utility/smtsolver.cpp.o

src/utility/smtsolver.i: src/utility/smtsolver.cpp.i

.PHONY : src/utility/smtsolver.i

# target to preprocess a source file
src/utility/smtsolver.cpp.i:
	$(MAKE) -f CMakeFiles/utility.dir/build.make CMakeFiles/utility.dir/src/utility/smtsolver.cpp.i
.PHONY : src/utility/smtsolver.cpp.i

src/utility/smtsolver.s: src/utility/smtsolver.cpp.s

.PHONY : src/utility/smtsolver.s

# target to generate assembly for a file
src/utility/smtsolver.cpp.s:
	$(MAKE) -f CMakeFiles/utility.dir/build.make CMakeFiles/utility.dir/src/utility/smtsolver.cpp.s
.PHONY : src/utility/smtsolver.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 "... rebuild_cache"
	@echo "... dft"
	@echo "... info"
	@echo "... core"
	@echo "... logic"
	@echo "... pars"
	@echo "... storage"
	@echo "... utility"
	@echo "... src/core/analysis.o"
	@echo "... src/core/analysis.i"
	@echo "... src/core/analysis.s"
	@echo "... src/core/bisimulation.o"
	@echo "... src/core/bisimulation.i"
	@echo "... src/core/bisimulation.s"
	@echo "... src/core/core.o"
	@echo "... src/core/core.i"
	@echo "... src/core/core.s"
	@echo "... src/core/counterexample.o"
	@echo "... src/core/counterexample.i"
	@echo "... src/core/counterexample.s"
	@echo "... src/core/environment.o"
	@echo "... src/core/environment.i"
	@echo "... src/core/environment.s"
	@echo "... src/core/input.o"
	@echo "... src/core/input.i"
	@echo "... src/core/input.s"
	@echo "... src/core/modelchecking.o"
	@echo "... src/core/modelchecking.i"
	@echo "... src/core/modelchecking.s"
	@echo "... src/core/result.o"
	@echo "... src/core/result.i"
	@echo "... src/core/result.s"
	@echo "... src/core/transformation.o"
	@echo "... src/core/transformation.i"
	@echo "... src/core/transformation.s"
	@echo "... src/dft/analysis.o"
	@echo "... src/dft/analysis.i"
	@echo "... src/dft/analysis.s"
	@echo "... src/dft/dft.o"
	@echo "... src/dft/dft.i"
	@echo "... src/dft/dft.s"
	@echo "... src/dft/io.o"
	@echo "... src/dft/io.i"
	@echo "... src/dft/io.s"
	@echo "... src/logic/formulae.o"
	@echo "... src/logic/formulae.i"
	@echo "... src/logic/formulae.s"
	@echo "... src/mod_core.o"
	@echo "... src/mod_core.i"
	@echo "... src/mod_core.s"
	@echo "... src/mod_dft.o"
	@echo "... src/mod_dft.i"
	@echo "... src/mod_dft.s"
	@echo "... src/mod_info.o"
	@echo "... src/mod_info.i"
	@echo "... src/mod_info.s"
	@echo "... src/mod_logic.o"
	@echo "... src/mod_logic.i"
	@echo "... src/mod_logic.s"
	@echo "... src/mod_pars.o"
	@echo "... src/mod_pars.i"
	@echo "... src/mod_pars.s"
	@echo "... src/mod_storage.o"
	@echo "... src/mod_storage.i"
	@echo "... src/mod_storage.s"
	@echo "... src/mod_utility.o"
	@echo "... src/mod_utility.i"
	@echo "... src/mod_utility.s"
	@echo "... src/pars/model_instantiator.o"
	@echo "... src/pars/model_instantiator.i"
	@echo "... src/pars/model_instantiator.s"
	@echo "... src/pars/pars.o"
	@echo "... src/pars/pars.i"
	@echo "... src/pars/pars.s"
	@echo "... src/pars/pla.o"
	@echo "... src/pars/pla.i"
	@echo "... src/pars/pla.s"
	@echo "... src/storage/bitvector.o"
	@echo "... src/storage/bitvector.i"
	@echo "... src/storage/bitvector.s"
	@echo "... src/storage/choiceorigins.o"
	@echo "... src/storage/choiceorigins.i"
	@echo "... src/storage/choiceorigins.s"
	@echo "... src/storage/distribution.o"
	@echo "... src/storage/distribution.i"
	@echo "... src/storage/distribution.s"
	@echo "... src/storage/expressions.o"
	@echo "... src/storage/expressions.i"
	@echo "... src/storage/expressions.s"
	@echo "... src/storage/jani.o"
	@echo "... src/storage/jani.i"
	@echo "... src/storage/jani.s"
	@echo "... src/storage/labeling.o"
	@echo "... src/storage/labeling.i"
	@echo "... src/storage/labeling.s"
	@echo "... src/storage/matrix.o"
	@echo "... src/storage/matrix.i"
	@echo "... src/storage/matrix.s"
	@echo "... src/storage/model.o"
	@echo "... src/storage/model.i"
	@echo "... src/storage/model.s"
	@echo "... src/storage/prism.o"
	@echo "... src/storage/prism.i"
	@echo "... src/storage/prism.s"
	@echo "... src/storage/scheduler.o"
	@echo "... src/storage/scheduler.i"
	@echo "... src/storage/scheduler.s"
	@echo "... src/storage/state.o"
	@echo "... src/storage/state.i"
	@echo "... src/storage/state.s"
	@echo "... src/utility/chrono.o"
	@echo "... src/utility/chrono.i"
	@echo "... src/utility/chrono.s"
	@echo "... src/utility/shortestPaths.o"
	@echo "... src/utility/shortestPaths.i"
	@echo "... src/utility/shortestPaths.s"
	@echo "... src/utility/smtsolver.o"
	@echo "... src/utility/smtsolver.i"
	@echo "... src/utility/smtsolver.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:
	$(CMAKE_COMMAND) -H$(CMAKE_SOURCE_DIR) -B$(CMAKE_BINARY_DIR) --check-build-system CMakeFiles/Makefile.cmake 0
.PHONY : cmake_check_build_system

