diff options
Diffstat (limited to 'dev-ml/labltk')
| -rw-r--r-- | dev-ml/labltk/Manifest | 2 | ||||
| -rw-r--r-- | dev-ml/labltk/files/labltk-8.06.12-shuffle.patch | 10 |
2 files changed, 11 insertions, 1 deletions
diff --git a/dev-ml/labltk/Manifest b/dev-ml/labltk/Manifest index e2970779b395..68231a838b43 100644 --- a/dev-ml/labltk/Manifest +++ b/dev-ml/labltk/Manifest @@ -2,7 +2,7 @@ AUX findlib.patch 645 BLAKE2B 63c8dc3a2b332129bf90af98b908e1ade5a15381a903ec9591 AUX labltk-8.06.10-this-expression-has-type.patch 644 BLAKE2B 951ccdfa410298bb166f784e43ec85f5d9c60baba4d1c7b3bf9b745c57c57887ebe3b3864e18c9daa32351d37c98de50a0cbfe138e9c8c6391c3096ca91916e2 SHA512 6776041f27b7cacf4a62b6f0fa5929672efdd4147401d7a8b7536b33ddef9db8ec923c999e5ae8c39ef634526f4316517606c546f5c3b588d2f0c9c4415f96c2 AUX labltk-8.06.12-c2x.patch 2004 BLAKE2B de15e8845f52c5afbe55a3073ff9de48eccc195b807bc5b3be3926be5be39d1e82d8104b3e20bb135b66b29d17255cef6da83fa87478cde855a5f6f9454f20ba SHA512 1244edf70dc5e42cc11bc7b92dbece31cbbe6bf2b86e9ed3f78543ddd7f3b8866abc8e0fe5929123635d6870d1b2e3bd79dc0d6a430a08614541fee69fe0723e AUX labltk-8.06.12-c99.patch 545 BLAKE2B a54e5bdabfa14ee0f28d5ec2a4c3117d604a1933e5c0ccf6021158445154e9204670018696067b5f126d9cdcce91515565c4697ea5e7e4045c6d259c456502b9 SHA512 118ba1606dd510d34766fcb1d82011025f6b2fe78503ea34fa4d913e13c2402bab19f9c63f09bbe87c53845becaf8a59102492dc499e803598bd4f1c063b812e -AUX labltk-8.06.12-shuffle.patch 1486 BLAKE2B f463d68056f9a8b4e691b4d6c20080a95407e8cdeb57b95bd7cefdb01df1920af7a8f24aae7842447c02a98339fc691568c60254e64b5ad2db996225276e28c2 SHA512 4e50f27c3030a0b70efa49fc6367cc75117054f3956ba8adab2834bc5d08738154b324b7434abbff574272055fedd2bf3b30bf675645d7bd84e3dc82d4ae17f5 +AUX labltk-8.06.12-shuffle.patch 1731 BLAKE2B 22a6cb1c5dc372a4eda36fa25a2f658abcea2b0be82cea426c7fb5da54850b0c9c80cb892020e6387823692a7cd952347fe694191c9f738f4475e77cd18a3a5f SHA512 9c54b3d06b674955c16bbdd1de3e195bc5504a11c0771d29e53cd0190c397f623b3d58291e4c9435d120aba43d0273352b675822cf1b512e54fcd6f04db9f316 AUX labltk-8.06.7-configure.patch 680 BLAKE2B 4442a053aa034f92c923cc7672bb953cf61b3d9b8f402183dc9dd2fcf13d85988f659280d9509ea1a1e05eb0df2c0ec8aa32632ea7dd4974f95353e74378d572 SHA512 d5c28d21f365ea942b631643ea3d2328a63c96ff81b99586ea8a58e4d0e5a5f22da0cf7232c616e61d40da1a1773fb19dc1bc9ce4cfa5d8017673ffb4ad61547 AUX labltk-8.06.9-configure-clang16.patch 1461 BLAKE2B 0815daa22884930b9fe83e4b0cafabd86831e4f0a5a5f5355f658d8ac1bcc04ad68eaa5f6e85014613c01eebcdd323e73c3d8512cc2a6fefc35d3811b228a26e SHA512 3738dd7391ef557aa261887b9b3c8602ff5566125a386212405549560f319e33657ef4f23bea2784f5bdade7ad01536e3f1137ef60bae585a01bfcbdee2524e8 DIST labltk-8.06.10-warnings.patch.bz2 4194 BLAKE2B 106e70dac1601a831a46a21a4013f70d2b9e17f910b8c09fc2c976840cd2e4d29dbc9be50cd7efa469d50be984cae82b56783a4e8d9a0bfa308d1d4466e44039 SHA512 eeea791a4e901335f6e010983da85d72e0a6f9fe24ab84bff5c0e46af941a5bb39995ad4d475894855ecb75d5ce26c1280a74d059e845301b30f6a386b2338f8 diff --git a/dev-ml/labltk/files/labltk-8.06.12-shuffle.patch b/dev-ml/labltk/files/labltk-8.06.12-shuffle.patch index 482b18370ad6..62fd8997f212 100644 --- a/dev-ml/labltk/files/labltk-8.06.12-shuffle.patch +++ b/dev-ml/labltk/files/labltk-8.06.12-shuffle.patch @@ -34,3 +34,13 @@ jg_menu.cmx jg_memo.cmx fileselect.cmx ../support/fileevent.cmx shell.cmi typecheck.cmo : ../labltk/tk.cmo ../labltk/text.cmi mytypes.cmi jg_tk.cmo \ jg_text.cmi jg_message.cmi typecheck.cmi +--- a/browser/Makefile.shared 2024-06-05 10:08:38.886219581 +0200 ++++ b/browser/Makefile.shared 2024-06-05 10:06:05.142920155 +0200 +@@ -71,4 +71,7 @@ + + shell.cmo: dummy.cmi + ++dummy.cmi: dummy.ml ++ $(CAMLCOMP) $(INCLUDES) $< ++ + include .depend |