Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0001278OCamlOCaml generalpublic2002-07-30 18:002002-08-06 10:24
Reporteradministrator 
Assigned To 
PrioritynormalSeverityminorReproducibilityalways
StatusclosedResolutionfixed 
PlatformOSOS Version
Product Version 
Target VersionFixed in Version 
Summary0001278: camlinternalOO is missing in camlp4 crc.ml
DescriptionFull_Name: Hugo Herbelin
Version: 3.05
OS:
Submission from: herbelin.net1.nerim.net (62.212.105.93)


Bonjour,

Name camlinternalOO is missing in auto-generated camlp4/camlp4/crc.ml from
3.05.

I don't know exactly why and where camlinternalOO was needed but the following
command failed (while compiling Coq)

camlp4o -I . pa_extend.cmo pa_extend_m.cmo pa_ifdef.cmo q_MLast.cmo \
parsing/grammar.cma parsing/g_basevernac.ml4 -impl

Adding CamlinternalOO to the variable INTERFACES from camlp4/camlp4/Makefile
then recompiling camlp4 solved the problem.

Hugo

TagsNo tags attached.
Attached Files

- Relationships

-  Notes
(0001002)
administrator (administrator)
2002-08-03 18:57

Hi,

On Tue, Jul 30, 2002 at 06:00:58PM +0200, Hugo.Herbelin@inria.fr wrote:

> Name camlinternalOO is missing in auto-generated
> camlp4/camlp4/crc.ml from > 3.05.
> [...]
> Adding CamlinternalOO to the variable INTERFACES from camlp4/camlp4/Makefile
> then recompiling camlp4 solved the problem.

Ok. This is fixed in the current CVS version of Camlp4 (the separated
version, not the camlp4 of the directory ocaml).

--
Daniel de RAUGLAUDRE
daniel.de_rauglaudre@inria.fr
http://cristal.inria.fr/~ddr/ [^]

(0001003)
administrator (administrator)
2002-08-06 10:24

Fixed in 3.06

- Issue History
Date Modified Username Field Change
2005-11-18 10:13 administrator New Issue


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker