l2test.wpj

vxworks的系统故障诊断项目

Document file - DO NOT EDIT

<BEGIN> BUILD_PPC603gnu_BUILDRULE
l2test.out
<END>

<BEGIN> BUILD_PPC603gnu_MACRO_AR
arppc
<END>

<BEGIN> BUILD_PPC603gnu_MACRO_ARCHIVE
$(PRJ_DIR)/PPC603gnu/l2test.a
<END>

<BEGIN> BUILD_PPC603gnu_MACRO_AS
ccppc
<END>

<BEGIN> BUILD_PPC603gnu_MACRO_CC
ccppc
<END>

<BEGIN> BUILD_PPC603gnu_MACRO_CFLAGS
-g \
	-O0 \
	-Wall \
	-fguiding-decls \
	-nostdinc \
	-nostdlib \
	-fno-builtin \
	-fvolatile \
	-mstrict-align \
	-I. \
	-I$(WIND_BASE)/target/h \
	-I$(PRJ_DIR)/../../../include \
	-I$(PRJ_DIR)/../../../../../xerces/src \
	-I$(PRJ_DIR)/../../../../../xerces/src/VxWorks \
	-UWIN32 \
	-U_WIN32 \
	-DVXWORKS \
	-DCPU=PPC603
<END>

<BEGIN> BUILD_PPC603gnu_MACRO_CFLAGS_AS
-g \
	-mstrict-align \
	-ansi \
	-nostdinc \
	-fvolatile \
	-fno-builtin \
	-fno-for-scope \
	-P \
	-x \
	assembler-with-cpp \
	-I. \
	-I$(WIND_BASE)/target/h \
	-DCPU=PPC603
<END>

<BEGIN> BUILD_PPC603gnu_MACRO_CPP
ccppc -E -P -xc
<END>

<BEGIN> BUILD_PPC603gnu_MACRO_LD
ldppc
<END>

<BEGIN> BUILD_PPC603gnu_MACRO_LDFLAGS
-X -N
<END>

<BEGIN> BUILD_PPC603gnu_MACRO_LD_PARTIAL_FLAGS
-X -r
<END>

<BEGIN> BUILD_PPC603gnu_MACRO_NM
nmppc
<END>

<BEGIN> BUILD_PPC603gnu_MACRO_OPTION_DEFINE_MACRO
-D
<END>

<BEGIN> BUILD_PPC603gnu_MACRO_OPTION_INCLUDE_DIR
-I
<END>

<BEGIN> BUILD_PPC603gnu_MACRO_POST_BUILD_RULE
$(SIZE) $@
<END>

<BEGIN> BUILD_PPC603gnu_MACRO_PRJ_LIBS
$(PRJ_DIR)/../PPC603gnu/readers.a
<END>

<BEGIN> BUILD_PPC603gnu_MACRO_SIZE
sizeppc
<END>

<BEGIN> BUILD_PPC603gnu_RO_DEPEND_PATH
{$(WIND_BASE)/target/h/} {$(WIND_BASE)/target/src/} {$(WIND_BASE)/target/config/}
<END>

<BEGIN> BUILD_PPC603gnu_TC
::tc_PPC603gnu
<END>

<BEGIN> BUILD_RULE_archive

<END>

<BEGIN> BUILD_RULE_l2test.out

<END>

<BEGIN> BUILD_RULE_objects

<END>

<BEGIN> BUILD__CURRENT
PPC603gnu
<END>

<BEGIN> BUILD__LIST
PPC603gnu
<END>

<BEGIN> CORE_INFO_TYPE
::prj_vxApp
<END>

<BEGIN> CORE_INFO_VERSION
2.0
<END>

<BEGIN> FILE_$(PRJ_DIR)/../../api/livingstone.cpp_dependDone
TRUE
<END>

<BEGIN> FILE_$(PRJ_DIR)/../../api/livingstone.cpp_dependencies
$(PRJ_DIR)/../../../include/mba_utils/MBA_string.h \
	$(PRJ_DIR)/../../../include/livingstone/l2conf.h \
	$(PRJ_DIR)/../../../include/livingstone/def_conf.h \
	$(PRJ_DIR)/../../../include/mba_utils/pooled.h \
	$(PRJ_DIR)/../../../include/mba_utils/array_allocator.h \
	$(PRJ_DIR)/../../../include/api/livingstone.h \
	$(PRJ_DIR)/../../../include/readers/livingstone_reader.h \
	$(PRJ_DIR)/../../../include/mba_utils/slist.h \
	$(PRJ_DIR)/../../../include/livingstone/L2_assert.h \
	$(PRJ_DIR)/../../../include/mba_utils/slist_item.h \
	$(PRJ_DIR)/../../../include/mba_utils/slist_iterator.h \
	$(PRJ_DIR)/../../../include/mba_utils/array.h \
	$(PRJ_DIR)/../../../include/mba_utils/hash_table.h \
	$(PRJ_DIR)/../../../include/mba_utils/pair.h \
	$(PRJ_DIR)/../../../include/mba_utils/prime.h \
	$(PRJ_DIR)/../../../include/transition/termination.h \
	$(PRJ_DIR)/../../../include/api/parameters.h \
	$(PRJ_DIR)/../../../include/mba_utils/array_dict.h \
	$(PRJ_DIR)/../../../include/transition/tracker.h \
	$(PRJ_DIR)/../../../include/transition/T_system.h \
	$(PRJ_DIR)/../../../include/conflict_db/conflict_db.h \
	$(PRJ_DIR)/../../../include/conflict_db/assumption.h \
	$(PRJ_DIR)/../../../include/conflict_db/assignable.h \
	$(PRJ_DIR)/../../../include/conflict_db/variable.h \
	$(PRJ_DIR)/../../../include/tms/theory.h \
	$(PRJ_DIR)/../../../include/conflict_db/assignment.h \
	$(PRJ_DIR)/../../../include/conflict_db/dependent.h \
	$(PRJ_DIR)/../../../include/conflict_db/conflict.h \
	$(PRJ_DIR)/../../../include/conflict_db/command.h \
	$(PRJ_DIR)/../../../include/conflict_db/observable.h \
	$(PRJ_DIR)/../../../include/conflict_db/past_command.h \
	$(PRJ_DIR)/../../../include/conflict_db/state_variable.h \
	$(PRJ_DIR)/../../../include/conflict_db/transition.h \
	$(PRJ_DIR)/../../../include/tms/ltms.h \
	$(PRJ_DIR)/../../../include/tms/ptheory.h \
	$(PRJ_DIR)/../../../include/tms/clause.h \
	$(PRJ_DIR)/../../../include/tms/proposition.h \
	$(PRJ_DIR)/../../../include/conflict_db/candidate.h \
	$(PRJ_DIR)/../../../include/readers/L2_file.h \
	$(PRJ_DIR)/../../../include/readers/common.h \
	$(PRJ_DIR)/../../../include/readers/varkind.h \
	$(PRJ_DIR)/../../../include/readers/from_any.h \
	$(PRJ_DIR)/../../../include/readers/L2_file_reader.h \
	$(PRJ_DIR)/../../../include/readers/to_t_system.h \
	$(PRJ_DIR)/../../../include/readers/L2_file_writer.h \
	$(PRJ_DIR)/../../../include/opsat/cbfs_tracker.h \
	$(PRJ_DIR)/../../../include/opsat/opsat.h \
	$(PRJ_DIR)/../../../include/opsat/cbfs_agenda.h \
	$(PRJ_DIR)/../../../include/opsat/binaryheap.h \
	$(PRJ_DIR)/../../../include/opsat/agenda_types.h \
	$(PRJ_DIR)/../../../include/cover/cover_tracker.h
<END>

<BEGIN> FILE_$(PRJ_DIR)/../../api/livingstone.cpp_objects
livingstone.o
<END>

<BEGIN> FILE_$(PRJ_DIR)/../../api/livingstone.cpp_tool
C/C++ compiler
<END>

<BEGIN> FILE_$(PRJ_DIR)/../../api/parameters.cpp_dependDone
TRUE
<END>

<BEGIN> FILE_$(PRJ_DIR)/../../api/parameters.cpp_dependencies
$(PRJ_DIR)/../../../include/api/parameters.h \
	$(PRJ_DIR)/../../../include/livingstone/l2conf.h \
	$(PRJ_DIR)/../../../include/livingstone/def_conf.h \
	$(PRJ_DIR)/../../../include/mba_utils/MBA_string.h \
	$(PRJ_DIR)/../../../include/mba_utils/pooled.h \
	$(PRJ_DIR)/../../../include/mba_utils/array_allocator.h \
	$(PRJ_DIR)/../../../include/mba_utils/array_dict.h \
	$(PRJ_DIR)/../../../include/mba_utils/stringops.h \
	$(PRJ_DIR)/../../../include/livingstone/L2_assert.h
<END>

<BEGIN> FILE_$(PRJ_DIR)/../../api/parameters.cpp_objects
parameters.o
<END>

<BEGIN> FILE_$(PRJ_DIR)/../../api/parameters.cpp_tool
C/C++ compiler
<END>

<BEGIN> FILE_$(PRJ_DIR)/../../checkpoint/checkpoint.cpp_dependDone
TRUE
<END>

<BEGIN> FILE_$(PRJ_DIR)/../../checkpoint/checkpoint.cpp_dependencies
$(PRJ_DIR)/../../../include/checkpoint/checkpoint.h \
	$(PRJ_DIR)/../../../include/livingstone/l2conf.h \
	$(PRJ_DIR)/../../../include/livingstone/def_conf.h \
	$(PRJ_DIR)/../../../include/mba_utils/pooled.h \
	$(PRJ_DIR)/../../../include/mba_utils/array_allocator.h \
	$(PRJ_DIR)/../../../include/transition/tracker.h \
	$(PRJ_DIR)/../../../include/transition/T_system.h \
	$(PRJ_DIR)/../../../include/conflict_db/conflict_db.h \
	$(PRJ_DIR)/../../../include/conflict_db/assumption.h \
	$(PRJ_DIR)/../../../include/mba_utils/slist.h \
	$(PRJ_DIR)/../../../include/livingstone/L2_assert.h \
	$(PRJ_DIR)/../../../include/mba_utils/MBA_string.h \
	$(PRJ_DIR)/../../../include/mba_utils/slist_item.h \
	$(PRJ_DIR)/../../../include/mba_utils/slist_iterator.h \
	$(PRJ_DIR)/../../../include/conflict_db/assignable.h \
	$(PRJ_DIR)/../../../include/conflict_db/variable.h \
	$(PRJ_DIR)/../../../include/tms/theory.h \
	$(PRJ_DIR)/../../../include/conflict_db/assignment.h \
	$(PRJ_DIR)/../../../include/conflict_db/dependent.h \
	$(PRJ_DIR)/../../../include/conflict_db/conflict.h \
	$(PRJ_DIR)/../../../include/tms/ltms.h \
	$(PRJ_DIR)/../../../include/mba_utils/array.h \
	$(PRJ_DIR)/../../../include/tms/ptheory.h \
	$(PRJ_DIR)/../../../include/tms/clause.h \
	$(PRJ_DIR)/../../../include/tms/proposition.h \
	$(PRJ_DIR)/../../../include/mba_utils/pair.h \
	$(PRJ_DIR)/../../../include/conflict_db/candidate.h \
	$(PRJ_DIR)/../../../include/transition/termination.h \
	$(PRJ_DIR)/../../../include/transition/transitioned.h \
	$(PRJ_DIR)/../../../include/api/livingstone.h \
	$(PRJ_DIR)/../../../include/readers/livingstone_reader.h \
	$(PRJ_DIR)/../../../include/api/parameters.h \
	$(PRJ_DIR)/../../../include/mba_utils/array_dict.h
<END>

<BEGIN> FILE_$(PRJ_DIR)/../../checkpoint/checkpoint.cpp_objects
checkpoint.o
<END>

<BEGIN> FILE_$(PRJ_DIR)/../../checkpoint/checkpoint.cpp_tool
C/C++ compiler
<END>

<BEGIN> FILE_$(PRJ_DIR)/../../conflict_db/assignable.cpp_dependDone
TRUE
<END>

<BEGIN> FILE_$(PRJ_DIR)/../../conflict_db/assignable.cpp_dependencies
$(PRJ_DIR)/../../../include/conflict_db/assignable.h \
	$(PRJ_DIR)/../../../include/livingstone/l2conf.h \
	$(PRJ_DIR)/../../../include/livingstone/def_conf.h \
	$(PRJ_DIR)/../../../include/mba_utils/slist.h \
	$(PRJ_DIR)/../../../include/livingstone/L2_assert.h \
	$(PRJ_DIR)/../../../include/mba_utils/MBA_string.h \
	$(PRJ_DIR)/../../../include/mba_utils/pooled.h \
	$(PRJ_DIR)/../../../include/mba_utils/array_allocator.h \
	$(PRJ_DIR)/../../../include/mba_utils/slist_item.h \
	$(PRJ_DIR)/../../../include/mba_utils/slist_iterator.h \
	$(PRJ_DIR)/../../../include/conflict_db/variable.h \
	$(PRJ_DIR)/../../../include/tms/theory.h \
	$(PRJ_DIR)/../../../include/conflict_db/assignment.h \
	$(PRJ_DIR)/../../../include/conflict_db/conflict_db.h \
	$(PRJ_DIR)/../../../include/conflict_db/assumption.h \
	$(PRJ_DIR)/../../../include/conflict_db/dependent.h \
	$(PRJ_DIR)/../../../include/conflict_db/conflict.h \
	$(PRJ_DIR)/../../../include/conflict_db/command.h \
	$(PRJ_DIR)/../../../include/conflict_db/observable.h \
	$(PRJ_DIR)/../../../include/conflict_db/past_command.h \
	$(PRJ_DIR)/../../../include/conflict_db/state_variable.h \
	$(PRJ_DIR)/../../../include/conflict_db/transition.h \
	$(PRJ_DIR)/../../../include/tms/ltms.h \
	$(PRJ_DIR)/../../../include/mba_utils/array.h \
	$(PRJ_DIR)/../../../include/tms/ptheory.h \
	$(PRJ_DIR)/../../../include/tms/clause.h \
	$(PRJ_DIR)/../../../include/tms/proposition.h
<END>

<BEGIN> FILE_$(PRJ_DIR)/../../conflict_db/assignable.cpp_objects
assignable.o
<END>

<BEGIN> FILE_$(PRJ_DIR)/../../conflict_db/assignable.cpp_tool
C/C++ compiler
<END>

<BEGIN> FILE_$(PRJ_DIR)/../../conflict_db/assignment.cpp_dependDone
TRUE
<END>

<BEGIN> FILE_$(PRJ_DIR)/../../conflict_db/assignment.cpp_dependencies
$(PRJ_DIR)/../../../include/conflict_db/assignment.h \
	$(PRJ_DIR)/../../../include/livingstone/l2conf.h \
	$(PRJ_DIR)/../../../include/livingstone/def_conf.h \
	$(PRJ_DIR)/../../../include/mba_utils/slist.h \
	$(PRJ_DIR)/../../../include/livingstone/L2_assert.h \
	$(PRJ_DIR)/../../../include/mba_utils/MBA_string.h \
	$(PRJ_DIR)/../../../include/mba_utils/pooled.h \
	$(PRJ_DIR)/../../../include/mba_utils/array_allocator.h \
	$(PRJ_DIR)/../../../include/mba_utils/slist_item.h \
	$(PRJ_DIR)/../../../include/mba_utils/slist_iterator.h \