coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Compilation problems with Ocaml 3.09

From: Hugo Herbelin <herbelin AT pauillac.inria.fr>
To: prashanth AT jibenetworks.com (Prashanth Mundkur)
Cc: coq-club AT pauillac.inria.fr
Subject: Re: [Coq-Club] Compilation problems with Ocaml 3.09
Date: Fri, 4 Nov 2005 09:41:10 +0100 (MET)
List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>

  Hi,

> Will there be any support soon for OCaml 3.09?  This will help
> packaging in Coq for various distributions.

  While waiting for a new package, you can apply the attached patch to
the Makefile of coq 8.0pl2 source archive. It should help.

  Hugo

*** Makefile    2005/02/01 15:38:09
--- Makefile    2005/11/04 00:46:57
***************
*** 1453,1463 ****

  .ml4.cmx:
        $(SHOW)'OCAMLOPT4 $<'
!       $(HIDE)$(OCAMLOPT) $(OPTFLAGS) -pp "$(CAMLP4O) $(CAMLP4EXTENDFLAGS)
`$(CAMLP4DEPS) $<` -impl" -c -impl $<

  .ml4.cmo:
        $(SHOW)'OCAMLC4   $<'
!       $(HIDE)$(OCAMLC) $(BYTEFLAGS) -pp "$(CAMLP4O) $(CAMLP4EXTENDFLAGS)
`$(CAMLP4DEPS) $<` -impl" -c -impl $<

  #.v.vo:
  #     $(BOOTCOQTOP) -compile $*
--- 1453,1463 ----

  .ml4.cmx:
        $(SHOW)'OCAMLOPT4 $<'
!       $(HIDE)$(OCAMLOPT) $(OPTFLAGS) -pp "$(CAMLP4O) $(CAMLP4EXTENDFLAGS)
`$(CAMLP4DEPS) $<` -loc loc -impl" -c -impl $<

  .ml4.cmo:
        $(SHOW)'OCAMLC4   $<'
!       $(HIDE)$(OCAMLC) $(BYTEFLAGS) -pp "$(CAMLP4O) $(CAMLP4EXTENDFLAGS)
`$(CAMLP4DEPS) $<` -loc loc -impl" -c -impl $<

  #.v.vo:
  #     $(BOOTCOQTOP) -compile $*

[Coq-Club] Compilation problems with Ocaml 3.09, Prashanth Mundkur
- Re: [Coq-Club] Compilation problems with Ocaml 3.09, Hugo Herbelin