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