about summary refs log tree commit diff
path: root/configure.ac
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2004-04-21T10·54+0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2004-04-21T10·54+0000
commitf79e9c2d22345eeb0c721a8cf5375101d33dc4c9 (patch)
treeb969e1ebfcde35c9889cacf98bde162f9124356c /configure.ac
parent8e459d919dbce7c6d45d90ef9a9385133cfae15e (diff)
* Do initialise state (the DB etc.) when doing a `make install',
  unless `--disable-init-state' is passed to configure.

Diffstat (limited to 'configure.ac')
-rw-r--r--configure.ac5
1 files changed, 5 insertions, 0 deletions
diff --git a/configure.ac b/configure.ac
index 1c42194c1580..df9e8249a8e5 100644
--- a/configure.ac
+++ b/configure.ac
@@ -114,6 +114,11 @@ AC_SUBST(aterm_include)
 
 AC_CHECK_LIB(pthread, pthread_mutex_init)
 
+AC_ARG_ENABLE(init-state, AC_HELP_STRING([--disable-init-state],
+  [do not initialise DB etc. in `make install']),
+  init_state=$enableval, init_state=yes)
+AM_CONDITIONAL(INIT_STATE, test "$init_state" = "yes")
+
 AM_CONFIG_HEADER([config.h])
 AC_CONFIG_FILES([Makefile
    externals/Makefile