dynrec core should work for 64bit linux, check the parameters of ./configure

I don't think the Linux builds uses dosbox.conf. I think the filename is .dosboxrc.

Edit: Yup! Amazing what a little search can do:
Re: where is dosbox.conf file in Linux ???

Mine can use both dosbox.conf and .dosboxrc, but I don't know if that's just specific to me (0.72, compiling from source code). And I haven't compiled from cvs in a long time.
I haven't played with .dosboxrc much, so I don't know how dosbox deals with conflicting settings for the two files.

Any chance that you're trying to change the wrong dosbox.conf?
While the .dosboxrc is for the home directory and only there, dosbox.conf works for whatever directory I'm in. Change the directory, and it only sees the dosbox.conf in that directory, if any.

the CVS is totally different when it comes to the default configurationfile.

wd wrote:

dynrec core should work for 64bit linux, check the parameters of ./configure

what's this then? (fresh cvs in a new folder, just ran ./configure after autogen.sh)

checking for target cpu type... x86-64 bit compatible
checking whether x86 dynamic cpu core will be enabled... no
checking whether recompiling cpu core will be enabled... yes
checking whether fpu emulation will be enabled... yes
checking whether x86 assembly fpu core will be enabled... no

Edit:
My system uses $HOME/.dosbox/dosbox-0.72.conf, I've been changing the right one.

Any ideas for the sound delay issue?

recompiling core. So that is fine.

you could check the environment variables for SDL
Check what kind of sound system (kill pulseaudio !) your system uses

for the parameters for dosbox
I would suggest with changing the blocksize and rate

Where do I check the environmental variables for SDL? I don't see anything doing a "set | less"

How do I tell what sound system I'm using? I have a Toshiba Satellite P105-S9722 which is apparently known for its finicky sound chip in linux (it only works with certain sound systems?).

Those settings have no effect with that problem.

ubuntu so probably pulseaudio
try pulseaudio -k
and then running dosbox

it worked, so do i have to do that every time i start dosbox after a reboot then?

well there might be some thread on how to configure pulseaudio with ubuntu properly. (ubuntu messed up)
think there is one on the ubuntuforums.com

I followed the guides I could find on there, but the audio is still delayed. Is there one in particular that's supposed to fix it?