This is an archive of the discontinued LLVM Phabricator instance.

[Patch 3/3]: Rebasing Ryan Govostes' STP patch for Clang SA
Needs ReviewPublic

Authored by bshastry on Dec 17 2015, 7:40 AM.

Reviewers

Summary

bshastry retitled this revision from to [Patch 3/3]: Rebasing Ryan Govostes' STP patch for Clang SA.

bshastry updated this object.

bshastry added a reviewer: rgov.

bshastry set the repository for this revision to rL LLVM.

bshastry added a project: Restricted Project.

bshastry added a subscriber: Restricted Project.

Adding Anna and Devin as reviewers.

xazax.hun added a subscriber: xazax.hun.

Path

Size

tools/

smt-constraint-manager/

19 lines

	set(MODULE TRUE)

	set( LLVM_LINK_COMPONENTS support mc)	set( LLVM_LINK_COMPONENTS support mc)

	add_library(SMTConstraintManagerPlugin SHARED	add_library(SMTConstraintManagerPlugin MODULE
	SMTConstraintManager.cpp)	SMTConstraintManager.cpp)

	# add_dependencies(SMTConstraintManagerPlugin
	# ClangAttrClasses
	# ClangAttrList
	# ClangCommentNodes
	# ClangDeclNodes
	# ClangDiagnosticCommon
	# ClangStmtNodes
	# )

	target_link_libraries(SMTConstraintManagerPlugin
	clangStaticAnalyzerCore
	)

	set_target_properties(SMTConstraintManagerPlugin	set_target_properties(SMTConstraintManagerPlugin
	PROPERTIES	PROPERTIES
	LINKER_LANGUAGE CXX	LINKER_LANGUAGE CXX
Context not available.

	set (CMAKE_CXX_FLAGS "-std=c++11 -fPIC -pedantic -fno-common -Wcast-qual -fno-strict-aliasing -Wno-long-long -Wall -Wno-unused-parameter -Wwrite-strings -fno-rtti")	set (CMAKE_CXX_FLAGS "-std=c++11 -fPIC -pedantic -fno-common -Wcast-qual -fno-strict-aliasing -Wno-long-long -Wall -Wno-unused-parameter -Wwrite-strings -fno-rtti")

	set (CMAKE_SHARED_LINKER_FLAGS "-L/usr/local/lib -lstp")	set (CMAKE_MODULE_LINKER_FLAGS "-L/usr/local/lib -Wl,--whole-archive -lstp -Wl,--whole-archive -lminisat")
Context not available.