head	1.3;
access;
symbols
	RELEASE_5_2_1:1.2
	RELEASE_5_2_0:1.2
	RELEASE_4_9_0:1.2
	RELEASE_5_1_0:1.2
	RELEASE_4_8_0:1.2
	RELEASE_5_0_0:1.2
	RELEASE_4_7_0:1.2
	RELEASE_4_6_2:1.1
	RELEASE_4_6_1:1.1
	RELEASE_4_6_0:1.1
	RELEASE_5_0_DP1:1.1
	RELEASE_4_5_0:1.1
	RELEASE_4_4_0:1.1;
locks; strict;
comment	@# @;


1.3
date	2004.02.01.17.50.56;	author pav;	state dead;
branches;
next	1.2;

1.2
date	2002.06.20.19.53.10;	author ijliao;	state Exp;
branches;
next	1.1;

1.1
date	2001.08.18.08.42.17;	author ijliao;	state Exp;
branches;
next	;


desc
@@


1.3
log
@- Update to 2.6

PR:		ports/62205
Submitted by:	Christopher Rued <c.rued@@xsb.com> (maintainer)
@
text
@--- topMakefile.in.orig	Sat Apr 27 11:25:35 2002
+++ topMakefile.in	Sat Apr 27 11:26:48 2002
@@@@ -172,9 +172,9 @@@@
 
 emu: ${src_config_prefix}/xsb_config.h ${src_config_prefix}/xsb_debug.h
 	cd ${src_emudir}; \
-	    make depend; \
+	    gmake depend; \
 	    rm -f $(srcdir)/build/.xsb_build_failed; \
-	    (make EXECUTABLE="$(EXECUTABLE)" $(emumake_goal) || \
+	    (gmake EXECUTABLE="$(EXECUTABLE)" $(emumake_goal) || \
 	        $(srcdir)/build/touch.sh $(srcdir)/build/.xsb_build_failed) \
 		2>&1 | tee -a ../build/Installation_summary; \
 	    (test ! -f $(srcdir)/build/.xsb_build_failed || \
@@@@ -182,7 +182,7 @@@@
 
 gpp:
 	@@echo ""; echo "Making gpp"
-	@@cd $(srcdir)/gpp; make 2>&1 | tee -a ../build/Installation_summary
+	@@cd $(srcdir)/gpp; gmake 2>&1 | tee -a ../build/Installation_summary
 
 # Compiling the interface with sModels.
 smodels:
@@@@ -190,7 +190,7 @@@@
 	  echo "Compiling smodels interface"; \
 	  rm -f *.o Makefile *.h *.O *.so 2>/dev/null || echo ""; \
 	  ln -s ${src_config_prefix}/smoMakefile ./Makefile; \
-	  make CROSS_SIMULATOR=@@CROSS_SIMULATOR@@ XSB=$(src_scriptdir)/xsb$(config_tag) @@smodels_goal@@ 2>&1\
+	  gmake CROSS_SIMULATOR=@@CROSS_SIMULATOR@@ XSB=$(src_scriptdir)/xsb$(config_tag) @@smodels_goal@@ 2>&1\
 		 | tee -a ../../build/Installation_summary
 
 # Goal for making an XSB load module to be linked with external
@@@@ -201,10 +201,10 @@@@
 # This invokes xsboramod and xsbmod goals in emuMakefile, respectively
 xsbmod: ${src_config_prefix}/xsb_config.h ${src_config_prefix}/xsb_debug.h
 	cd ${src_emudir}; \
-	    make $(emumake_goal)mod
+	    gmake $(emumake_goal)mod
 
 xsbdll: ${src_config_prefix}/xsb_config.h ${src_config_prefix}/xsb_debug.h
-	cd ${src_emudir}; make dll
+	cd ${src_emudir}; gmake dll
 
 emu_clean: do_cleaning inform_executable
 
@@@@ -394,10 +394,10 @@@@
 	  chmod 644  $(install_config_libdir)/xsb_configuration.O
 
 remake_dot_O_files:
-	cd $(srcdir); make XSB=$(src_scriptdir)/xsb$(config_tag)
+	cd $(srcdir); gmake XSB=$(src_scriptdir)/xsb$(config_tag)
 
 remake_dot_O_files_force:
-	cd $(srcdir); make force XSB=$(src_scriptdir)/xsb$(config_tag)
+	cd $(srcdir); gmake force XSB=$(src_scriptdir)/xsb$(config_tag)
 
 # clean for this architecture only
 configclean::
@@@@ -419,7 +419,7 @@@@
 	@@cd ../packages; ../build/clean_pkgs.sh
 	@@-cd ${src_examples}; rm -f *.O *.o *~ */*.O */*.o */*~
 	@@echo "Cleaning up ${src_libdir}"
-	@@-(cd ${src_libdir}; make clean)
+	@@-(cd ${src_libdir}; gmake clean)
 
 # recreate the makefiles
 again: Makefile.in emuMakefile.in config.status ${src_config_prefix}/config.cache
@


1.2
log
@upgrade to 2.5

PR:		39474
Submitted by:	maintainer
@
text
@@


1.1
log
@add xsb
A tabled Logic Programming and Deductive Database system

PR:		29322
Submitted by:	Christopher Rued <c.rued@@xsb.com>
@
text
@d1 3
a3 3
--- topMakefile.in.old	Sun Jul 29 16:23:01 2001
+++ topMakefile.in	Sun Jul 29 16:22:28 2001
@@@@ -164,9 +164,9 @@@@
d15 1
a15 1
@@@@ -174,7 +174,7 @@@@
d24 1
a24 1
@@@@ -182,7 +182,7 @@@@
d28 2
a29 2
-	  make XSB=$(src_scriptdir)/xsb$(config_tag) @@smodels_goal@@ 2>&1\
+	  gmake XSB=$(src_scriptdir)/xsb$(config_tag) @@smodels_goal@@ 2>&1\
d33 1
a33 1
@@@@ -193,10 +193,10 @@@@
d46 1
a46 1
@@@@ -305,10 +305,10 @@@@
d59 9
@

