stage3/Makefile.am
author Mario de Sousa <msousa@fe.up.pt>
Fri, 02 Mar 2012 12:53:41 +0000
changeset 459 01f6664bf8c5
parent 443 ff4d26b7e51d
child 508 dc6906338042
permissions -rw-r--r--
Continue adding support for semantic verification of JMP and RET.
include ../common.mk

lib_LIBRARIES = libstage3.a

libstage3_a_SOURCES = \
	stage3.cc \
	flow_control_analysis.cc \
	fill_candidate_datatypes.cc \
	narrow_candidate_datatypes.cc \
	print_datatypes_error.cc \
	datatype_functions.cc