Hi Konstantinos,
mar...@genesi-usa.com wrote:
> - ./configure --host=$(DEB_HOST_GNU_TYPE) --build=$(DEB_BUILD_GNU_TYPE)
> --prefix=/usr --mandir=\$${prefix}/share/man --infodir=\$${prefix}/share/info
> CFLAGS="-D_FILE_OFFSET_BITS=64 $(CFLAGS)" LDFLAGS="-Wl,-z,defs"
> --with-java-home=`readlink /etc/alternatives/javac | sed s,/bin/javac,,`
> --with-python=/usr
> + ./configure --host=$(DEB_HOST_GNU_TYPE) --build=$(DEB_BUILD_GNU_TYPE)
> --prefix=/usr --mandir=\$${prefix}/share/man --infodir=\$${prefix}/share/info
> CFLAGS="-D_FILE_OFFSET_BITS=64 $(CFLAGS)" LDFLAGS="-Wl,-z,defs"
> --with-java-home=`readlink /etc/alternatives/javac | sed -e s,/bin/javac,, -e
> s,/bin/gcj-wrapper-4.6,,` --with-python=/usr
Thanks for the patch. I'm slightly uncomfortable with the version dependency
it introduces. In principle I could just strip /bin/ and whatever follows
that, right?
I'll play around with that a bit and update the package.
Tobias
--
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
