]> https://gitweb.dealii.org/ - dealii.git/commitdiff
allow for unknown compilers
authorGuido Kanschat <dr.guido.kanschat@gmail.com>
Thu, 10 Mar 2005 17:35:52 +0000 (17:35 +0000)
committerGuido Kanschat <dr.guido.kanschat@gmail.com>
Thu, 10 Mar 2005 17:35:52 +0000 (17:35 +0000)
git-svn-id: https://svn.dealii.org/trunk@10080 0785d39b-7218-0410-832d-ea1e28bc413d

deal.II/aclocal.m4
deal.II/configure

index c42b1a4025795bc086fa9652e768045b55d870e5..51ec321f9ed90f8e6d15dc59d4284bd9a9f93571 100644 (file)
@@ -235,8 +235,8 @@ AC_DEFUN(DEAL_II_DETERMINE_CXX_BRAND, dnl
                      else
   
                         dnl  Aw, nothing suitable found...
-                        AC_MSG_ERROR([Unrecognized compiler -- sorry])
-                        exit 1
+                        AC_MSG_RESULT(Unrecognized compiler --- you will probably run into trouble. Try to go ahead and get help from developers@dealii.org)
+                        GXX_VERSION=unknown_cc
                       fi
                     fi
                   fi
index c4ceeb45ab66fc6248801fa42ff66526e8e89428..e751b880ba186edb10b30701cc8d4a68dbe683c4 100755 (executable)
@@ -1,5 +1,5 @@
 #! /bin/sh
-# From configure.in Revision: 1.186 .
+# From configure.in Revision: 1.187 .
 # Guess values for system-dependent variables and create Makefiles.
 # Generated by GNU Autoconf 2.59.
 #
@@ -3035,10 +3035,9 @@ echo "${ECHO_T}C++ compiler is KAI C++" >&6
                        GXX_VERSION=kai_cc
                      else
 
-                                                { { echo "$as_me:$LINENO: error: Unrecognized compiler -- sorry" >&5
-echo "$as_me: error: Unrecognized compiler -- sorry" >&2;}
-   { (exit 1); exit 1; }; }
-                        exit 1
+                                                echo "$as_me:$LINENO: result: Unrecognized compiler --- you will probably run into trouble. Try to go ahead and get help from developers@dealii.org" >&5
+echo "${ECHO_T}Unrecognized compiler --- you will probably run into trouble. Try to go ahead and get help from developers@dealii.org" >&6
+                        GXX_VERSION=unknown_cc
                       fi
                     fi
                   fi

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.