Hi, On Thu, Jun 20, 2024 at 06:35:49AM +0000, Stephane Glondu wrote: ...
A repository with all relevant packages recompiled with OCaml 5.2.0 is available at the following address: http://ocaml.debian.net/transitions/ocaml-5.2.0/
Given upstream's help, the package can be built on my local build now,
see:
https://github.com/jrh13/hol-light/issues/101#issuecomment-2411453740
But there are two issues blocks me to upload:
1. there is no doc which hits how to exclude files likes this[0]
descripted
[0]: https://salsa.debian.org/ocaml-team/hol-light/-/blob/master/debian/hol-light-source.exclude?ref_type=heads
2. we will have to modify the d/rules to pass the build and this will
change the results of built:
```
--- a/debian/rules
+++ b/debian/rules
@@ -29,8 +29,8 @@ override_dh_auto_clean:
.PHONY: override_dh_auto_build
override_dh_auto_build:
- dh_auto_build
- ocamlfind ocamlmktop -verbose -package compiler-libs -package camlp-streams -linkpkg -o ocaml
+ $(MAKE)
+ #ocamlfind ocamlmktop -verbose -package compiler-libs -package camlp-streams -linkpkg -o ocaml
@@ -41,7 +41,7 @@ override_dh_auto_install:
chmod -x $(INSTDIR)/usr/share/hol-light/*.ml
chmod -x $(INSTDIR)/usr/share/hol-light/*/*.ml
install -d $(INSTDIR)/usr/bin
- install ocaml $(INSTDIR)/usr/share/hol-light
+ #install ocaml $(INSTDIR)/usr/share/hol-light
install debian/hol-light.sh $(INSTDIR)/usr/bin/hol-light
```
Obviously this may affect the functionality of the package.
--
Regards,
--
Bo YU
Attachment:
signature.asc
Description: PGP signature