[m-dev.] for review: clean up configure for use with MSVC

Peter Ross peter.ross at miscrit.be
Wed Aug 30 23:21:56 AEDT 2000


On Sat, Aug 26, 2000 at 02:19:44PM +1000, Fergus Henderson wrote:
> On 25-Aug-2000, Peter Ross <peter.ross at miscrit.be> wrote:
> > 
> > configure.in:
> > 	Install as many hlc grades as possible.
> 
> Hmm...  How many new grades does that add?  How much does that add to
> the install time and to the binary distribution size?
> 

I have changed the script to have the option
    --enable-all-hlc-grades
this option is automatically enabled for MS compilers.

We now install exactly the same number of grades by default unless you
are using the MS compiler, in which case you get the all the hlc and
none grades.

I have checked this change in.

Please find attached the relative diff.

--- configure.in
+++ configure.in
@@ -1770 +1770 @@
-LIBGRADES="$LIBGRADES hlc hlc.gc"
+LIBGRADES="$LIBGRADES hlc.gc"
@@ -1772,4 +1772,14 @@
-# add `.prof' (--profiling) grades, if time profiling is supported,
-# and a `.memprof' (--memory-profiling) grade.
-if test $mercury_cv_profiling = yes; then
-	LIBGRADES="$LIBGRADES hlc.gc.prof"
+AC_ARG_ENABLE(all-hlc-grades,
+[  --enable-all-hlc-grades install all the hlc grades],
+enable_all_hlc_grades=yes,enable_all_hlc_grades=no)
+
+if test $enable_all_hlc_grades = "yes" -o $ac_microsoft = "yes"; then
+	# add `hlc' grade
+	LIBGRADES="$LIBGRADES hlc"
+
+	# add `.prof' (--profiling) grades, if time profiling is supported,
+	# and a `.memprof' (--memory-profiling) grade.
+	if test $mercury_cv_profiling = yes; then
+		LIBGRADES="$LIBGRADES hlc.gc.prof"
+	fi
+	LIBGRADES="$LIBGRADES hlc.gc.memprof"
@@ -1777 +1786,0 @@
-LIBGRADES="$LIBGRADES hlc.gc.memprof"
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------



More information about the developers mailing list