On Thursday 17 January 2008 13:02:40 Dietrich Bollmann wrote: > Hi Felipe, > > On Thu, 2008-01-17 at 12:16 -0300, Felipe Sateler wrote: > > On Thursday 17 January 2008 11:31:29 Dietrich Bollmann wrote: > > > Checking for C library portmidi... (cached) no > > > > This seems to indicate that the test is not actually being run. You could > > try deleting the scons cache (rm -r .scon*), and then trying again. > > Note that there are some already-built debian packages (by me), which you > > are welcome to test, available at > > http://cs.bath.ac.uk/jpff/Csound5/debian -- > > Felipe Sateler > > Even after deleting the scons cache the result is the same. > (This time: Checking for C library portmidi... no ) > > In order to understand why the test failed I looked at the `config.log' > file where I found the following: > > ------------ > ...snip... > scons: Configure: Checking for C library portmidi... ^^^^^^^ Hmm, this seems to be why we have different logs. I see that in CVS the checks have been changed from CheckHeader to CheckLibWithHeader. Why is this? I thought that only headers were checked for exactly this reason. Anyways, I see what the problem is. Pt_* are symbols from libporttime, but libportmidi does not link against it, so this check has no chance of succeeding (this may be due to the oldness of portmidi in debian). -- Felipe Sateler