caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
* [Caml-list] opam switch 4.03.0: can't install menhir 20140422
@ 2016-04-26 12:27 Sébastien Hinderer
  2016-04-26 12:39 ` Daniel Bünzli
  0 siblings, 1 reply; 5+ messages in thread
From: Sébastien Hinderer @ 2016-04-26 12:27 UTC (permalink / raw)
  To: caml-list

Dear all,

When trying to install one gets:

# ERROR: Leftover OCaml compilation files

Can anybody see a way to fix the opam package for menhir 20140422,
please?

Thanks,

Sébastien.

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

* Re: [Caml-list] opam switch 4.03.0: can't install menhir 20140422
  2016-04-26 12:27 [Caml-list] opam switch 4.03.0: can't install menhir 20140422 Sébastien Hinderer
@ 2016-04-26 12:39 ` Daniel Bünzli
  2016-04-26 13:07   ` Sébastien Hinderer
  0 siblings, 1 reply; 5+ messages in thread
From: Daniel Bünzli @ 2016-04-26 12:39 UTC (permalink / raw)
  To: Sébastien Hinderer; +Cc: caml-list

Only 20160303 will compile in 4.03.0. This release was needed to fix the build system because of the new hygiene rules of ocamlbuild which was split off the compiler in 4.03.0. 

Best, 

Daniel



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

* Re: [Caml-list] opam switch 4.03.0: can't install menhir 20140422
  2016-04-26 12:39 ` Daniel Bünzli
@ 2016-04-26 13:07   ` Sébastien Hinderer
  2016-04-26 13:19     ` Daniel Bünzli
  0 siblings, 1 reply; 5+ messages in thread
From: Sébastien Hinderer @ 2016-04-26 13:07 UTC (permalink / raw)
  To: caml-list

Hi Daniel,

Thanks a lot for your response.

Daniel Bünzli (2016/04/26 14:39 +0200):
> Only 20160303 will compile in 4.03.0. This release was needed to fix
> the build system because of the new hygiene rules of ocamlbuild which
> was split off the compiler in 4.03.0.

Okay, thanks. Not sure I fully understand, because the reported error
does not come from the fact ocamlbuild was not installed. It was
installed in the 4.03.0 switch. Couldn't the older versions of menhir
have an additional dependency? But then the error message would still be
there so I'm guessing there is another issue I do not understand...

Sébastien.

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

* Re: [Caml-list] opam switch 4.03.0: can't install menhir 20140422
  2016-04-26 13:07   ` Sébastien Hinderer
@ 2016-04-26 13:19     ` Daniel Bünzli
  2016-04-26 14:24       ` Sébastien Hinderer
  0 siblings, 1 reply; 5+ messages in thread
From: Daniel Bünzli @ 2016-04-26 13:19 UTC (permalink / raw)
  To: Sébastien Hinderer; +Cc: caml-list



Le mardi, 26 avril 2016 à 15:07, Sébastien Hinderer a écrit :

> Okay, thanks. Not sure I fully understand, because the reported error
> does not come from the fact ocamlbuild was not installed.  

It comes from the fact that the hygiene rules of ocamlbuild were changed and that previous versions of menhir violate them.  

Best,  

Daniel



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

* Re: [Caml-list] opam switch 4.03.0: can't install menhir 20140422
  2016-04-26 13:19     ` Daniel Bünzli
@ 2016-04-26 14:24       ` Sébastien Hinderer
  0 siblings, 0 replies; 5+ messages in thread
From: Sébastien Hinderer @ 2016-04-26 14:24 UTC (permalink / raw)
  To: Daniel Bünzli; +Cc: caml-list

Daniel Bünzli (2016/04/26 15:19 +0200):
> It comes from the fact that the hygiene rules of ocamlbuild were
> changed and that previous versions of menhir violate them.

Okay, this time I got it. Thanks.

Sébastien.

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

end of thread, other threads:[~2016-04-26 14:24 UTC | newest]

Thread overview: 5+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2016-04-26 12:27 [Caml-list] opam switch 4.03.0: can't install menhir 20140422 Sébastien Hinderer
2016-04-26 12:39 ` Daniel Bünzli
2016-04-26 13:07   ` Sébastien Hinderer
2016-04-26 13:19     ` Daniel Bünzli
2016-04-26 14:24       ` Sébastien Hinderer

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).