> So the use of the make install DESTDIR=/some/where
I have (finally !) understood :-) Thanks. And thanks Georges ;-)
I will prepend DESTDIR to the installation directory variables.
--
Maxence
Hi,
Despite few problems (thanks Dimitri for helping), everything should
be fine now.
I'd prefer to take some more time to polish everything; it should be
ready by next monday finally.
There are 14 packages (16 if ocamlsql and ocamlcvs libs are shipped
separately)! I don't know what t
> > So the use of the make install DESTDIR=/some/where
>
> I will prepend DESTDIR to the installation directory variables.
This is done. You can get the latest CVS from
http://www.maxence-g.net/Tools/Tars/cameleon_snapshot.tar.gz
--
Maxence
On Thu, Aug 29, 2002 at 09:40:49AM +0200, J?r?me Marant wrote:
> There are 14 packages (16 if ocamlsql and ocamlcvs libs are shipped
> separately)! I don't know what to think about this, i.e. is it right
> or wrong ...
Thanks for your work.
> Debian admins refused to create a new CVSROOT
> > Debian admins refused to create a new CVSROOT into debian CVS, because
> > they want me to wait for the new machine (svn.debian.org, 80 Gigs) that
> > will host the sourceforge software along with CVS. This is all vapor
> > currently and there are no timelines.
> > I must find a place
> Any answer for the INRIA side?
Well, I am not working at INRIA, but I am "trusted" and can access
and work on some parts of the CVS archive of Coq, as far as I behave
correctly (e.g. working on separate branches or having my commits
double-checked by others). Moreover, it is possible to obta
On Thu, Aug 29, 2002 at 10:19:54AM +0200, Maxence Guesdon wrote:
> > > So the use of the make install DESTDIR=/some/where
> >
> > I will prepend DESTDIR to the installation directory variables.
>
> This is done. You can get the latest CVS from
> http://www.maxence-g.net/Tools/Tars/cameleon_snapsh
On Thu, Aug 29, 2002 at 10:09:08AM +0200, Stefano Zacchiroli wrote:
> > Debian admins refused to create a new CVSROOT into debian CVS, because
> > they want me to wait for the new machine (svn.debian.org, 80 Gigs) that
> > will host the sourceforge software along with CVS. This is all vapor
>
> I can propose:
> - a new project in Savannah (as suggested by Georges)
I don't want to be on savannah, they're pissing us off with
mldonkey licensing so i don't want to have anything to do with them.
> - a new project in my personal CVS on Tuxfamily machines
In fact, i'd prefer keep i
On Thu, Aug 29, 2002 at 11:06:05AM +0200, Maxence Guesdon wrote:
> >
> > I can propose:
> > - a new project in Savannah (as suggested by Georges)
>
> I don't want to be on savannah, they're pissing us off with
> mldonkey licensing so i don't want to have anything to do with them.
Hey, I'm
> Hey, I'm talking about the debian packaging only, not the
> application ! :)
Ah, hum, ok then.
> Then, consider using a Debian system and install the sourceforge
> package: it asks questions and installs everything in the
> right place (database, LDAP accounts, and so on). It will s
On Thu, 29 Aug 2002 11:06:05 +0200
Maxence Guesdon <[EMAIL PROTECTED]> wrote:
> >
> > I can propose:
> > - a new project in Savannah (as suggested by Georges)
>
> I don't want to be on savannah, they're pissing us off with
> mldonkey licensing so i don't want to have anything to do with them
Hi Sven,
we have (here at CS departmente) just installed a brand new debian
boxed with all the ocaml stuff.
We have experienced some missing dependencies (cause starting from
scratch is the best way to find them :), first of all my debian package
of gtkmathview was missing dependencies on t1lib-
On Thu, Aug 29, 2002 at 02:57:20PM +0200, Stefano Zacchiroli wrote:
> Hi Sven,
> we have (here at CS departmente) just installed a brand new debian
> boxed with all the ocaml stuff.
...
> I therefore suspect that you have to had Depends on these packages in
> the liblablgtk-ocaml-dev package.
> M
If you have ever thought something like:
"damn! woody has come out and ocaml 3.06, lablgtk 1.2.5 and a whole of
other stuff isn't in! damn! damn! damn!"
this post is for you (and it's not SPAM :-)
I've just rebuilt a lot of ocaml related packages for woody, all of them
are available via apt-
On Thu, Aug 29, 2002 at 03:17:19PM +0200, J?r?me Marant wrote:
> There ideal is usually to use pbuilder to build the packages.
> Hence, you never miss build-dependencies.
>
> If I were a serious maintainer, I would use pbuilder ;-)
This is not the case, Jerome, I'm talking about dependencie
On Thu, Aug 29, 2002 at 03:19:41PM +0200, Stefano Zacchiroli wrote:
> If you have ever thought something like:
>
> "damn! woody has come out and ocaml 3.06, lablgtk 1.2.5 and a whole of
> other stuff isn't in! damn! damn! damn!"
>
> this post is for you (and it's not SPAM :-)
>
> I've just r
On Thu, Aug 29, 2002 at 03:23:11PM +0200, J?r?me Marant wrote:
> > deb file:/home/zack/dati/uny/public_html/helm unstable main contrib
> > non-free
>
> It will be quick difficult to access your repository with
> such an APT source :-
/me feels like an idiot :-)))
I hope this one is mo
On Thu, Aug 29, 2002 at 03:22:11PM +0200, Stefano Zacchiroli wrote:
> On Thu, Aug 29, 2002 at 03:17:19PM +0200, J?r?me Marant wrote:
> > There ideal is usually to use pbuilder to build the packages.
> > Hence, you never miss build-dependencies.
> >
> > If I were a serious maintainer, I would
On Thu, Aug 29, 2002 at 03:26:35PM +0200, J?r?me Marant wrote:
> I'd better shut up more often.
No need, if you would shut up for such an error, what would I have to do
regarding some apt-gettable repository? :-)))
Cheers.
--
Stefano Zacchiroli - undergraduate student of CS @ Univ. Bologna, Ita
Hi,
Despite few problems (thanks Dimitri for helping), everything should
be fine now.
I'd prefer to take some more time to polish everything; it should be
ready by next monday finally.
There are 14 packages (16 if ocamlsql and ocamlcvs libs are shipped
separately)! I don't know what
> > So the use of the make install DESTDIR=/some/where
>
> I will prepend DESTDIR to the installation directory variables.
This is done. You can get the latest CVS from
http://www.maxence-g.net/Tools/Tars/cameleon_snapshot.tar.gz
--
Maxence
--
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with
On Thu, Aug 29, 2002 at 09:40:49AM +0200, J?r?me Marant wrote:
> There are 14 packages (16 if ocamlsql and ocamlcvs libs are shipped
> separately)! I don't know what to think about this, i.e. is it right
> or wrong ...
Thanks for your work.
> Debian admins refused to create a new CVSROOT
> > Debian admins refused to create a new CVSROOT into debian CVS, because
> > they want me to wait for the new machine (svn.debian.org, 80 Gigs) that
> > will host the sourceforge software along with CVS. This is all vapor
> > currently and there are no timelines.
> > I must find a plac
> Any answer for the INRIA side?
Well, I am not working at INRIA, but I am "trusted" and can access
and work on some parts of the CVS archive of Coq, as far as I behave
correctly (e.g. working on separate branches or having my commits
double-checked by others). Moreover, it is possible to obt
On Thu, Aug 29, 2002 at 10:19:54AM +0200, Maxence Guesdon wrote:
> > > So the use of the make install DESTDIR=/some/where
> >
> > I will prepend DESTDIR to the installation directory variables.
>
> This is done. You can get the latest CVS from
> http://www.maxence-g.net/Tools/Tars/cameleon_snaps
On Thu, Aug 29, 2002 at 10:09:08AM +0200, Stefano Zacchiroli wrote:
> > Debian admins refused to create a new CVSROOT into debian CVS, because
> > they want me to wait for the new machine (svn.debian.org, 80 Gigs) that
> > will host the sourceforge software along with CVS. This is all vapor
>
> I can propose:
> - a new project in Savannah (as suggested by Georges)
I don't want to be on savannah, they're pissing us off with
mldonkey licensing so i don't want to have anything to do with them.
> - a new project in my personal CVS on Tuxfamily machines
In fact, i'd prefer keep
On Thu, Aug 29, 2002 at 11:06:05AM +0200, Maxence Guesdon wrote:
> >
> > I can propose:
> > - a new project in Savannah (as suggested by Georges)
>
> I don't want to be on savannah, they're pissing us off with
> mldonkey licensing so i don't want to have anything to do with them.
Hey, I'm
> Hey, I'm talking about the debian packaging only, not the
> application ! :)
Ah, hum, ok then.
> Then, consider using a Debian system and install the sourceforge
> package: it asks questions and installs everything in the
> right place (database, LDAP accounts, and so on). It will
On Thu, 29 Aug 2002 11:06:05 +0200
Maxence Guesdon <[EMAIL PROTECTED]> wrote:
> >
> > I can propose:
> > - a new project in Savannah (as suggested by Georges)
>
> I don't want to be on savannah, they're pissing us off with
> mldonkey licensing so i don't want to have anything to do with the
Hi Sven,
we have (here at CS departmente) just installed a brand new debian
boxed with all the ocaml stuff.
We have experienced some missing dependencies (cause starting from
scratch is the best way to find them :), first of all my debian package
of gtkmathview was missing dependencies on t1lib
On Thu, Aug 29, 2002 at 02:57:20PM +0200, Stefano Zacchiroli wrote:
> Hi Sven,
> we have (here at CS departmente) just installed a brand new debian
> boxed with all the ocaml stuff.
...
> I therefore suspect that you have to had Depends on these packages in
> the liblablgtk-ocaml-dev package.
>
If you have ever thought something like:
"damn! woody has come out and ocaml 3.06, lablgtk 1.2.5 and a whole of
other stuff isn't in! damn! damn! damn!"
this post is for you (and it's not SPAM :-)
I've just rebuilt a lot of ocaml related packages for woody, all of them
are available via apt
On Thu, Aug 29, 2002 at 03:17:19PM +0200, J?r?me Marant wrote:
> There ideal is usually to use pbuilder to build the packages.
> Hence, you never miss build-dependencies.
>
> If I were a serious maintainer, I would use pbuilder ;-)
This is not the case, Jerome, I'm talking about dependenci
On Thu, Aug 29, 2002 at 03:19:41PM +0200, Stefano Zacchiroli wrote:
> If you have ever thought something like:
>
> "damn! woody has come out and ocaml 3.06, lablgtk 1.2.5 and a whole of
> other stuff isn't in! damn! damn! damn!"
>
> this post is for you (and it's not SPAM :-)
>
> I've just
On Thu, Aug 29, 2002 at 03:22:11PM +0200, Stefano Zacchiroli wrote:
> On Thu, Aug 29, 2002 at 03:17:19PM +0200, J?r?me Marant wrote:
> > There ideal is usually to use pbuilder to build the packages.
> > Hence, you never miss build-dependencies.
> >
> > If I were a serious maintainer, I woul
On Thu, Aug 29, 2002 at 03:23:11PM +0200, J?r?me Marant wrote:
> > deb file:/home/zack/dati/uny/public_html/helm unstable main contrib non-free
>
> It will be quick difficult to access your repository with
> such an APT source :-
/me feels like an idiot :-)))
I hope this one is more a
On Thu, Aug 29, 2002 at 03:26:35PM +0200, J?r?me Marant wrote:
> I'd better shut up more often.
No need, if you would shut up for such an error, what would I have to do
regarding some apt-gettable repository? :-)))
Cheers.
--
Stefano Zacchiroli - undergraduate student of CS @ Univ. Bologna, It
On Thu, Aug 29, 2002 at 02:57:20PM +0200, Stefano Zacchiroli wrote:
> Hi Sven,
> we have (here at CS departmente) just installed a brand new debian
> boxed with all the ocaml stuff.
>
> We have experienced some missing dependencies (cause starting from
> scratch is the best way to find them :),
On Fri, Aug 30, 2002 at 08:13:15AM +0200, Sven LUTHER wrote:
> I suppose this is the 3.06 versions i just released. I will add them
Yep, sorry, I forget to mention the version.
> nextly (they are already in build depends anyway).
Yes, they are in build depends, but I think that a -dev package s
41 matches
Mail list logo
