summary |
shortlog |
log |
commit | commitdiff |
tree
raw |
patch |
inline | side by side (from parent 1:
9f7c940)
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.
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 \
SOURCES = \
config.ml \
config.mli \
whenfile.mli \
whenlock.ml \
whenlock.mli \
whenfile.mli \
whenlock.ml \
whenlock.mli \
- whenproto_aux.ml \
- whenproto_aux.mli \
whenstate.ml \
whenstate.mli \
whentools.ml \
whenstate.ml \
whenstate.mli \
whentools.ml \