X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fdaemons%2Fhttp_getter%2Fconfigure.ac;fp=helm%2Fsoftware%2Fdaemons%2Fhttp_getter%2Fconfigure.ac;h=36efda57607e6c2fc19c4f9f26381af790da1214;hb=76ad23ea1e83e8c187a4593027e9baed1bb022e3;hp=0000000000000000000000000000000000000000;hpb=2b2b90087f836c2f32291935216549e9370e68c3;p=helm.git

diff --git a/helm/software/daemons/http_getter/configure.ac b/helm/software/daemons/http_getter/configure.ac
new file mode 100644
index 000000000..36efda576
--- /dev/null
+++ b/helm/software/daemons/http_getter/configure.ac
@@ -0,0 +1,13 @@
+AC_INIT(main.ml)
+
+AC_ARG_WITH(conffile,
+	      AS_HELP_STRING([--with-conffile=fname],
+			     [set default run time configuration file (default is /etc/http_getter.conf.xml]),
+	      [GETTER_CONF_FILE=$withval], [GETTER_CONF_FILE=/etc/http_getter.conf.xml])
+
+AC_SUBST(GETTER_CONF_FILE)
+
+AC_OUTPUT([
+  buildTimeOpts.ml
+])
+