From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id PAA14387; Fri, 25 Jan 2002 15:00:14 +0100 (MET) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id PAA14282 for caml-list@pauillac.inria.fr; Fri, 25 Jan 2002 15:00:13 +0100 (MET) Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id KAA01533 for ; Fri, 25 Jan 2002 10:59:20 +0100 (MET) Received: from smtp2.9tel.net (smtp.9tel.net [212.30.96.123]) by concorde.inria.fr (8.11.1/8.11.1) with SMTP id g0P9xJf09658 for ; Fri, 25 Jan 2002 10:59:19 +0100 (MET) Received: (qmail 5285 invoked from network); 25 Jan 2002 09:59:18 -0000 Received: from unknown (HELO univ-savoie.fr) (213.203.73.25) by 0 with SMTP; 25 Jan 2002 09:59:18 -0000 Message-ID: <3C512C4D.BC085A96@univ-savoie.fr> Date: Fri, 25 Jan 2002 10:58:37 +0100 From: Christophe Raffalli Organization: =?iso-8859-1?Q?Universit=E9?= de Savoie X-Mailer: Mozilla 4.78 [fr] (X11; U; Linux 2.4.8-26mdk i686) X-Accept-Language: en MIME-Version: 1.0 To: Roberto Di Cosmo CC: caml-list@inria.fr, david.marsal@free.fr Subject: Re: [Caml-list] Compiler ActiveDVI (CVS) References: <200201250916.g0P9GMf10437@foobar.pps.jussieu.fr> Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: 8bit Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Je viens d'essayer camlimages et camlDVI. Il y a un problème: le nom des librairies de camlimages 2.0 a changé par rapport au noms attendu par activeDVI 0.3.1. Fix: modifier ainsi la ligne 558 du fichier ./configure de activeDVI CAMLIMAGESLIBS="ci_core ci_ppm ci_ps ci_graphics" ... Il ne reste plus qu'a implanter le clic dans le dvi qui vous renvoie dans le source LaTeX sous emacs/Xemacs et le clic dans l'autre sens :-) -- Christophe Raffalli Université de Savoie Batiment Le Chablais, bureau 21 73376 Le Bourget-du-Lac Cedex tél: (33) 4 79 75 81 03 fax: (33) 4 79 75 87 42 mail: Christophe.Raffalli@univ-savoie.fr www: http://www.lama.univ-savoie.fr/~RAFFALLI ------------------- Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr