blob: 924f3831ab7c974d217ae3aaf2fe63cbe59a280d [file] [log] [blame]
Boutheina Bannour07591792017-01-26 18:44:00 +01001# =============================================================================
2# Setup of Windows/MSYS2 specific options
3# =============================================================================
4#
5# Note : We assume a 64 bits built, which implies the use of
6# /msys64/mingw64 directory for install.
7#
8# Warning : Use Windows style paths not MSYS2 path !
9#
10# =============================================================================
11
12
13message (STATUS "****** Setting options for Windows/MSYS2 ******")
14
15# Compilation directives
16add_definitions (-D__AVM_MINGW__ -D__AVM_WINDOWS__)
17add_compile_options (-fmessage-length=0 -pipe)
18
19# The following variables are first used as search hints by find modules.
20# If search failed, they are used by the build modules (as configure scripts
21# of the prerequisites know nothing about MSYS2, we need to force them to use
22# the MSYS2 install directories)
23
24set (CVC4_INSTALL_INCLUDE_DIR C:/msys64/mingw64/usr/include)
25set (CVC4_INSTALL_LIB_DIR C:/msys64/mingw64/usr/lib)
26
27set (ANTLR2_INSTALL_INCLUDE_DIR C:/msys64/mingw64/usr/include) # NOTE: 'antlr' suffix is automatically added by the configure script
28set (ANTLR2_INSTALL_LIB_DIR C:/msys64/mingw64/usr/lib)
29
30set (ANTLR3_INSTALL_INCLUDE_DIR C:/msys64/mingw64/usr/include)
31set (ANTLR3_INSTALL_LIB_DIR C:/msys64/mingw64/usr/lib)
32
33set (BOOST_ROOT C:/msys64/mingw642) # FIXME : use of .../mingw642 instead of .../mingw64 is compulsory due to a CVC4 configure bug
34set (BOOST_INCLUDEDIR C:/msys64/mingw642/include) # FIXME
35set (BOOST_LIBRARYDIR C:/msys64/mingw642/include/lib) # FIXME
36
37set (GMP_ROOT C:/msys64/mingw64)
38set (GMP_INCLUDEDIR C:/msys64/mingw64/include)
39set (GMP_LIBRARYDIR C:/msys64/mingw64/lib)
40
41
42
43include_directories (${CVC4_INSTALL_INCLUDE_DIR} ${ANTLR2_INSTALL_INCLUDE_DIR} ${ANTLR3_INSTALL_INCLUDE_DIR})
44
45# FIXME : Temporary bypass for the 'CVC4/configure/boost/mingw64' bug on MSYS2
46set (Boost_INCLUDE_DIRS /mingw642/include)
47set (Boost_LIBRARY_DIRS /mingw642/lib)
48# End FIXME