These generated files are not compatible between releases of ocamlnet,
so must be regenerated each time. A typical error is:
File "whenproto_aux.ml", line 121, characters 13-25:
Error: Unbound value Xdr.safe_add
OCAMLOPTFLAGS = $(OCAMLCFLAGS)
# These should be in alphabetical order.
+#
+# NB. whenproto_aux.{ml,mli} are not included here. These generated
+# files are not compatible across different versions of ocamlnet, so
+# must not be included in the tarball and should be regenerated by the
+# user each time.
SOURCES = \
config.ml \
config.mli \
whenfile.mli \
whenlock.ml \
whenlock.mli \
- whenproto_aux.ml \
- whenproto_aux.mli \
whenstate.ml \
whenstate.mli \
whentools.ml \