Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0000382OCamlOCaml generalpublic2001-06-10 22:352001-06-12 16:21
Reporteradministrator 
Assigned To 
PrioritynormalSeverityminorReproducibilityalways
StatusclosedResolutionno change required 
PlatformOSOS Version
Product Version 
Target VersionFixed in Version 
Summary0000382: ocaml 3.01 et oc.tar.gz
Description
Installation de la derniere version d'ocaml sur

- stations alpha Compaq (ex-Digital), par le .tar.gz
- PC Intel sous Debian Linux, par le .tar.gz
- Mac sous linuxppc 2000Q4, par le .rpm, puis aussi par le .tar.gz (a
cause de ce qui va suivre)

La compilation et l'installation se passent bien.

Nous chargeons aussi les fichiers d'exemples oc.tar.gz

Nous nous interessons au developpement d'une application en ocaml qui
utilise une interface graphique a plusieurs fenetres simultanees que l'on
ne peut realiser avec la bibliotheque graphics standard, c'est pourquoi
nous desirons tester les exemples du repertoire oc/camltk.

Nous lancons la compilation (make all dans le repertoire idoine).
Echec immediat, message d'erreur "Unbound module Tk".

Nous regardons de plus pres les scripts de compilation, qui font notamment
reference a un fichier "camltk.cma". Enquete faite, ce fichier n'existe
dans aucune des distributions que nous venons d'installer, ni avant, ni
apres compilation, ni enfin dans le repertoire oc (et bien entendu pas non
plus dans l'arborescence qui en est issue).

Petite consultation du manuel ocaml, chapitre 27; cela s'appellerait en
fait "labltk.cma" (cmxa pour opt), si nous avons bien compris.
Modification des scripts de compilation en consequence.

Re-compilation; l'erreur "Unbound module Tk" disparait, mais elle est
remplacee par une cascade d'erreurs de types, de fonctions qui ne
renvoient pas le bon type, de constructeurs non definis, etc...

Nous essayons l'application interactive "labltk", par "#use "loadall.ml"
;;". Longue liste d'erreurs, aucune fonction ne se compile correctement.

Nous renoncons.

Pourriez-vous avoir l'obligeance de nous eclairer sur la demarche a suivre
pour pouvoir tester ces exemples, quels sont les fichiers qui nous
manquent, quelles sont les directives que nous avons omises (nous avons
lu et relu les README sans rien y trouver de plus).

M. Bour



TagsNo tags attached.
Attached Files

- Relationships

-  Notes
(0002278)
administrator (administrator)
2001-06-11 13:38

> Installation de la derniere version d'ocaml sur
> La compilation et l'installation se passent bien.
>
> Nous chargeons aussi les fichiers d'exemples oc.tar.gz

[...]
> Nous lancons la compilation (make all dans le repertoire idoine).
> Echec immediat, message d'erreur "Unbound module Tk".

N'est pas assez explicite ? :)
Quelle version de Tcl/TK avez-vous sur votre machine ?

Il vous faut installer tout d'abord la librairie CamlTk, comme
l'indique la première ligne du README:

Graphical user interface using Caml/Tk

En outre il vous faut avoir installé une version de TCL/TK. Pour plus
de détails, voyez donc

http://pauillac.inria.fr/camltk/fra.htm [^]

> Nous regardons de plus pres les scripts de compilation, qui font notamment
> reference a un fichier "camltk.cma". Enquete faite, ce fichier n'existe
> dans aucune des distributions que nous venons d'installer, ni avant, ni
> apres compilation, ni enfin dans le repertoire oc (et bien entendu pas non
> plus dans l'arborescence qui en est issue).

Poour la bonne raison que ce fichier est (dépendant de la machine et)
installé par l'instalation de CamlTk...

> Petite consultation du manuel ocaml, chapitre 27; cela s'appellerait en
> fait "labltk.cma" (cmxa pour opt), si nous avons bien compris.

Non. LablTk est différent de CamlTk: les fonctions n'ont pas le même
type. En outre LablTk ne fonctionne pas non plus si vous n'avez pas
une version installée de TCL/TK.

> Modification des scripts de compilation en consequence.
>
> Re-compilation; l'erreur "Unbound module Tk" disparait, mais elle est
> remplacee par une cascade d'erreurs de types, de fonctions qui ne
> renvoient pas le bon type, de constructeurs non definis, etc...

Effectivement.

> Nous essayons l'application interactive "labltk", par "#use "loadall.ml"
> ;;". Longue liste d'erreurs, aucune fonction ne se compile correctement.
>
> Nous renoncons.
>
> Pourriez-vous avoir l'obligeance de nous eclairer sur la demarche a suivre
> pour pouvoir tester ces exemples, quels sont les fichiers qui nous
> manquent, quelles sont les directives que nous avons omises (nous avons
> lu et relu les README sans rien y trouver de plus).
>
> M. Bour

Je pense que vous ne devriez pas avoir de problème si vous consultez
l'adresse déjà citée:

http://pauillac.inria.fr/camltk/fra.htm [^]

Tenez-moi au courant de vos déboires.

Pierre Weis

INRIA, Projet Cristal, Pierre.Weis@inria.fr, http://pauillac.inria.fr/~weis/ [^]


(0002279)
administrator (administrator)
2001-06-12 16:21

User's confusion between CamlTk and LablTk.

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


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker