caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
* Otags on 3.10
@ 2009-03-14 19:32 Denis Golovan
  2009-03-19  9:31 ` [Caml-list] " Stéphane Glondu
  0 siblings, 1 reply; 2+ messages in thread
From: Denis Golovan @ 2009-03-14 19:32 UTC (permalink / raw)
  To: tews

Hi Hendrik 

I'd like to ask, is there any chance to make otags compile on OCaml v3.10.2 + camlp4o v5.11?

Now otags-3.09.3.3 just fails with following error (I patch configure to skip version check :) ):

ocamlc.opt -c -I `camlp4o -where` editor.ml
File "editor.ml", line 51, characters 17-33:
Unbound value Pcaml.input_file

Seems like caml4p has change some variables since your last release.

-- 
Best regards,
Denis Golovan aka MageSlayer


^ permalink raw reply	[flat|nested] 2+ messages in thread

* Re: [Caml-list] Otags on 3.10
  2009-03-14 19:32 Otags on 3.10 Denis Golovan
@ 2009-03-19  9:31 ` Stéphane Glondu
  0 siblings, 0 replies; 2+ messages in thread
From: Stéphane Glondu @ 2009-03-19  9:31 UTC (permalink / raw)
  To: Denis Golovan; +Cc: tews, caml-list

Denis Golovan a écrit :
> I'd like to ask, is there any chance to make otags compile on OCaml v3.10.2 + camlp4o v5.11?
> 
> Now otags-3.09.3.3 just fails with following error (I patch configure to skip version check :) ):

"Now"? What were you using before?

For your information, there is the 3.09.3 which is packaged in Debian
and compiles with OCaml 3.10.2 and 3.11.0 with the following patches (it
uses camlp5):

  http://patch-tracking.debian.net/package/otags/3.09.3-2


Cheers,

-- 
Stéphane


^ permalink raw reply	[flat|nested] 2+ messages in thread

end of thread, other threads:[~2009-03-19  9:31 UTC | newest]

Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2009-03-14 19:32 Otags on 3.10 Denis Golovan
2009-03-19  9:31 ` [Caml-list] " Stéphane Glondu

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).