camllight avec Terminal

Pipstal

Membre enregistré
31 Janvier 2006
9
0
Bonjour,

Voila un bout de temps que je voudrais lancer camllight dans une fenêtre Terminal, et que j'ai invariablement la réponse ./camllight: line 15: exec: camlrun: not found.
J'ai un iMac G5 avec OS 10.4.6, et j'ai pourtant apparemment tout ce qu'il faut dans usr/local/bin, y compris camlrun.
D'ailleurs j'ai aussi un iBook G4 sous le même système, et là, ça marche.
Je ne comprends pas d'où pourrait venir cette différence de comportement. Il s'agit dans les deux cas de la version 0.76 de Caml Light venant du site de l'inria.

En fait je ne connais strictement rien à Unix, Terminal, X11, XcodeTools, en gros tout ce que je sais faire à ce propos, c'est rendre visible le répertoire usr et taper /usr/local/bin/camllight dans Terminal (je sais aussi faire ce qu'on me dit de faire si on m'explique bien :)).

Bon, vous allez sûrement me dire que camllight ça date un peu, je sais, mais j'en aurais besoin sur mon G5, sur lequel j'ai déjà OCaml qui marche très bien avec CoCoCaml.
J'ai aussi un brave G3 sous système 8.1, où Caml Light 0.73 se présente avec juste une brave icône à l'allure de paquet de clopes sur le bureau, et sur laquelle on n'a qu'à double-cliquer, ah la la c'était le bon temps, avant qu'on se croie sous MS DOS…

Merci de votre aide
 
Pipstal a dit:
Bonjour,

Voila un bout de temps que je voudrais lancer camllight dans une fenêtre Terminal, et que j'ai invariablement la réponse ./camllight: line 15: exec: camlrun: not found.
J'ai un iMac G5 avec OS 10.4.6, et j'ai pourtant apparemment tout ce qu'il faut dans usr/local/bin, y compris camlrun.
D'ailleurs j'ai aussi un iBook G4 sous le même système, et là, ça marche.
Je ne comprends pas d'où pourrait venir cette différence de comportement. Il s'agit dans les deux cas de la version 0.76 de Caml Light venant du site de l'inria.

En fait je ne connais strictement rien à Unix, Terminal, X11, XcodeTools, en gros tout ce que je sais faire à ce propos, c'est rendre visible le répertoire usr et taper /usr/local/bin/camllight dans Terminal (je sais aussi faire ce qu'on me dit de faire si on m'explique bien :)).

Bon, vous allez sûrement me dire que camllight ça date un peu, je sais, mais j'en aurais besoin sur mon G5, sur lequel j'ai déjà OCaml qui marche très bien avec CoCoCaml.
J'ai aussi un brave G3 sous système 8.1, où Caml Light 0.73 se présente avec juste une brave icône à l'allure de paquet de clopes sur le bureau, et sur laquelle on n'a qu'à double-cliquer, ah la la c'était le bon temps, avant qu'on se croie sous MS DOS…

Merci de votre aide

$>echo $PATH
$>export PATH=$PATH:/usr/local/bin
$>echo $PATH

:D:D:D:D:D la question à 10 mille ca fera 80Euros pour la consultation
 
Super, Tatouille, ça marche.
Mais pour que je comprenne comment ça marche, il me faudra du boulot.
Merci beaucoup pour cette aide efficace (bien que laconique :))
 
Bonjour, c'est encore moi.
Si ce n'est pas abuser de votre patience, cher Tatouille, ou tout autre spécialiste, pouvez-vous me dire comment me débarrasser du message -bash: export: `.bashrc': not a valid identifier que j'ai à l'ouverture de Terminal, depuis que j'ai inconsidérément tapé les commandes suivantes:
echo "source .bashrc" >> ~/.bash_profile
echo "export PATH=${PATH}:/usr/local/bin" >> ~/.bashrc
echo "ulimit -s 64000" >> ~/.bashrc

(commandes que j'avais lues sur un autre forum au sujet de caml (voilà, ça m'apprendra)).
Il y a sûrement un moyen d'annuler ça mais je l'ignore.
merci
 
il ne trouve pas ou n'arrive pas à lire le .bashrc

-bash: export: `.bashrc': not a valid identifier

le tild n'a pas du passer dans le fichier

#fusionnes ton profile et ton bashrc

example de .bashrc

export PATH=$PATH:/usr/local/bin:/opt/local/bin:/usr/X11R6/bin:/usr/AfterStep/bin
export MANPATH=$MANPATH:/opt/local/share/man:/usr/local/share/man

cat .profile
source ~/.bashrc

il doit y avoir quelques d'étrange dans ton bashrc
ouvre le

open -a TextEdit .bashrc
open -a TextEdit .profile
 
Quand j'ouvre le bashrc avec la commande que tu m'as donnée, je lis
export PATH=/bin:/sbin:/usr/bin:/usr/sbin:/usr/local/bin
ulimit -s 64000

En revanche, il me répond no such file si j'essaye open -a TextEdit .profile
 
Pipstal a dit:
Quand j'ouvre le bashrc avec la commande que tu m'as donnée, je lis
export PATH=/bin:/sbin:/usr/bin:/usr/sbin:/usr/local/bin
ulimit -s 64000

En revanche, il me répond no such file si j'essaye open -a TextEdit .profile

move .bash_profile en .profile
 
ulimit -s 64000 ? tu sais à quoi cela sert ulimit ?
sinon vire moi ca

open terminal le dossier courant est ton $HOME par defaut

$>rm .bash_profile
$>touch .profile

ou move en anglais déplacer .........

$>mv .bash_profile profile

$>open -a TextEdit .profile

mets ca dedans

source ~/.bashrc
#//et pas seulement .bashrc comment veux tu qu'il soit trouvé ?

sorry c'est pas moi qui suis laconique
ce que je te donne c'est précis
mais au lieu d'attendre le bec d'en l'eau
de plus ta question c'est la question a 100000 des nioubs si tu avais fait une recherche sur ce forum ............
mais encore faut il etre un dégourdi et pas un asssisté



man bash par exemple
 
Je te remercie pour tes indications, quant à être assistée, c'est probablement la remarque à laquelle on s'expose dès qu'on demande de l'aide. Je dois être une super nioube, car une recherche dans le forum ne m'avait pas apporté de réponse.
Bon dimanche