Changeset 468b57 in git for factory/CMakeLists.txt

Timestamp:

May 10, 2011, 4:41:49 PM (13 years ago)

Author:

Mohamed Barakat <mohamed.barakat@…>

Branches:

(u'spielwiese', '17f1d200f27c5bd38f5dfc6e8a0879242279d1d8')

Children:

69181b37612b63bbfd20ec69a9c0e590772cae58

Parents:

650f2d813320751a4d90da4b788c6d807b2ff833

git-author:

Mohamed Barakat <mohamed.barakat@rwth-aachen.de>2011-05-10 16:41:49+02:00

git-committer:

Mohamed Barakat <mohamed.barakat@rwth-aachen.de>2011-11-09 12:31:43+01:00

Message:

renamed libsingcf -> libfactory

File:

• factory/CMakeLists.txt (modified) (1 diff)

factory/CMakeLists.txt

@@ -318 +318 @@
 if( WITH_SINGULAR )
   # define libraries
-  message(STATUS "Compiling factory for Singular: creating libsingcf.a")
+  message(STATUS "Compiling factory for Singular: creating libfactory.a")
   add_library(singcf ${basefactory_srcs} ${singfactory_srcs})
   set_target_properties(singcf PROPERTIES COMPILE_DEFINITIONS "${ADD_DEFS}")
   add_dependencies(singcf ${OMALLOC_TARGET} ${NTL_TARGET})
 else( WITH_SINGULAR )
-  message(STATUS "Disabled creation of libsingcf.a")
+  message(STATUS "Disabled creation of libfactory.a")
 endif( WITH_SINGULAR )