diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 1998-08-06 14:25:24 +0000 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 1998-08-06 14:25:24 +0000 |
| commit | 6c9aa7d18bfef0cebf4e9d6af44228c1beae8423 (patch) | |
| tree | 1a98ed7e03d1b1c17eea580176800a97a17b85ed | |
| parent | 49521cb928aafced807308b57dce63ebbc85b425 (diff) | |
Ajout de ASPPPROFFLAGS
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2026 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| -rw-r--r-- | asmrun/Makefile | 2 | ||||
| -rw-r--r-- | config/Makefile-templ | 6 | ||||
| -rwxr-xr-x | configure | 5 |
3 files changed, 11 insertions, 2 deletions
diff --git a/asmrun/Makefile b/asmrun/Makefile index 25babff02..997ae880d 100644 --- a/asmrun/Makefile +++ b/asmrun/Makefile @@ -113,7 +113,7 @@ clean:: $(ASPP) $(ASPPFLAGS) -o $*.o $*.S .S.p.o: - $(ASPP) $(ASPPFLAGS) -DPROFILING -o $*.p.o $*.S + $(ASPP) $(ASPPFLAGS) $(ASPPPROFFLAGS) -o $*.p.o $*.S .c.d.o: @ if test -f $*.o; then mv $*.o $*.f.o; else :; fi diff --git a/config/Makefile-templ b/config/Makefile-templ index 2dbea257e..e2cf57ea3 100644 --- a/config/Makefile-templ +++ b/config/Makefile-templ @@ -166,6 +166,12 @@ SHARPBANGSCRIPTS=true #ASPP=$(AS) #ASPPFLAGS= +### Extra flags to use for assembling .S files in profiling mode +# On Digital Unix: +#ASPPPROFFLAGS=-pg -DPROFILING +# Otherwise: +#ASPPPROFFLAGS=-DPROFILING + ############# Configuration for the contributed libraries ### Which libraries to compile and install @@ -306,9 +306,11 @@ esac asflags='' aspp='$(AS)' asppflags='' +asppprofflags='-DPROFILING' case "$arch,$model,$system" in - alpha,*,digital) asflags='-O2'; asppflags='-O2 -DSYS_$(SYSTEM)';; + alpha,*,digital) asflags='-O2'; asppflags='-O2 -DSYS_$(SYSTEM)'; + asppprofflags='-pg -DPROFILING';; alpha,*,linux) aspp='gcc'; asppflags='-c -DSYS_$(SYSTEM)';; mips,*,irix) asflags='-32 -O2'; asppflags="$asflags";; mips,*,ultrix) asflags='-O2'; asppflags="$asflags";; @@ -716,6 +718,7 @@ echo "NATIVECCLINKOPTS=$nativecclinkopts" >> Makefile echo "ASFLAGS=$asflags" >> Makefile echo "ASPP=$aspp" >> Makefile echo "ASPPFLAGS=$asppflags" >> Makefile +echo "ASPPPROFFLAGS=$asppprofflags" >> Makefile echo "CCLIBS=$cclibs" >> Makefile echo "OTHERLIBRARIES=$otherlibraries" >> Makefile |