check if these files are up-to-date

git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@420 b08c6af1-5177-4d33-ba66-4b1c6b8b522a

Makefile.in

@@ -159,6 +159,7 @@ PL_SOURCES= \
 	$(srcdir)/pl/depth_bound.yap $(srcdir)/pl/listing.yap \
 	$(srcdir)/pl/load_foreign.yap \
 	$(srcdir)/pl/modules.yap $(srcdir)/pl/preds.yap \
+	$(srcdir)/pl/profile.yap \
 	$(srcdir)/pl/protect.yap $(srcdir)/pl/setof.yap \
 	$(srcdir)/pl/sockets.yap $(srcdir)/pl/sort.yap \
 	$(srcdir)/pl/strict_iso.yap \
@@ -481,7 +482,7 @@ install_unix: startup
 	mkdir -p $(DESTDIR)$(INCLUDEDIR)
 	for h in $(INTERFACE_HEADERS); do $(INSTALL) $$h $(DESTDIR)$(INCLUDEDIR); done
 
-install_mingw32: startup
+install_win32: startup
 	mkdir -p $(DESTDIR)$(BINDIR)
 	mkdir -p $(DESTDIR)$(LIBDIR)
 	mkdir -p $(DESTDIR)$(YAPLIBDIR)
@@ -545,7 +546,7 @@ dist:
 # 
 DLLTOOL=dlltool
 DLLNAME=yap.dll
-DLL_LIBS=-L /usr/lib/mingw -lmsvcrt -lmingw32  -lkernel32 $(LIBS)
+DLL_LIBS=@DLL_LIBS@ $(LIBS)
 BASE_FILE=yap.base
 EXP_FILE=yap.exp
 DEF_FILE=$(srcdir)/misc/yap.def

changes4.3.html

@@ -16,6 +16,10 @@
 
 <h2>Yap-4.3.21:</h2>
 <ul>
+	<li>FIXED: predicate_property(P,source) (Ines Dutra).</li>
+	<li>NEW: use system regex routines if available.</li>
+	<li>FIXED: profiling.</li>
+	<li>FIXED: Yap in CYGWIN, including DLLs.</li>
 	<li>NEW: variable_in_term/2 at library(terms).</li>
 	<li>FIXED: debugger would not step through [-F].</li>
 	<li>FIXED: unix(argv(L)) was doing bad type checking.</li>

config.h.in

@@ -182,6 +182,7 @@
 #undef  HAVE_PUTENV
 #undef  HAVE_RAND
 #undef  HAVE_RANDOM
+#undef  HAVE_REGEXEC
 #undef  HAVE_RENAME
 #undef  HAVE_RINT
 #undef  HAVE_RL_SET_PROMPT

configure.in

@@ -245,18 +245,21 @@ dnl Check for libraries.
 dnl mingw does not get along well with libm
 dnl cygnus and mingw32 also need wsock32 to use sockets.
 dnl
-if test "$target_os" = "cygwin" -a "$cygwin" = "no"
+if test "$target_os" = "cygwin"
 then
+  INSTALL_COMMAND=install_win32
+  if test "$cygwin" = "no"
+  then
     CC="gcc  -mno-cygwin"
     AC_CHECK_LIB(wsock32,main)
-  INSTALL_COMMAND=install_mingw32
-  yap_cv_readline=no
-  YAPLIB="libWYap.a"
     prefix="c:/Program\\ Files/Yap"
-  SHLIB_SUFFIX=".dll"
+    DLL_LIBS="-L /usr/lib/mingw -lmsvcrt -lmingw32  -lkernel32"
-  NEWSHOBJ="dll"
+  else
-  YAPLIB=yap.dll
+    DLL_LIBS=""
+    LIBS="-lgcc -lcygwin -lkernel32 -lgcc"
+  fi
 else
+  DLL_LIBS=""
   INSTALL_COMMAND="install_unix"
   AC_CHECK_LIB(m,sin)
   AC_CHECK_LIB(socket,socket)
@@ -360,6 +363,8 @@ dnl install_info
 AC_SUBST(INSTALL_INFO)
 dnl let YAP_EXTRAS fall through configure, from the env into Makefile
 AC_SUBST(YAP_EXTRAS)
+AC_SUBST(DLL_LIBS)
+AC_SUBST(NO_BUILTIN_REGEXP)
 
 dnl defaults
 INSTALL_DLLS="#"
@@ -466,6 +471,9 @@ case $target_os in
       *cyg*)
 	# gcc on cygwin seems to have trouble with longjmp
         # and -fomit-frame-point -DBP_FREE
+	YAPLIB="libWYap.a"
+	SHLIB_SUFFIX=".dll"
+	NEWSHOBJ="dll"
 	C_PARSER_FLAGS="$C_INTERF_FLAGS"
 	;;
       *)
@@ -725,13 +733,15 @@ AC_CHECK_FUNCS(gethostbyname gethostid gethostname)
 AC_CHECK_FUNCS(gethrtime getpwnam getrusage gettimeofday getwd)
 AC_CHECK_FUNCS(isatty isnan kill labs link localtime lstat)
 AC_CHECK_FUNCS(memcpy memmove mkstemp mktemp mmap opendir)
-AC_CHECK_FUNCS(popen putenv rand random rename rint rl_set_prompt)
+AC_CHECK_FUNCS(popen putenv rand random regexec)
-AC_CHECK_FUNCS(sbrk select)
+AC_CHECK_FUNCS(rename rint rl_set_prompt sbrk select)
 AC_CHECK_FUNCS(setbuf setlinebuf shmat sigaction siggetmask siginterrupt)
 AC_CHECK_FUNCS(signal sigprocmask sleep snprintf socket stat)
 AC_CHECK_FUNCS(strchr strerror strncat strncpy strtod system)
 AC_CHECK_FUNCS(time times tmpnam usleep vsnprintf waitpid)
 
+AC_CHECK_FUNC(regexec, [NO_BUILTIN_REGEXP="#"], [NO_BUILTIN_REGEXP=""])
+
 dnl check for mpz_xor
 AC_MSG_CHECKING(for mpz_xor)
 AC_CACHE_VAL(yap_mpz_xor,[