From: Richard W.M. Jones <rjones@redhat.com>
Date: Wed, 22 Feb 2012 14:07:08 +0000 (+0000)
Subject: Distribute the *.cmi files.
X-Git-Tag: 0.0.2~3
X-Git-Url: http://git.annexia.org/?a=commitdiff_plain;h=4a35b1e0ff823becd031a934dbe8133d1fbb70c9;p=whenjobs.git

Distribute the *.cmi files.

They are required for compiling the jobs file.
---

diff --git a/lib/Makefile.am b/lib/Makefile.am
index cbd0a28..1421da3 100644
--- a/lib/Makefile.am
+++ b/lib/Makefile.am
@@ -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 \
diff --git a/whenjobs.spec.in b/whenjobs.spec.in
index aba6433..e94e69b 100644
--- a/whenjobs.spec.in
+++ b/whenjobs.spec.in
@@ -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*