Marco Kuhlmann wrote:
> Mitch Blevins wrote (1999-02-17, 16:08):
>
> > > I found out that the script checks for libgmp2.so, while the
> > ^^
> > Are you sure you don't mean that the script is checking for libgmp.so?
> > This is the problem I ran int
On Thu, Feb 18, 1999 at 06:14:40PM +0100, Marco Kuhlmann wrote:
> It is easy to patch the script, but it would be better to know where the
> error is: should the gmp2-dev package provide a symlink named libgmp.so,
> or should the maintainers of the script change it to also look for
> libgmp2.so? I
Samuel Tardieu wrote (1999-02-17, 21:54):
> In general, a "libxxxn" package provides support for library "xxx" with
> a major number of "n". That means that you can run programs that need such
> a library at execution time.
>
> Now, if you want to compile programs using this library (instead of j
Marcelo E. Magallon wrote:
> On Thu, Feb 18, 1999 at 09:12:45AM -0500, Mitch Blevins wrote:
>
> > Great, thanks!
> > http://www.mozart-oz.org/download/srctar.shtml
>
> in mozart/aclocal.m4, look for
>
> OZ_CHECK_LIB_PATH(gmp, mpz_init,
>
> and change that to
>
> OZ_CHECK_LIB_PATH(
On Thu, Feb 18, 1999 at 09:12:45AM -0500, Mitch Blevins wrote:
> Great, thanks!
> http://www.mozart-oz.org/download/srctar.shtml
in mozart/aclocal.m4, look for
OZ_CHECK_LIB_PATH(gmp, mpz_init,
and change that to
OZ_CHECK_LIB_PATH(gmp2, mpz_init,
I had to download and unpack m
Marcelo E. Magallon wrote:
> >> Mitch Blevins <[EMAIL PROTECTED]> writes:
>
> > > It that's a normal configure script, look in configure.in for something
> > > like:
> > >
> > > AC_CHECK_LIB (gmp2, ...)
> > >
> > > and change it; then run autoconf.
> >
> > Alas, this tactic has been tr
>> Mitch Blevins <[EMAIL PROTECTED]> writes:
> > It that's a normal configure script, look in configure.in for something
> > like:
> >
> >AC_CHECK_LIB (gmp2, ...)
> >
> > and change it; then run autoconf.
>
> Alas, this tactic has been tried... and has failed in its purpose.
> If k
In foo.debian-mentors, you wrote:
> On Wed, Feb 17, 1999 at 04:08:59PM -0500, Mitch Blevins wrote:
>
> > Are you sure you don't mean that the script is checking for libgmp.so?
> > This is the problem I ran into when I looked at packaging it.
> > Of course you can set up local symlinks, but that is
On Wed, Feb 17, 1999 at 04:08:59PM -0500, Mitch Blevins wrote:
> Are you sure you don't mean that the script is checking for libgmp.so?
> This is the problem I ran into when I looked at packaging it.
> Of course you can set up local symlinks, but that is not the answer.
> I grepped my heart out bu
In foo.debian-mentors, you wrote:
> Hello there.
>
> My name is Marco Kuhlmann; I am intending to prepare several
> Debian packages containing the Mozart Programming System (see
> www.mozart-oz.org for further information). Being totally
> unexperienced when it comes to packaging, I guess I am
On 17/02, Marco Kuhlmann wrote:
| I found out that the script checks for libgmp2.so, while the
| deb-packaged version of gmp2 contains a libgmp2.so.2. Setting up
| a symlink solves the problem, but I guess that is not the idea.
| Now my question: Is it the script that is not well-written, or
| is
Hello there.
My name is Marco Kuhlmann; I am intending to prepare several
Debian packages containing the Mozart Programming System (see
www.mozart-oz.org for further information). Being totally
unexperienced when it comes to packaging, I guess I am going to
appear quite often on this list in t
12 matches
Mail list logo
