SOURCES = \
config.ml \
config.mli \
+ whenexpr.ml \
+ whenexpr.mli \
whenfile.ml \
whenfile.mli \
whenlock.ml \
whenlock.mli \
whenproto_aux.ml \
whenproto_aux.mli \
- whenutils.mli \
- whenutils.ml
-
+ whenstate.ml \
+ whenstate.mli \
+ whentools.ml \
+ whentools.mli \
+ whenutils.ml \
+ whenutils.mli
+
+# In alphabetical order.
CMI_FILES = \
config.cmi \
+ whenexpr.cmi \
whenfile.cmi \
whenlock.cmi \
whenproto_aux.cmi \
+ whenstate.cmi \
+ whentools.cmi \
whenutils.cmi
# In dependency order.
config.cmo \
whenproto_aux.cmo \
whenutils.cmo \
+ whenexpr.cmo \
+ whenstate.cmo \
whenfile.cmo \
+ whentools.cmo \
whenlock.cmo
# Library.