mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-12 04:03:39 +00:00
Code Activity

making sure that Z3 can be compiled with cygwin/g++

Browse source 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
This commit is contained in:
Leonardo de Moura 2012-10-11 21:59:09 -07:00
parent ad107bfc42
commit 4dc834d5ee
1 changed files with 9 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

10
configure.in
View file

@ -47,7 +47,15 @@ AS_IF([test "$host_os" = "Darwin"], [
SLIBFLAGS="-shared -fopenmp" SLIBFLAGS="-shared -fopenmp"
COMP_VERSIONS= COMP_VERSIONS=
STATIC_FLAGS=-static STATIC_FLAGS=-static
], [ ], [test "${host_os:0:6}" = "CYGWIN"], [
PLATFORM=win
SO_EXT=dll
LDFLAGS=
SLIBFLAGS="-shared -fopenmp"
COMP_VERSIONS=
STATIC_FLAGS=-static
],
[
AC_MSG_ERROR([Unknown host platform: $host_os]) AC_MSG_ERROR([Unknown host platform: $host_os])
]) ])
AC_SUBST(PLATFORM) AC_SUBST(PLATFORM)