I sent already a minimal example derived from the sbcl code to the ti list, you should have gotten it cc
On March 16, 2016 7:43:00 PM GMT+09:00, Christoph Egger <christ...@christoph-egger.org> wrote: >Norbert Preining <prein...@logic.at> writes: >> apt-get source sbcl and build is enough to reproduce? > >That's what I did in a clean sid chroot yesterday. You need to actually >run the build as some input files to the manual get generated during >build though. > > Christoph -- Sent from my mobile device. Please excuse my brevity.