[Mplayer-dvb] DVB VIDEO DEVICE: : No such file or directory

[Alexandre CONRAD]

>
>
>>./configure --with-win32libdir=/usr/local/src/w32codec-0.90 
>>--with-extraincdir=/usr/local/src/DVB/include
>>I get :
>>
>>Checking for DVB ... no (specify path to DVB/ost/include with 
>>--with-extraincdir=DIR)
>>Checking for DVB HEAD ... yes
>>
>>How can I get both ?
>>

>It should be possible to specify several "--with-extraincdir=".
>
No.

./configure --with-win32libdir=/usr/local/src/w32codec-0.90 
--with-extraincdir=/usr/src/linux-2.4.18-3/drivers/media/video/margi/ 
--with-extraincdir=/usr/local/src/DVB/include/

I get :

Checking for DVB ... no (specify path to DVB/ost/include with 
--with-extraincdir=DIR)
Checking for DVB HEAD ... yes

Regards,

-- 
Alexandre CONRAD
Research & Development
tel : +33 1 30 80 55 00
fax : +33 1 30 56 50 20
TLV
6, rue de la plaine
78860 - SAINT NOM LA BRETECHE
FRANCE