X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=INSTALL;fp=INSTALL;h=c1a48ef8f5e8606508f0b30a931b7e7fb8b61944;hb=b72c417165e828d7fb6afc6c647f9fc123fd7847;hp=5d79c55e44109acb8e00ab5859ac2a03220e6fec;hpb=fd3d64301598af490d54df88fb485853521e283f;p=pspp-builds.git

diff --git a/INSTALL b/INSTALL
index 5d79c55e..c1a48ef8 100644
--- a/INSTALL
+++ b/INSTALL
@@ -209,6 +209,14 @@ Optional Features
     In these cases you can use --without-lib{xx} to force configure
     to disregard it.
 
+`--enable-anachronistic-dependencies'
+   If you use this option, some of the checks for dependent libraries
+   will be relaxed, permitting configure to succeed when older versions
+   of libraries are detected.   Use of this option is not recommended.
+   If you use it, some features may be missing and the build may fail
+   with obscure error messages.
+   
+
 Defining Variables
 ==================