On Tue, 2013-02-19 at 15:15 +0000, Richard Shann wrote: > > ./configure --disable-portmidi > > make dist > > The only difference is that I didn't configure with > --disable-portmidi hmm, wrong. The possibly important difference is that I configured with --prefix, duh!
Richard _______________________________________________ Denemo-devel mailing list Denemo-devel@gnu.org https://lists.gnu.org/mailman/listinfo/denemo-devel
