1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
|
--- 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
|
