Bug 511116 project HIPP World for testing Hudson cmake job 3nd attempt,
no build is required
-change.
Change-Id: I49dcc4270f79d081f3917be861c11dede9d7d965
Signed-off-by: Boutheina Bannour <boutheina.bannour@gmail.com>
diff --git a/HippTest/CMakeLists.txt b/HippTest/CMakeLists.txt
index 093ec17..4ffc577 100644
--- a/HippTest/CMakeLists.txt
+++ b/HippTest/CMakeLists.txt
@@ -21,10 +21,10 @@
include (DetectToolChain)
# Searching for configuration management tools
-#include (LookForSCM)
+include (LookForSCM)
# Sources revision
-#include (DetectRevision)
+include (DetectRevision)
# Generic options that should propagate to all subtargets
# (hence they must be loaded before the project structure is defined)
@@ -35,7 +35,7 @@
include (SelectSpecificOptions)
# Searching for mandatory prerequisites
-#include (LookForMandatoryPrereq)
+include (LookForMandatoryPrereq)
diff --git a/HippTest/cmake/LookForMandatoryPrereq.cmake b/HippTest/cmake/LookForMandatoryPrereq.cmake
index 974caa6..04862c5 100644
--- a/HippTest/cmake/LookForMandatoryPrereq.cmake
+++ b/HippTest/cmake/LookForMandatoryPrereq.cmake
@@ -15,29 +15,29 @@
#
# Variable BOOST_ROOT is used as a search hint by find_package
#
-message (STATUS "**** Looking for BOOST ****")
+#message (STATUS "**** Looking for BOOST ****")
# BOOST_COMPONENTS should contains the required boost components
-set (Boost_USE_STATIC_LIBS ON) # Force to lookg for static libraries
-find_package (Boost 1.40 REQUIRED COMPONENTS ${BOOST_COMPONENTS})
-if (NOT (Boost_FOUND))
- message (FATAL_ERROR "Boost not found : please install Boost >= 1.53 manually")
-else ()
- message (STATUS "Boost : " ${Boost_LIBRARIES} "-" ${Boost_INCLUDE_DIRS} "-" ${Boost_LIBRARY_DIRS})
-endif()
-message (STATUS "**** ****")
+#set (Boost_USE_STATIC_LIBS ON) # Force to lookg for static libraries
+#find_package (Boost 1.40 REQUIRED COMPONENTS ${BOOST_COMPONENTS})
+#if (NOT (Boost_FOUND))
+# message (FATAL_ERROR "Boost not found : please install Boost >= 1.53 manually")
+#else ()
+# message (STATUS "Boost : " ${Boost_LIBRARIES} "-" ${Boost_INCLUDE_DIRS} "-" ${Boost_LIBRARY_DIRS})
+#endif()
+#message (STATUS "**** ****")
# --------------------------- Looking for GPM ---------------------------------
#
# The GMP_ROOT variable is used as a search hint
#
-message (STATUS "**** Looking for GMP ****")
-find_package(GMP 6.1.0 REQUIRED)
-if (NOT (GMP_FOUND))
- message (FATAL_ERROR "GMP not found : please install GMP >= 6.1.0 manually")
-else ()
- message (STATUS "GMP : " ${lib_gmp_c} "-" ${lib_gmp_cxx} "-" ${gmp_includedir} "-" ${gmpxx_includedir})
-endif()
-message (STATUS "**** ****")
+#message (STATUS "**** Looking for GMP ****")
+#find_package(GMP 4.1.0 REQUIRED)
+#if (NOT (GMP_FOUND))
+# message (FATAL_ERROR "GMP not found : please install GMP >= 6.1.0 manually")
+#else ()
+# message (STATUS "GMP : " ${lib_gmp_c} "-" ${lib_gmp_cxx} "-" ${gmp_includedir} "-" ${gmpxx_includedir})
+#endif()
+#message (STATUS "**** ****")
# --------------------------- Looking for CVC4 --------------------------------
#
diff --git a/HippTest/cmake_hipp.sh b/HippTest/cmake_hipp.sh
index 863244b..13e157e 100644
--- a/HippTest/cmake_hipp.sh
+++ b/HippTest/cmake_hipp.sh
@@ -1,8 +1,12 @@
echo cmake -G \"Unix Makefiles\" ./build
+rm -rfd build
+
mkdir build ; cd build
cmake -G "Unix Makefiles" ../
-make -j28
+make
+
+#ctest -W -s
diff --git a/HippTest/src/CMakeLists.txt b/HippTest/src/CMakeLists.txt
index dbd432b..13e53ce 100644
--- a/HippTest/src/CMakeLists.txt
+++ b/HippTest/src/CMakeLists.txt
@@ -8,3 +8,15 @@
# Minimum required CMake version
cmake_minimum_required (VERSION 2.8 FATAL_ERROR)
+
+# Tell cmake where to find its own modules
+list (APPEND CMAKE_MODULE_PATH ${CMAKE_SOURCE_DIR}/cmake) # Common modules
+list (APPEND CMAKE_MODULE_PATH ${CMAKE_SOURCE_DIR}/src/cmake) # Specific modules
+
+set (BANNER_MESSAGE "This is HiPP Test Build System")
+include (PrintBanner)
+
+
+# Project definition (directories hierarchy, main target sources, link)
+include (DefineSymbexProject)
+
diff --git a/HippTest/src/cmake/DefineSymbexProject.cmake b/HippTest/src/cmake/DefineSymbexProject.cmake
index c86fb2d..5018f77 100644
--- a/HippTest/src/cmake/DefineSymbexProject.cmake
+++ b/HippTest/src/cmake/DefineSymbexProject.cmake
@@ -12,32 +12,19 @@
# internal library (i.e. containing a CMakeLists.txt defining a target)
# Sources within subdirectories are taken into account by the recursive
# look-up (see the specific CMakeLists.txt)
-add_subdirectory (base)
-add_subdirectory (builder)
-add_subdirectory (collection)
-add_subdirectory (common)
-add_subdirectory (computer)
-add_subdirectory (compat)
-add_subdirectory (fam)
-add_subdirectory (fml)
-add_subdirectory (parser)
-add_subdirectory (printer)
-add_subdirectory (sew)
-add_subdirectory (solver)
-add_subdirectory (util)
-
# Main target C++ source files (all files matching patterns)
file (GLOB_RECURSE MAIN_CXX_SRC_FILES main/*.cpp main/*.h)
# Main target definition (association to its sources)
-add_executable (symbex ${MAIN_CXX_SRC_FILES})
+add_executable (HippTest ${MAIN_CXX_SRC_FILES})
# Adhoc dependencies to force builds from sources (if a prerequisite is not found)
-add_dependencies(symbex rescan_cvc4)
-add_dependencies(symbex rescan_antlr2)
+add_dependencies(HippTest rescan_cvc4)
+add_dependencies(HippTest rescan_antlr2)
# Main target link - FIXME : duplicate fml and fam needed to link sucessfully
-target_link_libraries (symbex sew parser fam fml fam builder solver computer fml common base collec compat printer util ${ANTLR2_LIBRARIES} ${ANTLR3_LIBRARIES} ${Boost_LIBRARIES} ${CVC4_LIBRARIES} ${lib_gmp_c} ${lib_gmp_cxx})
+#target_link_libraries (HippTest)
+target_link_libraries (HippTest ${ANTLR2_LIBRARIES} ${ANTLR3_LIBRARIES} ${Boost_LIBRARIES} ${CVC4_LIBRARIES} ${lib_gmp_c} ${lib_gmp_cxx})
diff --git a/HippTest/src/cmake/ExecuteTest.cmake b/HippTest/src/cmake/ExecuteTest.cmake
new file mode 100644
index 0000000..44e432b
--- /dev/null
+++ b/HippTest/src/cmake/ExecuteTest.cmake
@@ -0,0 +1,11 @@
+# =============================================================================
+# CMake module getting the git description of the current commit
+# =============================================================================
+
+
+message (STATUS "****** Execute HiPP World ******")
+
+
+execute_process (COMMAND ${MAIN_CXX_SRC_FILES}/HippTest
+ WORKING_DIRECTORY ${CMAKE_SOURCE_DIR}
+ )
diff --git a/HippTest/src/main/HippTest.cpp b/HippTest/src/main/HippTest.cpp
index 8d747d8..248380b 100644
--- a/HippTest/src/main/HippTest.cpp
+++ b/HippTest/src/main/HippTest.cpp
@@ -10,6 +10,6 @@
using namespace std;
int main() {
- cout << "!!!HiPP World!!!" << endl; // prints !!!Hello World!!!
+ cout << "!!! HiPP World !!!" << endl; // prints !!!Hello World!!!
return 0;
}