# No profiling in Win32; let us do profile in other OSs
LD_PROFILE_FLAGS=-

# Optimizations for x86

ifeq ($(OPTIM_LEVEL),optimized)
    OPTIM_FLAGS=-O2 $(shell $(SYSDEP_FILES)/gcc_m_or_f_options)
endif

# Threads and locks in Win32: no threads, no locks so far.
LD_THREAD_LIB=
LD_LOCK_LIB=
THREAD_FLAG= -DTHREADS

#ifeq ($(USE_THREADS),yes)
#    LD_THREAD_LIB=-lpthread
#    LD_LOCK_LIB=
#ifeq ($(USE_POSIX_LOCKS),yes)
#    THREAD_FLAG=-D_REENTRANT -DTHREADS
#else
#    THREAD_FLAG=-D_REENTRANT -DTHREADS
#endif
#else
#    LD_THREAD_LIB=
#    THREAD_FLAG=
#endif



FOREIGN_FILES_FLAG=
ENGINENAME:=$(ENGINENAME).exe

# C compiler
CC=gcc

# Linker
LD=gcc

# C compiler options for generating shared libraries code
CCSHARED=-shared

# Linker specific options
# "-rdynamic" allows the dynamic libraries symbols to be resolved against
# those defined in ciaoengine
LDFLAGS=-static

# Hack not to show a default console in Windows: used by the engine
# Makefile when compiling a static engine.
#NOCONSOLEFLAG=-mwindows
# Hack not to use Cygwin's but Microsoft libraries
NOCONSOLEFLAG=-mno-cygwin

# Linker options for shared objects (Just to avoid compiler complaints)
LDSHARED=-c

# Linker options to combine objects
LDCOMBINE=-r

# Name of the standard ciao library
CIAOLIBNAME=libciao.dll

# Standard libraries
LIBS=

# No library needed static compilation for Win32 at the moment
STAT_LIBS=

ARCHNAME=i86

# Operating system version
OSNAME=Win32

# How to install an make directories
MKDIR="mkdir -p"
INSTALL=install

# Making etags
ETAGS=

CFLAGS:=$(CFLAGS) -DSTATICENG
DEFAULTYPE=stat