Thanks for the help! My laptop died, so I won't be able to test this out until I buy a new one.
Best, Silas -------- Original Message -------- On Jul 18, 2023, 07:43, Stéphane Glondu wrote: > Dear Silas, Le 02/07/2023 à 19:18, Silas a écrit : > I've been directed to > take a look at opam-debian-switch to identify ways to > contribute to the > project, and I've been trying to replicate the workflow > described in the > Readme. > [...] I'm so sorry, I just only saw your e-mail. I must admit > opam-debian-switch is a bit hackish at the moment... I updated it the day > before yesterday, and it mostly works. You just have to apt-install xdot in > the chroot manually, and remove ppx-globalize from opams-to-install before > running setup-opam.sh. Cheers, -- Stéphane
