From f45c26f83b716c30b170f0c10f85b5cdbeece980 Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Tue, 19 Aug 2008 05:45:17 +0000
Subject: 	* interp/database.boot (pathToDatabase): Honor $verbose. 
 * interp/compiler.boot (COMP-1): Likewise.

---
 src/interp/compiler.boot | 4 +++-
 src/interp/database.boot | 3 ++-
 2 files changed, 5 insertions(+), 2 deletions(-)

(limited to 'src/interp')

diff --git a/src/interp/compiler.boot b/src/interp/compiler.boot
index 7279e5e3..bed900e0 100644
--- a/src/interp/compiler.boot
+++ b/src/interp/compiler.boot
@@ -1934,7 +1934,9 @@ COMP_-1 x ==
   $CLOSEDFNS := []
   lamex := COMP_-TRAN lamex
   COMP_-NEWNAM lamex
-  if FBOUNDP fname then
+  -- Note that category constructors are evaluated before they
+  -- their compiled, so this noise is not very helpful.
+  if $verbose and FBOUNDP fname then
     FORMAT(true,'"~&~%;;;     ***       ~S REDEFINED~%",fname)
   [[fname,lamex],:$CLOSEDFNS]
 
diff --git a/src/interp/database.boot b/src/interp/database.boot
index 68300521..48e5d1e7 100644
--- a/src/interp/database.boot
+++ b/src/interp/database.boot
@@ -48,7 +48,8 @@ $globalExposureGroupAlist := []
 pathToDatabase name ==
   if dbdir := systemAlgebraDirectory() then
     path := strconc(dbdir,name)
-    FORMAT(true,'"   Using local database ~a..",path)
+    if $verbose then
+      FORMAT(true,'"   Using local database ~a..",path)
   else
     path := strconc(systemRootDirectory(),'"algebra/",name)
   path
-- 
cgit v1.2.3