Ajout de ASPPPROFFLAGS

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2026 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
master
Xavier Leroy 1998-08-06 14:25:24 +00:00
parent 49521cb928
commit 6c9aa7d18b
3 changed files with 11 additions and 2 deletions

View File

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

View File

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

5
configure vendored
View File

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