Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

ocaml 3.01 et oc.tar.gz #2781

Closed
vicuna opened this issue Jun 10, 2001 · 2 comments
Closed

ocaml 3.01 et oc.tar.gz #2781

vicuna opened this issue Jun 10, 2001 · 2 comments
Labels

Comments

@vicuna
Copy link

vicuna commented Jun 10, 2001

Original bug ID: 382
Reporter: administrator
Status: closed
Resolution: not a bug
Priority: normal
Severity: minor
Category: ~DO NOT USE (was: OCaml general)

Bug 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

@vicuna
Copy link
Author

vicuna commented Jun 11, 2001

Comment author: administrator

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/

@vicuna
Copy link
Author

vicuna commented Jun 12, 2001

Comment author: administrator

User's confusion between CamlTk and LablTk.

@vicuna vicuna closed this as completed Jun 12, 2001
@vicuna vicuna added the bug label Mar 19, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

No branches or pull requests

1 participant