is the installation of *Props.* files expected?

--===============4121384975881140810==
Content-Type: multipart/signed; micalg=pgp-sha1;
	protocol="application/pgp-signature"; boundary="+cfQkLQGU7KOA/8T"
Content-Disposition: inline


--+cfQkLQGU7KOA/8T
Content-Type: multipart/mixed; boundary="m+utxuhC6KVTvgNz"
Content-Disposition: inline


--m+utxuhC6KVTvgNz
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
Content-Transfer-Encoding: quoted-printable

Dear lablgtk developers,

I find that lablgtk2-2.16.0 installs *Props.* files, while the
previous versions didn't.  IMHO, *Props.* files are intermediate files
generated by the build system, and they are finally linked into *.cmo
or *.cmx files, so my question is that, is it necessary to install
*Props.* files?

A patch intended not to install these files is attached herewith, but
I'm not sure if it breaks the package.


Best regards,
Lifeng

--=20

--m+utxuhC6KVTvgNz
Content-Type: text/x-diff; charset=us-ascii
Content-Disposition: attachment; filename="0003-dont-install-Props-files.patch"

--- a/src/Makefile
+++ b/src/Makefile
@@ -236,6 +236,7 @@
 	gUtil.cmo gToolbox.cmo
 MLOBJS =  $(MLOBJS1) $(ENUMOBJS) $(MLOBJS2) $(GTKPROPS:.props=Props.cmo) \
 	$(MLOBJS3) $(GTKPROPS:%.props=o%Props.cmo) $(MLOBJS4)
+MLXOBJS = $(MLOBJS1) $(ENUMOBJS) $(MLOBJS2) $(MLOBJS3) $(MLOBJS4)
 THOBJS = gtkThread.cmo
 INITOBJS = gtkInit.cmo
 ifdef USE_GTKQUARTZ
@@ -244,7 +245,7 @@
 THINITOBJS = gtkThInit.cmo
 endif
 EXTRAOBJS = $(INITOBJS) $(THOBJS) $(THINITOBJS)
-ALLOBJS = $(MLOBJS) $(GLMLOBJS) $(GNOMEMLOBJS) $(GLADEMLOBJS) \
+ALLOBJS = $(MLXOBJS) $(GLMLOBJS) $(GNOMEMLOBJS) $(GLADEMLOBJS) \
 	$(RSVGMLOBJS) $(GNOMECANVASMLOBJS) $(GNOMEUIMLOBJS) $(PANELMLOBJS) \
 	$(GTKSPELLMLOBJS) $(GTKSOURCEVIEW2MLOBJS) \
 	$(INITOBJS)

--m+utxuhC6KVTvgNz--

--+cfQkLQGU7KOA/8T
Content-Type: application/pgp-signature; name="signature.asc"
Content-Description: Digital signature

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)

iQIcBAEBAgAGBQJR8U0pAAoJEApLY3DSMYRCWPsP/iwAuhjE/qs1ZBPaBlGD9Jqn
qFxwYP7xnz8JAaH04RqWqx1QN1Ws8H7uS1HYP2veUvQAf2fKnVOpoEoe4mbPw/Cg
d8FV7z8tDRNa+UHW6xdZ1sgnw6Sthq+8UDu9jzTB6AFM5xs4aLCs+akj6ZzzrSFn
gQjoRJWLFieJTaB88npmPcsV/rjOvbl8+oXwJBzgzzri569G/wBnS4AqJjQ3lRQi
lozrR6NKbPLeWFrSKBs+t9AM2VbP8t6plwGwNpRWYFcVQvghnPxsbBJb1lYaiiA2
PuDmcdeLQ6A5r9R3yUipSB2KJGjHmqwBdwZScgxUW51JG+N8sZ8jMkH6K1P/wzc6
N/sz+wTAYyY0yQL4sPlB3rd1oQcwFlN07ghbOgl7rlnF8caxI3PGNNTc9Vy6NLxw
LAwTp4RyBaT411LitZhZAgERCv/o3moXhu6RmCUCG0HLIsKjVx31STCtXkOljvwW
CUxP2kl9MWYrk1fXmWoc4xp+g1vPcwwKyeGjlBbw6vKrO55/6j8b984BHfnoP6ig
naxDJyfc+aoNnq9RR4yWXRWsSu7ROZ13qUh0Xt54rxkMRbf2w3VxBk8t7B6G6Omf
qrjpLZ4lQZNGv8gS8ZBVVEC8MNjSAFjtcGr6kFqkPO3IJk50FGRS1Lele4jR7inn
ZEYtThX9VA3/EeCz0R/U
=jNA9
-----END PGP SIGNATURE-----

--+cfQkLQGU7KOA/8T--

--===============4121384975881140810==
Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Disposition: inline

_______________________________________________
Lablgtk-list mailing list
[email protected]
https://lists.ocamlcore.org/cgi-bin/listinfo/lablgtk-list

--===============4121384975881140810==--