Distribute the *.cmi files.
authorRichard W.M. Jones <rjones@redhat.com>
Wed, 22 Feb 2012 14:07:08 +0000 (14:07 +0000)
committerRichard W.M. Jones <rjones@redhat.com>
Wed, 22 Feb 2012 14:13:39 +0000 (14:13 +0000)
They are required for compiling the jobs file.

lib/Makefile.am
whenjobs.spec.in

index cbd0a28..1421da3 100644 (file)
@@ -18,7 +18,7 @@
 EXTRA_DIST = whenproto.x pa_when.ml $(SOURCES)
 
 libwhenjobsdir = $(libdir)/$(PACKAGE_NAME)
-libwhenjobs_SCRIPTS = whenlib.cma pa_when.cmo
+libwhenjobs_SCRIPTS = whenlib.cma pa_when.cmo $(CMI_FILES)
 
 OCAMLPACKAGES = -package unix,num,camlp4.lib,calendar,rpc
 
@@ -38,6 +38,13 @@ SOURCES = \
        whenutils.mli \
        whenutils.ml
 
+CMI_FILES = \
+       config.cmi \
+       whenfile.cmi \
+       whenlock.cmi \
+       whenproto_aux.cmi \
+       whenutils.cmi
+
 # In dependency order.
 OBJECTS = \
        config.cmo \
index aba6433..e94e69b 100644 (file)
@@ -75,6 +75,7 @@ rm -rf $RPM_BUILD_ROOT
 %{_sysconfdir}/prelink.conf.d/%{name}.conf
 %{_bindir}/whenjobs
 %{_sbindir}/whenjobsd
+%{_libdir}/whenjobs/*.cmi
 %{_libdir}/whenjobs/pa_when.cmo
 %{_libdir}/whenjobs/whenlib.cma
 %{_mandir}/man1/*.1*