git.annexia.org
/
whenjobs.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Distribute the *.cmi files.
[whenjobs.git]
/
lib
/
Makefile.am
diff --git
a/lib/Makefile.am
b/lib/Makefile.am
index
cbd0a28
..
1421da3
100644
(file)
--- a/
lib/Makefile.am
+++ b/
lib/Makefile.am
@@
-18,7
+18,7
@@
EXTRA_DIST = whenproto.x pa_when.ml $(SOURCES)
libwhenjobsdir = $(libdir)/$(PACKAGE_NAME)
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
OCAMLPACKAGES = -package unix,num,camlp4.lib,calendar,rpc
@@
-38,6
+38,13
@@
SOURCES = \
whenutils.mli \
whenutils.ml
whenutils.mli \
whenutils.ml
+CMI_FILES = \
+ config.cmi \
+ whenfile.cmi \
+ whenlock.cmi \
+ whenproto_aux.cmi \
+ whenutils.cmi
+
# In dependency order.
OBJECTS = \
config.cmo \
# In dependency order.
OBJECTS = \
config.cmo \