Re: [Caml-list] Compiler ActiveDVI (CVS)
On Fri, Jan 25, 2002 at 02:56:51PM +0100, Jun P.FURUSE wrote:
> > /usr/include/caml est l'emplacement correct pour les fichier d'include caml,
> > comme il se doit. C'est une idee bizarre de mettre des fichiers d'include dans
> > /usr/lib, bien que je comprenne pourquoi ocaml fait cela, pour le package
> > debian on a la chance de pouvoir placer les fichier au bon endroit.
> > L'ideal aurrait ete de pouvoir changer les chemins des includes dans le
> > configure ou le makefile de Advi.
> Since I know nothing about the directory layout of O'Caml system in Debian,
> I am not sure what is happening...
Well, basically, everything is in /usr/lib/ocaml as usual, only i moved the
includes in the more logical /usr/include/caml directory. Which may be one of
the reason of this causing problems. That said, i built activeDVI 0.3.1
without any kind of major problems.
> But I fixed the CFLAGS setting of Advi Makefile so that now ocamlc can use
> its default cc include path (usually -I /usr/local/lib/ocaml) correctly.
> I hope this may help you...
I guess so, will try it out later on.
> # The next release of Advi is soon...
BTW, i currently ship both mldvi and activedvi as debian package, mldvi being
1.0 and activedvi being 0.3.1. I think this may be overkill, but since i am
not entirely sure of what you or alexandre have thinked about it, i prefer to
keep it as such (and well, going from 1.0 to 0.3.1 version is not nice for
debian packages, i could manage it, but would prefer not to).
Also, i have written a small manpage for mldvi (which i send to alexandre i
think) and upgraded it for activedvi. You may want to look at it, change
things as needed, and integrate it into the cvs archive. (attached here).
Also, may you consider adding some small changes to the makefile i need in
order to make debianization of it easier ? It is only the following :
@@ -88,6 +88,15 @@
.depend: *.mli *.ml
$(OCAMLDEP) $(INCLUDES) *.mli *.ml > .depend
+# debian matters
+ install mldvi $(DESTDIR)/usr/bin
+ install mldvi.1 $(DESTDIR)/usr/share/man/man1
+ install mldvi.opt $(DESTDIR)/usr/bin
+ install mldvi.opt.1 $(DESTDIR)/usr/share/man/man1
# just for the authors
As you see, i need a install target, which i can modify the directory prefix
with something akin to this $(DESTDIR) variable.
Also we could imagine moving all the debian subdir into cvs, so people could
build packages directly out of cvs, ...
(I still didn't had time to work on the lablgtk frontend to ml/activedvi
wanted to do:((()