]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/configuration/config.cache.pkg
ocaml 3.09 transition
[helm.git] / helm / configuration / config.cache.pkg
index 0900d904bc0801eef9dc36883417477ac1d2ca6b..434e570a2b28d8e18af0cd7f6044e8e014a7a6c0 100644 (file)
@@ -1,4 +1,15 @@
-# This is the config.cache that holds the ``standard'' path for the
-# HELM library. It is supposed to be used when creating packages
-
-helm_cv_HELM_LIBRARY_DIR=${helm_cv_HELM_LIBRARY_DIR='$RESOLVED_PREFIX/var/helm'}
+# This file is a shell script that caches the results of configure
+# tests run on this system so they can be shared between configure
+# scripts and configure runs.  It is not useful on other systems.
+# If it contains results you don't want to keep, you may remove or edit it.
+#
+# By default, configure uses ./config.cache as the cache file,
+# creating it if it does not exist already.  You can give configure
+# the --cache-file=FILE option to use a different cache file; that is
+# what configure does when it calls configure scripts in
+# subdirectories, so they share the cache.
+# Giving --cache-file=/dev/null disables caching, for debugging configure.
+# config.status only pays attention to the cache file if you give it the
+# --recheck option to rerun configure.
+#
+helm_cv_HELM_VAR_DIR=${helm_cv_HELM_VAR_DIR='/var/local/helm'}