Remove config files generation from Makefiles

Makefile

@@ -8,7 +8,8 @@ default all: build
 
 .PHONY: build
 build:
-	${MAKE} -C src
+	dune build
+	${MAKE} -C src/server build
 doc:
 	$(MAKE) -C doc
 
@@ -28,13 +29,14 @@ top:
 ### Cleaning ###
 
 clean: clean.local
-	${MAKE} -C src clean
+	${MAKE} -C src/server clean
 
 clean.local:
+	dune clean
 	-rm -f ocsigenserver-*.tar.gz
 
 distclean: clean.local
-	${MAKE} -C src distclean
+	${MAKE} -C src/server distclean
 	-make -C doc clean
 	-rm Makefile.config
 	-rm -f *~ \#* .\#*

Makefile.options

@@ -26,12 +26,3 @@ INCS=   -I ${BLD}/server/.ocsigenserver.objs/byte \
 SERVER_PACKAGE := lwt_ssl,bytes,lwt.unix,lwt_log,ipaddr,findlib,cryptokit,re,str,xml-light,dynlink,cohttp-lwt-unix,hmap
 
 LIBS := -package ${SERVER_PACKAGE} ${INCS}
-
-INITPACKAGE := \"$(shell ${OCAMLFIND} query -p-format -recursive        \
-				    -separator '\";\"' ${SERVER_PACKAGE})\"; \
-	       \"ocsigenserver.polytables\";   \
-	       \"ocsigenserver.cookies\";      \
-	       \"ocsigenserver.baselib.base\"; \
-	       \"ocsigenserver.baselib\";      \
-	       \"ocsigenserver.http\";         \
-	       \"ocsigenserver\";              \

configure

@@ -80,6 +80,7 @@ set_defaults () {
     bindir=""
     logdir=""
     libdir=""
+    libdir_set=0
     mandir=""
     docdir=""
     sysconfdir="/etc/ocsigenserver"
@@ -282,6 +283,7 @@ while [ "$#" -gt 0 ]; do
                         ;;
                 --libdir)
                         libdir="$2"
+                        libdir_set=1
                         shift
                         shift
                         ;;
@@ -485,32 +487,14 @@ CC        := gcc
 # optional
 RLWRAP    := $rlwrap
 
-
-### Options ###
-
-# User who will run Ocsigen server (not root) (eg, for debian, www-data)
-# (This user must exist on your system)
-OCSIGENUSER := $ocsigen_user
-
-# group who will run Ocsigen server (not root) (eg, for debian, www-data)
-# (This group must exist)
-OCSIGENGROUP := $ocsigen_group
-
-
 ### Paths ###
 
 # Temporary root directory to install the package (usually always "" but for package makers)
 TEMPROOT := $temproot
 
-# The directory for ocsigen server (binary):
-BINDIR := $root$bindir
-
 # The directory for ocsigen manpage:
 MANDIR := $root$mandir
 
-# Where to install the libraries
-LIBDIR := $libdir
-
 # ocsigen's logs:
 LOGDIR := $root$logdir
 
@@ -538,6 +522,25 @@ SRC := $full_pwd
 include \$(SRC)/Makefile.options
 _EOF_
 
+echo "Writing config options"
+cat <<_EOF_ > $my_pwd/src/files/ocsigenserver.conf/options.ml
+let version = "$version"
+let src = "$full_pwd"
+let port = 80
+let ocsigenuser = "$ocsigen_user"
+let ocsigengroup = "$ocsigen_group"
+let bindir = "$root$bindir"
+let libdir = "$libdir"
+let libdir_set = $libdir_set
+let logdir = "$root$logdir"
+let configdir = "$root$sysconfdir"
+let staticpagesdir = "$root$staticpagesdir"
+let datadir = "$root$datadir"
+let uploaddir = "$root$uploaddir"
+let commandpipe = "$root$commandpipe"
+let mimefile = "$root$sysconfdir/mime.types"
+_EOF_
+
 ######################################################################
 # Finish
 

dune

@@ -0,0 +1,19 @@
+(rule
+ (mode
+  (promote (until-clean)))
+ (target ocsigenserver.conf.sample)
+ (action
+  (with-stdout-to
+   %{target}
+   (run src/files/ocsigenserver.conf/gen.exe sample))))
+
+(subdir
+ local/etc
+ (rule
+  (mode
+   (promote (until-clean)))
+  (target ocsigenserver.conf)
+  (action
+   (with-stdout-to
+    %{target}
+    (run ../../src/files/ocsigenserver.conf/gen.exe local)))))

src/baselib/dune

@@ -22,3 +22,8 @@
      (select dynlink_wrapper.ml from
        (dynlink -> dynlink_wrapper.natdynlink.ml)
        (_ -> dynlink_wrapper.nonatdynlink.ml))))
+
+(rule
+ (with-stdout-to
+  ocsigen_config_static.ml
+  (run ../files/ocsigenserver.conf/gen.exe static.ml)))

src/files/ocsigenserver.conf/dune

@@ -0,0 +1,3 @@
+(executable
+ (name gen)
+ (libraries str unix))