Hi Scott, On Sun, Mar 16, 2025 at 10:06:51PM +0000, Scott Ashcroft wrote: > > (maybe we should enable those anyway?). > > The HTML docs seem to use pip to pull in some python modules (including > one which has been forked by the yosys team) so are probably a lot more > work than getting the pdfs building.
Bummer. That's not worth it then. Thought it would just be a quick enablement thing. Thanks for looking. > > Now on to hard mode: autpkgtest. It seems debian/yosys-testsuite has lost > > it's precision. It runs through sucessfully but doesn't actually do > > anything. >> > OK. That should be fixed by b3e5bef48763537e8c992150e8363ac4112d4636 > from https://salsa.debian.org/sashcroft/yosys Yeah that did it! Awesome. I think we ought to switch to applying the Makefile changes as a patch so we can see when upstream changes break our expectations it in the future. I don't see any real harm in just adding this to our patchstack so thats what I'll do. > > To re-use the binary .debs you already have: > > > > autopkgtest -B -s . -- schroot chroot:unstable-amd64-sbuild > > I say should because I couldn't figure out how to force schroot to use my > yosys binary packages and stop installing the old ones from unstable. I had the meaning of -B wrong. It forces use of archive binaries so this would install yosys 0.33 instead of what we have just built. I can never find the right incantation to test exactly what I just built since autopkgtest default to just rebuilding which is annoying during development. Last time I used $ autopkgtest $(dcmd --deb echo ../yosys_0.49-1_amd64.changes) . -- schroot chroot:unstable-amd64-sbuild I just wanted to spare you the dcmd stuff. > the end I just forced a test to fail, installed my stuff, and reran the > tests. Hehe whatever works ;-). Let's see how this goes: Uploading to ftp-master (via ftp to ftp.upload.debian.org): Uploading yosys_0.49-1.dsc: done. Uploading yosys_0.49.orig-abc.tar.gz: done. Uploading yosys_0.49.orig.tar.gz: done. Uploading yosys_0.49-1.debian.tar.xz: done. Uploading yosys_0.49-1_amd64.buildinfo: done. Uploading yosys_0.49-1_source.changes: done. Successfully uploaded packages. Thanks, --Daniel
signature.asc
Description: PGP signature