Compiling Test harness – IntegerOverflow

How should be the format of the compile line to compile any of the example programs in deepstate.
For suppose when I compile IntegerOverflow using make file it compiles.
But when I see what is the command that is being used to compile the example, all I see are nested makefiles and has the following lines to compile IntegerOverflow:

#=============================================================================
# Target rules for targets named IntegerOverflow

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

# fast build rule for target.
IntegerOverflow/fast:
	$(MAKE) -f examples/CMakeFiles/IntegerOverflow.dir/build.make examples/CMakeFiles/IntegerOverflow.dir/build
.PHONY : IntegerOverflow/fast
#=============================================================================
# Target rules for target examples/CMakeFiles/IntegerOverflow.dir

# All Build rule for target.
examples/CMakeFiles/IntegerOverflow.dir/all: CMakeFiles/deepstate.dir/all
	$(MAKE) -f examples/CMakeFiles/IntegerOverflow.dir/build.make examples/CMakeFiles/IntegerOverflow.dir/depend
	$(MAKE) -f examples/CMakeFiles/IntegerOverflow.dir/build.make examples/CMakeFiles/IntegerOverflow.dir/build
	@$(CMAKE_COMMAND) -E cmake_echo_color --switch=$(COLOR) --progress-dir=/home/akhila/Desktop/deepstate/build/CMakeFiles --progress-num=17,18 "Built target IntegerOverflow"
.PHONY : examples/CMakeFiles/IntegerOverflow.dir/all

# Include target in all.
all: examples/CMakeFiles/IntegerOverflow.dir/all

.PHONY : all

# Build rule for subdir invocation for target.
examples/CMakeFiles/IntegerOverflow.dir/rule: cmake_check_build_system
	$(CMAKE_COMMAND) -E cmake_progress_start /home/akhila/Desktop/deepstate/build/CMakeFiles 7
	$(MAKE) -f CMakeFiles/Makefile2 examples/CMakeFiles/IntegerOverflow.dir/all
	$(CMAKE_COMMAND) -E cmake_progress_start /home/akhila/Desktop/deepstate/build/CMakeFiles 0
.PHONY : examples/CMakeFiles/IntegerOverflow.dir/rule

# Convenience name for target.
IntegerOverflow: examples/CMakeFiles/IntegerOverflow.dir/rule

.PHONY : IntegerOverflow

#=================================================

Can someone please explain me the flow or help me with a single line command to compile the code.

EDIT: I edited the post and moved the code to a code box (@disconnect3d).

Read more here: Source link