Tree - rpms/drat2er - src.fedoraproject.org

Blob History Raw

		0f12897	`--- CMakeLists.txt.orig 2019-06-05 13:36:31.931824154 -0600`
		0f12897	`+++ CMakeLists.txt 2019-06-05 13:44:13.228700771 -0600`
		0f12897	`@@ -14,7 +14,7 @@ set(CMAKE_LIBRARY_OUTPUT_DIRECTORY ${CMA`
		0f12897	`set(CMAKE_RUNTIME_OUTPUT_DIRECTORY ${CMAKE_BINARY_DIR}/bin)`
		0f12897
		0f12897	`# Build library for the main executable`
		0f12897	`-add_library(lib_drat2er STATIC`
		0f12897	`+add_library(lib_drat2er SHARED`
		0f12897	`src/formula.cc`
		0f12897	`src/formula_parser.cc`
		0f12897	`src/clause.cc`
		0f12897	`@@ -38,7 +38,7 @@ add_library(lib_drat2er STATIC`
		0f12897	`src/drat2er.cc`
		0f12897	`src/progress_bar.cc`
		0f12897	`)`
		0f12897	`-set_target_properties(lib_drat2er PROPERTIES OUTPUT_NAME drat2er POSITION_INDEPENDENT_CODE ON)`
		0f12897	`+set_target_properties(lib_drat2er PROPERTIES OUTPUT_NAME drat2er POSITION_INDEPENDENT_CODE ON VERSION 0.0.0 SOVERSION 0)`
		0f12897	`target_link_libraries(lib_drat2er drat-trim)`
		0f12897
		0f12897	`# Build the executable for the main program`