]> matita.cs.unibo.it Git - helm.git/blob - helm/interface/config.cache.pkg
- the mathql interpreter is not helm-dependent any more
[helm.git] / helm / interface / config.cache.pkg
1 # This is the config.cache that holds the ``standard'' path for the
2 # HELM library. It is supposed to be used when creating packages
3
4 helm_cv_HELM_DEFAULT_CONFIGURATION_DIR=${helm_cv_HELM_DEFAULT_CONFIGURATION_DIR='$RESOLVED_PREFIX/etc/helm'}