[Caml-list] Change of behaviour of ocaml -make-runtime with 3.11.0

2008-12-18 Thread Bertrand Jeannet


1. With OCaml 3.11.0, if I write
ocamlc.opt -o myrun -make_runtime unix.cma
ocamlc.opt -o essai -use_runtime myrun unix.cma essai.ml
(with essai.ml:
let x = Unix.time() in
Format.printf Here1 %...@. x;;)

and then ./essai

I get the following error message:

Fatal error: cannot load shared library dllunix
Reason: /usr/local/lib/ocaml/stublibs/dllunix.so: undefined symbol: 
caml_copy_int64


2. Until version 3.10.2, it was OK

3. I understandd that now, it is not necessary to use a custom runtime, 
as ocamlrun can load dynamically dllunix.so (in that case, ./essai works 
OK).


However, I would like that my Makefiles remain compatible with recent 
versions of OCaml.


Bertrand Jeannet

___
Caml-list mailing list. Subscription management:
http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
Archives: http://caml.inria.fr
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs


[Caml-list] camlidl + mingw + 3.11 ?

2008-12-18 Thread Matthieu Dubuget
Hello,

I was not able to compile and install correctly camlidl
with OCaml 3.11 (mingw version).

Did anybody succeed, or should camlidl be adapted?

Thanks in advance.

Matt

___
Caml-list mailing list. Subscription management:
http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
Archives: http://caml.inria.fr
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs


Re: [Caml-list] Freeze in 64-bit Windows Num module

2008-12-18 Thread Xavier Leroy
 I have an issue with using the Num module in my Win64 OCaml compile.
 Whenever I try to operate on numbers that are too large it will lock up.

I'll try to look into this, but it would help if you'd submit a
problem report through the bug tracking system.

- Xavier Leroy

___
Caml-list mailing list. Subscription management:
http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
Archives: http://caml.inria.fr
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs


[Caml-list] Promo Logiciel BIO-FEEDBACK jusqu au 31 decembre 2008

2008-12-18 Thread Zenlatitudes
Auteur|Cours|Seminaires|Coaching|Materiels|CD/MP3|Livres|Boutique|Home

 Forum|Point Zen|Media|Activites|Presse|Events|Club|Liens|News|Contact
 



 S'OFFRIR... L'HARMONIE... 
Grâce au logiciel de cohérence cardiaque BIO-BALANCE
Promotion de fin d'annee 2008*
Recevez à l'achat d'un logiciel Bio-Balance Home ou Pro:
1 place gratuite à un des séminaires Zen attitude valeur 180 EUR
Dates et infos sur ce séminaire, cliquez ici * Valable pour toute commande du 
17 au 31 décembre 2008 inclus

De quoi dépend notre qualité de vie?
La qualité de notre vie semble bien dépendre de la façon dont nous la 
percevons, c'est le constat évident des nouvelles sciences du comportement et 
du développement personnel (psychologie, programmation neurolinguistique - PNL, 
etc.) 
Nous pouvons choisir de voir les choses positivement ou simplement 
dynamiquement, c'est-à-dire vivantes et changeantes. Dès lors un évènement 
qu'il soit négatif ou positif génère une formidable énergie d'adaptation au 
changement et tout problème débouche automatiquement sur une réorganisation et 
une évolution qui sera d'emblée positive (si on veut bien le voir sous cet 
angle...) 

Comment apprendre à se contrôler dans les problèmes 
Pour pouvoir gérer des problèmes il semble évident d'arriver à gérer sa 
dimension émotive et la prise de distance. Si vos émotions sont sous contrôle, 
il est bien sûr plus aisé d'affronter le stress. Mais les émotions sont sous le 
contrôle du pilote automatique, le système nerveux autonome. L'idéal serait 
donc d'apprendre à le contrôler! Le cœur par exemple est sensible à la moindre 
émotion. Il s'emballe et varie immédiatement en cas de stress... Quand on sait 
agir sur son cœur, on sait agir sur tout le cerveau émotionnel. Et on sait 
aujourd'hui que celui-ci est directement lié au cœur, premier organe concerné 
par les émotions... La bonne nouvelle à présent: la science aujourd'hui nous 
offre cette possibilité: arriver à contrôler le pilote automatique et sa 
dimension émotive! 
Développer l'harmonie 
avec le logiciel BIO-BALANCE
En effet, une technique appréciable pour contrôler les battements de notre cœur 
et développer cette sensation d'équilibre et d'harmonie en nous est la 
technique de la cohérence cardiaque. Qu'est-ce que la cohérence cardiaque? 
C'est un état d'équilibre nerveux qui se traduit par une variabilité 
harmonieuse du pouls. Le pouls varie en effet naturellement. Il accélère à 
l'inspiration et décélère à l'expiration. Si cette variation est progressive 
(lentes et progressives accélérations suivie de lentes et progressives 
décélérations) ceci indique que notre système nerveux est en équilibre. Si par 
contre le pouls oscille chaotiquement cela indique que le système nerveux est 
trop axé sur l'excitation et le stress. 
Comment ça marche?
Grâce à un capteur du pouls au lobe de l'oreille et un tracé qui restitue 
fidèlement l'évolution des intervalles de temps entre chaque pulsation au fil 
de la mesure, on peut vérifier en temps réel comment se mettre en état 
d'harmonie grâce à de simples exercices respiratoires et de visualisations 
positives (sous forme d'enregistrements audio, les guides Arrêter le temps). 
Dès que vous appliquez l'exercice proposé le tracé de votre fréquence cardiaque 
se modifie pour aller vers une allure plus harmonieuse... Ce fidèle reflet de 
l'activité nerveuse de votre cœur permet ainsi d'apprendre à réguler le stress 
et vos émotions. C'est une technique très facile à apprendre. 

Bien-être général
Si la technique est établie sur l'observation du pouls, il est bien évident que 
si le cœur est commandé par le système nerveux, les autres organes et TOUT le 
corps sont eux aussi sous cette même gouvernance. Aussi on parlera plus de 
logiciel d'équilibre général et non uniquement de cohérence cardiaque. Avec le 
logiciel Bio-Balance c'est véritablement tout le corps qui se met en cohérence 
et qui entre en harmonie! 
Faites l'acquisition d'un logiciel
Faire l'acquisition d'un logiciel de cohérence cardiaque est un investissement 
relativement modeste qui vous servira toute votre vie pour revenir vers 
l'harmonie à chaque fois que vous en aurez besoin. Pour seulement 295 euros tva 
incluse + port, vous recevrez le logiciel à installer sur votre PC et vous 
pourrez à n'importe quel moment de votre journée de travail non seulement 
vérifier votre état d'harmonie mais aussi prendre discrètement un moment pour 
vous et pratiquer une séance de détente devant votre PC. 
Vous êtes convaincu? Dans ce cas, COMMANDEZ ICI !


Offerts! 
De plus vous recevrez gratuitement à l'achat du logiciel BIO BALANCE 3 
enregistrements ARRETER LE TEMPS des guides audio qui vous permettent de vous 
amener vers l'état d'équilibre très simplement... Il vous suffit d'écouter la 
voix et les conseils donnés pour entrer en cohérence cardiaque et intégrer au 
fil des séances cet état positif et préventif pour tous les troubles 
fonctionnels qui découlent d'un stress mal géré durant des années 

Re: [Caml-list] Freeze in 64-bit Windows Num module

2008-12-18 Thread Reed Wilson
Thanks Xavier. I just posted a bug after David replied
(#4676http://caml.inria.fr/mantis/view.php?id=4676).
I'd be willing to test out changes if necessary.

Thanks again,

On Thu, Dec 18, 2008 at 6:53 AM, Xavier Leroy xavier.le...@inria.fr wrote:

  I have an issue with using the Num module in my Win64 OCaml compile.
  Whenever I try to operate on numbers that are too large it will lock up.

 I'll try to look into this, but it would help if you'd submit a
 problem report through the bug tracking system.

 - Xavier Leroy




-- 
ç
___
Caml-list mailing list. Subscription management:
http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
Archives: http://caml.inria.fr
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs


Re: [Caml-list] fork() and threads in ocaml 3.11

2008-12-18 Thread Anastasia Gornostaeva
On Thu, Dec 18, 2008 at 03:51:48PM +0100, Xavier Leroy wrote:

[...]

  hangs on my FreeBSD 7.0.
 
 This could be the same problem reported under MacOS X as PR#4666 in
 the bug tracker.  Apparently, MacOS X doesn't allow a process having
 multiple threads to perform an exec*() system call.  Maybe FreeBSD has
 the same limitation.
 
  I tried ocaml from yesterday's CVS, but it does not help.
 
 The release 3.11 branch of the CVS contains a tentative fix for
 PR#4666.  It isn't yet propagated to the CVS trunk.  You can get this
 branch using cvs co -r release311.

 Hope this helps,

Oh, with this CVS it works perfectly. Thanks!

ermine

___
Caml-list mailing list. Subscription management:
http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
Archives: http://caml.inria.fr
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs