Hi Detlef, * Detlef Steuer via Remind-fans <[email protected]> [2022-01-11 11:37]:
I tried to compile from source to have wyrd uptodate in the opensuse build service, but configure misses[ 5s] sh: line 1: camlp4o: command not found As it seems, this program is no longer available in any current opensuse package. As I don't know anything about the ocaml ecosystem, maybe you can give a pointer where to get it from? Or better: After some searching it seems camlp4o is more or less dead. wyrd at the moment only compiles for old releases of SUSE containing old versions of ocaml. Do you plan to update ocaml4 with some newer alternative?
Thanks for pointing that out, honestly I don't really have a lot of Ocaml experience. I found some infos on it here:
https://github.com/verifast/verifast/issues/224I will try to find time for it, but not sure when and patches are surely welcome :).
Btw. Though it looks deprecated, there have been recent releases of camlp4o upstream, maybe you can build it yourself?
Cheers Jochen
signature.asc
Description: PGP signature
_______________________________________________ Remind-fans mailing list [email protected] https://dianne.skoll.ca/mailman/listinfo/remind-fans Remind is at https://dianne.skoll.ca/projects/remind/
