--- ciao-1.10p8/makefile-sysdep/mkf-DARWINi386	1970-01-01 01:00:00.000000000 +0100
+++ ciao-1.10p8-wc/makefile-sysdep/mkf-DARWINi386	2008-03-13 01:28:09.000000000 +0100
@@ -0,0 +1,78 @@
+# -*- mode: Makefile; -*-
+# Misc. options, depending on the SETTINGS file
+
+ifeq ($(DEBUG_LEVEL),profile)
+    DEBUG_FLAGS=-pg -DPROFILE -DDEBUG
+    PROFILE_LD_FLAGS=-pg
+    OPTIM_LEVEL=debug
+    CIAODEBUG=-debug
+    OPTIM_FLAGS=
+endif
+
+
+# Optimizations for DARWIN PowerPC
+# Darwin GCC does not have all the optimization flags other, more
+# modern, versions of GCC have.
+
+ifeq ($(OPTIM_LEVEL),optimized)
+    OPTIM_FLAGS=-O2 -Wall -fno-strict-aliasing
+endif
+
+
+# Threads and locks in DARWIN
+ifeq ($(USE_THREADS),yes)
+    LD_THREAD_LIB=
+    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=-DFOREIGN_FILES
+
+# C compiler
+CC=cc
+
+# Linker
+LD=cc
+
+# C compiler options for generating shared libraries code
+CCSHARED=-fPIC
+
+# Linker options for shared objects
+LDSHARED=-flat_namespace -bundle -undefined suppress
+
+# Linker options to combine objects
+LDCOMBINE=-r
+
+# Name of the standard ciao library
+CIAOLIBNAME=libciao.dylib
+
+LIBS=$(LD_THREAD_LIB) $(LD_LOCK_LIB) $(DEBUG_LIBS)
+
+LDFLAGS=$(PROFILE_LD_FLAGS)
+
+STAT_LIBS=
+
+ARCHNAME=i386
+
+# Operating system version
+OSNAME=DARWIN
+
+# Memory management primitives
+# See engine/configure.c: HAS_MMAP includes USE_OWN_MALLOC
+MEM_MNG_FLAG=-DHAS_MMAP -DANONYMOUS_MMAP
+
+# How to install an make directories
+MKDIR="mkdir -p"
+INSTALL=install
+
+# Making etags
+ETAGS=etags -t *.[ch]
+
+DEFAULTYPE=dyn