On 24/05/06, Paulo J. Matos <[EMAIL PROTECTED]> wrote:
On 24/05/06, Paulo J. Matos <[EMAIL PROTECTED]> wrote:
> No, it is still not working. If we concentrate ourselves only in the
> first situations where I want the libraries to be all linked
> statically I have for the core:
> bin_PROGRAMS = extsat
> extsat_SOURCES = esatmathcluster.cc ...
> extsat_LDFLAGS=-export-dynamic
Opps, by looking at the ld manual:
http://www.gnu.org/software/binutils/manual/ld-2.9.1/html_mono/ld.html#IDX28
it seems that it is --export-dynamic and not -export-dynamic... retrying... :)
Nope, unfortunately it doesn't seem to be working at all. :-\
Last lines are:
/bin/sh ../libtool --tag=CXX --mode=link g++ -ggdb -Wall -std=c++98
-static -Wl,--verbose -o extsat --export-dynamic esatmathcluster.o
esatmath.o esatmoduledispatcher.o esatstatistics.o esattrue.o
esatvariable.o esatcoeflist.o esatfalse.o esatbooleanop.o esateqt.o
esatbooleanvar.o esatineqsystem.o esatcodegen.o graph.o
esatefficientcharstr.o graphdense.o vartable.o graphsparse.o
esatstring.o esatsysutils.o esatargumentsparser.o esator.o esatequiv.o
esatand.o esatboolite.o esatopcreate.o esatnot.o esatxor.o
esatimplies.o esatenumerator.o smt-parser.o smt-lexer.o esatfile.o
esatsolver.o esatmodel.o esatcluster.o extsat.o esatlogger.o
../lib/bf/src/libbf.la ../lib/ot/src/libot.la ../lib/fm/src/libfm.la
../lib/glpkinterface/src/libglpkinterface.la
../lib/ncquest/src/libncquest.la -lm -lnsl -llog4cpp
mkdir .libs
g++ -ggdb -Wall -std=c++98 -Wl,--verbose -o extsat --export-dynamic
esatmathcluster.o esatmath.o esatmoduledispatcher.o esatstatistics.o
esattrue.o esatvariable.o esatcoeflist.o esatfalse.o esatbooleanop.o
esateqt.o esatbooleanvar.o esatineqsystem.o esatcodegen.o graph.o
esatefficientcharstr.o graphdense.o vartable.o graphsparse.o
esatstring.o esatsysutils.o esatargumentsparser.o esator.o esatequiv.o
esatand.o esatboolite.o esatopcreate.o esatnot.o esatxor.o
esatimplies.o esatenumerator.o smt-parser.o smt-lexer.o esatfile.o
esatsolver.o esatmodel.o esatcluster.o extsat.o esatlogger.o
../lib/bf/src/.libs/libbf.a -L/usr/i686-pc-linux-gnu/bin
-L/usr/i686-pc-linux-gnu/lib
-L/usr/lib/gcc/i686-pc-linux-gnu/../../../i686-pc-linux-gnu/lib
../lib/ot/src/.libs/libot.a ../lib/fm/src/.libs/libfm.a
../lib/glpkinterface/src/.libs/libglpkinterface.a -lglpk
../lib/ncquest/src/.libs/libncquest.a
/usr/lib/gcc/i686-pc-linux-gnu/4.0.2/libstdc++.so -lgcc_s -lc -lm
/usr/lib/liblog4cpp.so -lnsl
Afterwards I have the ld verbose output which lists:
attempt to open ../lib/bf/src/.libs/libbf.a succeeded
attempt to open ../lib/ot/src/.libs/libot.a succeeded
attempt to open ../lib/fm/src/.libs/libfm.a succeeded
attempt to open ../lib/glpkinterface/src/.libs/libglpkinterface.a succeeded
but doesn't seem to include anything at all... Probably I do need the
-Wl,--whole-archive, right?
--
Paulo Jorge Matos - pocm at sat inesc-id pt
Web: http://sat.inesc-id.pt/~pocm
Computer and Software Engineering
INESC-ID - SAT Group
--
Paulo Jorge Matos - pocm at sat inesc-id pt
Web: http://sat.inesc-id.pt/~pocm
Computer and Software Engineering
INESC-ID - SAT Group
