@@ -77,6 +77,7 @@ set_defaults () {
7777 enable_natdynlink=1
7878 enable_debug=1
7979 enable_annot=1
80+ enable_profiling=0
8081 with_sqlite=1
8182 with_pgsql=1
8283 with_camlzip=1
@@ -106,7 +107,7 @@ full_pwd=`pwd`
106107# # Option parsing
107108
108109# # Which options exist? eoptions for enable/disable, woptions for with/without:
109- eoptions=" debug annot natdynlink"
110+ eoptions=" debug annot profiling natdynlink"
110111woptions=" pgsql sqlite dbm camlzip"
111112
112113print_options () {
@@ -181,6 +182,7 @@ usage: ./configure [ options ]
181182
182183 --enable-debug, --disable-debug Enable/disable debug output
183184 --enable-annot, --disable-annot Enable/disable .cmt{,i} files generation
185+ --enable-profiling, --disable-profiling Enable/disable profiling
184186 --enable-natdynlink, --disable-natdynlink Enable/disable nativecode dynamic linking
185187
186188 --with-sqlite, --without-sqlite Compile ocsipersist with SQLite for persistent storage
@@ -491,6 +493,11 @@ if [ $enable_annot -gt 0 ] ; then
491493else
492494 enable_annot=" NO"
493495fi
496+ if [ $enable_profiling -gt 0 ] ; then
497+ enable_profiling=" YES"
498+ else
499+ enable_profiling=" NO"
500+ fi
494501if [ $enable_natdynlink -gt 0 ] ; then
495502 enable_natdynlink=" YES"
496503else
@@ -574,7 +581,7 @@ DEBUG:=$enable_debug
574581ANNOT:=$enable_annot
575582
576583# Profiling (always put NO here - but if you want to debug ocsigen):
577- PROFILING:=NO
584+ PROFILING:=$enable_profiling
578585
579586
580587
0 commit comments