Comment 2 for bug 1135519

Thanks for your answer ! Ok, I will try without PETSc support.

Still, I have just tried the command you quote on my machine on r418, and I do get symbols _without_ any leading underscore !

minerve:~ tlecomte$ cd FEniCS-Dorsal-stable/src/libadjoint/
minerve:libadjoint tlecomte$ g++ -g -O0 -fPIC -Iinclude/ -Wall -Wextra -Wunused-parameter -Wunsafe-loop-optimizations -Wno-write-strings -Wpointer-arith -ggdb3 -fstack-protector-all -fno-leading-underscore -c -o obj/adj_adjointer_routines.o src/adj_adjointer_routines.c
minerve:libadjoint tlecomte$ nm obj/adj_adjointer_routines.o | grep adj_timestep
0000000000000471 T adj_timestep_count
00000000000356c0 S adj_timestep_count.eh

So it seems that it is working here !
For reference:

minerve:libadjoint tlecomte$ g++ --version
i686-apple-darwin10-g++-4.2.1 (GCC) 4.2.1 (Apple Inc. build 5666) (dot 3)
Copyright (C) 2007 Free Software Foundation, Inc.
This is free software; see the source for copying conditions. There is NO
warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.

minerve:libadjoint tlecomte$ uname -a
Darwin ### 10.8.0 Darwin Kernel Version 10.8.0: Tue Jun 7 16:32:41 PDT 2011; root:xnu-1504.15.3~1/RELEASE_X86_64 x86_64