Ubuntu-fr

fran.b

Camllight

Il y a des difficultés à compiler camllight (caml-light)

J'ai donc refait des paquets pour Ubuntu 386 et amd64 (64 bits), ces paquets se chargent sur le dépot

deb http://boisson.homeip.net/ubuntu/ NOM ./

en remplaçant NOM par le nom de la release.
Camllight est compilé en 64 bits pour feisty et gutsy.

(Il y a également des paquets debian pour sarge, etch et lenny sur

deb http://boisson.homeip.net/debian NOM divers
)

En espérant que ce sera utile.
François Boisson

Dernière modification par fran.b (Le 26/09/2007, à 11:08)

papagon

Re : Camllight

bonjour,
je n'arrive pas a compiler camllight sur gutsy (32 bit)
ou puis je trouver des paquets, merci
voici l'erreur, qui intervient lors du make install

cp: ne peut créer le fichier régulier `/usr/local/man/man1/camlc.1': Aucun fichier ou répertoire de ce type
cp: ne peut créer le fichier régulier `/usr/local/man/man1/camllex.1': Aucun fichier ou répertoire de ce type
cp: ne peut créer le fichier régulier `/usr/local/man/man1/camllibr.1': Aucun fichier ou répertoire de ce type
cp: ne peut créer le fichier régulier `/usr/local/man/man1/camllight.1': Aucun fichier ou répertoire de ce type
cp: ne peut créer le fichier régulier `/usr/local/man/man1/camlmktop.1': Aucun fichier ou répertoire de ce type
cp: ne peut créer le fichier régulier `/usr/local/man/man1/camlrun.1': Aucun fichier ou répertoire de ce type
cp: ne peut créer le fichier régulier `/usr/local/man/man1/camlyacc.1': Aucun fichier ou répertoire de ce type
make[1]: *** [install] Erreur 1
make[1]: quittant le répertoire « /home/thibaut/Bureau/cl75/src/man »
make: *** [install] Erreur 2

Dernière modification par papagon (Le 06/11/2007, à 13:19)

---

Les ordinateurs sont inutiles. Ils ne savent que donner des réponses.
Pablo Picasso

fran.b

Re : Camllight

Tu trouves ça chez moi sur
deb http://boisson.homeip.net/ubuntu gutsy ./

cf page http://doc.ubuntu-fr.org/caml_light

papagon

Re : Camllight

impeccable, merci

---

Les ordinateurs sont inutiles. Ils ne savent que donner des réponses.
Pablo Picasso

fran.b

Re : Camllight

Comme régulièrement

1) Je viens de faire les paquets camllight pour l'édition maverick d'Ubuntu.

2) Sur la suggestion de  Dang Nguyen Bac (un de mes élèves), j'ai intégré au
paquet un mode interactif caml_all permettant de disposer de libnum, libgraph,
libunix en même temps dans le mode interactif. En clair, il suffit de lancer

camllight caml_all

pour tout avoir. J'ai mis cette commande par défaut dans le mode tuareg
intégré au paquet.

J'ai compilé cette version pour ubuntu lucid, maverick et debian squeeze.

Voilà. Merci de signaler tout souci.

(voir: Doc Ubuntu Camllight)

F. Boisson

Hadware

Re : Camllight

Hum, je suis à Charlemagne donc j'irai vous voir en personne si c'est trop complexe, mais y a-t-il un moyen d'intégrer le compilateur Caml dans une IDE agréable à utiliser, dans le genre Kdevellop ?

fran.b

Re : Camllight

Juste pour indiquer que les paquets camllight pour precise sont à jour. Désolé de ce retard du à un emploi du temps chargé.

fran.b

Re : Camllight

Bonjour à tous.

Les paquets camllight sont prêts pour raring. À noter une correction d'un bug particulièrement gênant dans les architectures amd64. Dorénavant camllight utilise la totalité de la mémoire disponible.

deb http://boisson.homeip.net/depot raring divers
(dépot signé)
ou
deb http://boisson.homeip.net/ubuntu raring divers
(dépot non signé)
(remplacer raring par votre distribution, j'ai rétroporté la correction jusqu'à precise).

F.B

fran.b

Re : Camllight

Bonjour à tous.

Les paquets camllight sont prêts pour saucy.

deb http://boisson.homeip.net/depot saucy divers
(dépot signé)
ou
deb http://boisson.homeip.net/ubuntu saucy divers
(dépot non signé)

F.B

fran.b

Re : Camllight

Bonjour,

Il y avait un souci d'incompatibilité entre le mode tuareg de camllight et emacs. J'ai donc supprimé tuareg intégré dans camllight et fait une adaptation du mode tuareg de ocaml pour camllight. Ce paquet se nomme camltuareg-mode et est disponible sur le même dépot à partir de trusty. Il s'installe en recommandé. Pour ne pas l'installer en même temps que camllight, faire
apt-get install camllight --no-install-recommends