Contenu | Rechercher | Menus

Annonce

Si vous rencontrez des soucis à rester connecté sur le forum (ou si vous avez perdu votre mot de passe) déconnectez-vous et reconnectez-vous depuis cette page, en cochant la case "Me connecter automatiquement lors de mes prochaines visites".
Test de l'ISO d'Ubuntu francophone : nous avons besoin de testeurs pour la version francophone d'Ubuntu 14.04. Liens et informations ici.

Attention, une faille de sécurité dans bash a récemment été rapportée, il est recommandé de mettre à jour son système (plus de détails)

#1 Le 19/09/2007, à 17:37

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)

Hors ligne

#2 Le 06/11/2007, à 13:15

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

Hors ligne

#3 Le 06/11/2007, à 13:27

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

Hors ligne

#4 Le 06/11/2007, à 13:30

papagon

Re : Camllight

impeccable, merci


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

Hors ligne

#5 Le 01/11/2010, à 22:55

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

Hors ligne

#6 Le 27/12/2010, à 22:00

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 ?

Hors ligne

#7 Le 02/07/2012, à 07:52

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é.

Hors ligne

#8 Le 17/04/2013, à 00:00

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

Hors ligne

#9 Le 23/10/2013, à 11:04

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

Hors ligne

#10 Le 15/07/2014, à 09:52

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

Hors ligne

Haut de page ↑