X-Git-Url: http://git.annexia.org/?p=whenjobs.git;a=blobdiff_plain;f=lib%2FMakefile.am;h=2a42d1eb422ddd134d75258ba95004a636d45c2a;hp=61d0ad6295af9e38ac3a2bb03d9960ea9c263703;hb=95e69a360c9b017b308ba199eddc0238a7b71905;hpb=108dd86b36e82df2a2029dbd12700f9c83e501c1 diff --git a/lib/Makefile.am b/lib/Makefile.am index 61d0ad6..2a42d1e 100644 --- a/lib/Makefile.am +++ b/lib/Makefile.am @@ -39,17 +39,20 @@ SOURCES = \ whenproto_aux.mli \ whenstate.ml \ whenstate.mli \ + whentools.ml \ + whentools.mli \ whenutils.ml \ whenutils.mli # In alphabetical order. CMI_FILES = \ config.cmi \ - whenexpr.cmi + whenexpr.cmi \ whenfile.cmi \ whenlock.cmi \ whenproto_aux.cmi \ whenstate.cmi \ + whentools.cmi \ whenutils.cmi # In dependency order. @@ -60,6 +63,7 @@ OBJECTS = \ whenexpr.cmo \ whenstate.cmo \ whenfile.cmo \ + whentools.cmo \ whenlock.cmo # Library.