--- 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
