Index: driver/cfa.cc
===================================================================
--- driver/cfa.cc	(revision 1f86d5e0e812ef5df6a8c2b48266487b25b5362a)
+++ driver/cfa.cc	(revision c9e640efad4c1995846cf711a7ae8d838abeaaeb)
@@ -107,7 +107,8 @@
 	bool link = true;									// linking as well as compiling
 	bool verbose = false;								// -v flag
-	bool quiet = false;									// -quiet flag
-	bool debug = true;									// -debug flag
-	bool help = false;									// -help flag
+	bool quiet = false;								// -quiet flag
+	bool debug = true;								// -debug flag
+	bool nolib = false;								// -nolib flag
+	bool help = false;								// -help flag
 	bool CFA_flag = false;								// -CFA flag
 	bool cpp_flag = false;								// -E or -M flag, preprocessor only
@@ -162,5 +163,7 @@
 				debug = true;							// strip the debug flag
 			} else if ( arg == "-nodebug" ) {
-				debug = false;							// strip the nodebug flag
+				debug = false;							// strip the debug flag
+			} else if ( arg == "-nolib" ) {
+				nolib = true;							// strip the nodebug flag
 			} else if ( arg == "-quiet" ) {
 				quiet = true;							// strip the quiet flag
@@ -366,8 +369,8 @@
 		}  // if
 	} // if
-	const char * config = debug ? "debug": "nodebug";
+	const char * config = nolib ? "nolib" : (debug ? "debug": "nodebug");
 	string libdir = libbase + arch + "-" + config;
 
-	if ( ! dirExists( libdir ) ) {
+	if ( ! nolib && ! dirExists( libdir ) ) {
 		cerr << argv[0] << " internal error, configuration " << config << " not installed." << endl;
 		cerr << "Was looking for " << libdir << endl;